Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken

Ziel des Verifix-Projektes ist, praktikable, fbr Softwareingenieure handhabba Methoden zur construction korrekter Übersetzer fbr praktisch eingesetzte imperative and objektorientierte Sprachen and reale Maschinen zu erforschen und zu entwickeln。[endnoter.com] [endnoter.com] [endnoter.com] [endnoter.com] [endnoter.com]。信息理论研究与发展与发展<s:2>理论研究与发展研究einsatzfähig gemacht. ...In der jetzt beantragten abschließenden Antragsphase sollen die bisherigen Ergebnisse, die aus zeitgren nden oft nur lkenhaft nachgewiesen und infachen Beispielsprachen erproprot werden konten, vollständig und sistent mit praktischen Erfordernissen umgesetzt werden。在此基础上，提出了问题实证论，提出了问题实证论。

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.