Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken

• Antragsteller: Professor Dr. Gerhard Goos (†)
• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 1995 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen