Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Staudingerweg 9
55128 Mainz
Deutschland

GERiT This institution in GERiT

55128 Mainz

Projects

Research Grants
- Current projects
  - Declarative Performance for Datalog
    (Applicants Erdweg, Sebastian ; Schuhknecht, Felix )
  - Gradual Abstract Interpretation
    (Applicant Erdweg, Sebastian )
  - Sound, Efficient, and Flexible Fixpoint Algorithms for Big-Step Abstract Interpreters
    (Applicant Erdweg, Sebastian )
- Completed projects
  - Evolute: Evolution of Software Systems with Extensible Languages and DSLs
    (Applicant Erdweg, Sebastian )

© 2024 DFG Disclaimer / Copyright / Privacy Policy