You are here: Home :: Area NEM :: Computer science

Sabine Glesner, Gerhard Goos, Wolf Zimmermann

Verifix: Construction and Architecture of Verifying Compilers

Compilers are used for nearly all software construction processes. Hence, software correctness highly depends on the correctness of the utilized compilers. The project Verifix which was funded by the German Science Foundation DFG has developed methods for the construction of correct compilers which are as efficient as typical commercial compilers. Verifix was carried out at the University of Karlsruhe in Prof. Goos´ research group, at the University of Ulm in Prof. v. Henke´s research group, and at the Christian-Albrechts-University of Kiel in Prof. Langmaack´s research group. In this article, we summarize the developed methods together with the results which we have achieved.

it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag

Print ISSN: 1611-2776
Volume: 46, 05/2004
Pages: 265 - 276

Journal homepage (external site)

Show all available items of this journal

 

Area NEM