caa a22 4500 378900749 CHVBK 20180305123517.0 cr unu---uuuuu 161128e20040501xx s 000 0 eng 10.1524/itit.46.5.265.44799 doi (NATIONALLICENCE)gruyter-10.1524/itit.46.5.265.44799 Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) [Elektronische Daten] [Sabine Glesner, Gerhard Goos, Wolf Zimmermann] Verifix: Construction and Architecture of Verifying Compilers Übersetzer (Compiler) sind das Herzstück bei der Erstellung von Software, erlauben sie es doch, Programme in höheren Programmiersprachen zu schreiben, die dann mithilfe von Übersetzern in Maschinencode transformiert werden. Um zuverlässige Software zu erstellen, ist es daher unbedingt erforderlich, dass Ü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 dass dabei Leistungseinbußen entstehen. In diesem Artikel stellen wir diese Methoden sowie unsere im Projekt erzielten Ergebnisse im Überblick vor. © 2004 Oldenbourg Wissenschaftsverlag GmbH Communications engineering / telecommunications nationallicence Data in computer systems nationallicence Systems management nationallicence Glesner Sabine aut Goos Gerhard aut Zimmermann Wolf aut it - Information Technology (vormals it+ti)/Methoden und innovative Anwendungen der Informatik und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 46/5/2004(2004-05-01), 265-276 1611-2776 46:5/2004<265 2004 46 itit https://doi.org/10.1524/itit.46.5.265.44799 text/html Onlinezugriff via DOI 1 research article jats NATIONALLICENCE 856 40 https://doi.org/10.1524/itit.46.5.265.44799 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Glesner Sabine aut NATIONALLICENCE 700 1- Goos Gerhard aut NATIONALLICENCE 700 1- Zimmermann Wolf aut NATIONALLICENCE 773 0- it - Information Technology (vormals it+ti)/Methoden und innovative Anwendungen der Informatik und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 46/5/2004(2004-05-01), 265-276 1611-2776 46:5/2004<265 2004 46 itit CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-gruyter