Universitšt Karlsruhe
Verifix: Konstruktion und Architektur verifizierender √úbersetzer (Verifix: Construction and Architecture of Verifying Compilers)

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.

[Erzeuge bibTeX Eintrag]

Autoren

Professor
Prof. Gerhard Goos
Alumni
Prof. Sabine Glesner
Prof. Wolf Zimmermann
Login
Links