| Zeitschriftenartikel| [1] | Sabine Glesner, Gerhard Goos, Wolf Zimmermann, Verifix: Konstruktion und Architektur verifizierender
Übersetzer
(Verifix: Construction and Architecture
of Verifying Compilers), , 2004.
|
ZusammenfassungÜbersetzer (Compiler) sind das Herzstück bei der Erstellung
von Software, erlauben sie es doch, Programme in höheren
Programmiersprachen zu schreiben, die dann mit Hilfe von Übersetzern
in Maschinencode transformiert werden. Um zuverlässige Software zu
erstellen, ist es daher unbedingt erforderlich, daß Übersetzer
nachweislich korrekt arbeiten. Das DFG-Projekt Verifix, das
gemeinsam in den Arbeitsgruppen von Prof. Goos (Universität
Karlsruhe), Prof. v. Henke (Universität Ulm) und Prof. Langmaack
(Christian-Albrechts-Universität zu Kiel) durchgeführt wurde, hat
Methoden entwickelt, mit denen formal korrekte Übersetzer konstruiert
werden können, ohne daß dabei Leistungseinbußen entstehen. In diesem
Artikel stellen wir diese Methoden sowie unsere im Projekt erzielten
Ergebnisse im Überblick vor.
Autoren
| |
