direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers)
Citation key glesner04verifix:
Author Sabine Glesner and Gerhard Goos and Wolf Zimmermann
Title of Book it - Information Technology
Pages 265 - 276
Year 2004
Volume 46
Number Issue 5/2004
Month May
Abstract Ü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.
Bibtex Type of Publication Journal Article
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe