Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Johannes Gutenberg-Universität Mainz
Institut für Informatik
AG Programming Languages

Adresse Staudingerweg 9
55128 Mainz
Deutschland

GERiT Diese Institution in GERiT

55128 Mainz

Projekte

Sachbeihilfen
- laufende Projekte
  - Deklarative Performanz für Datalog
    (Antragsteller Erdweg, Sebastian ; Schuhknecht, Felix )
  - Graduelle Abstrakte Interpretation
    (Antragsteller Erdweg, Sebastian )
  - Korrekte, Effiziente und Flexible Fixpunkt-Algorithmen für Big-Step Abstrakte Interpreter
    (Antragsteller Erdweg, Sebastian )
- abgeschlossene Projekte
  - Evolute: Evolution von Softwaresystemen mittels erweiterbarer Sprachen und DSLs
    (Antragsteller Erdweg, Sebastian )

© 2024 DFG Kontakt / Impressum / Datenschutz