Project Details
Projekt Print View

Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken

Applicant Professor Dr. Gerhard Goos (†)
Subject Area Computer Science
Term from 1995 to 2002
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5191656
 
Ziel des Verifix-Projektes ist es, praktikable, für Softwareingenieure handhabbare Methoden zur Konstruktion korrekter Übersetzer für praktisch eingesetzte imperative und objektorientierte Sprachen und reale Maschinen zu erforschen und zu entwickeln. Die Konstruktion korrekter Übersetzer und die dabei anfallenden Verifikationsaufgaben sollen durch geeignete Werkzeuge weitgehend mechanisch unterstützt werden. Dazu werden Ergebnisse der theoretischen Informatik teilweise weiterentwickelt und für die praktische Nutzung einsatzfähig gemacht. ... In der jetzt beantragten abschließenden Antragsphase sollen die bisherigen Ergebnisse, die aus Zeitgründen oft nur lückenhaft nachgewiesen und nur an einfachen Beispielsprachen erprobt werden konnten, vollständig und konsistent mit praktischen Erfordernissen umgesetzt werden. Es muß insbesondere sichergestellt werden, daß aus den vorhandenen Lücken keine Probleme substantieller Bedeutung resultieren.
DFG Programme Research Grants
 
 

Additional Information

Textvergrößerung und Kontrastanpassung