Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
English
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
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
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung