Konstruktion korrekter Übersetzer

Das Ziel des VERIFIX-Projektes ist die Konstruktion mathematisch korrekter Übersetzer, was sowohl die Entwicklung formaler Methoden für Spezifikation und Implementierung von Übersetzern, als auch die Implementierung konkreter Übersetzer und Entwicklungswerkzeuge beinhaltet.
(Siehe auch Verifix Home-Page)

Projektbeteiligte

Professor Prof. Gerhard Goos

Alumni Prof. Sabine Glesner Prof. Wolf Zimmermann Dr. Thilo Gaul Dr. Rubino Geiß Dr. Andreas Heberle

Partner Prof. Hans Langmaack Prof. Heinrich von Henke Dr. Axel Dold Dr. Wolfgang Goerigk Dr. Ulrich Hoffmann Vincent Vialard Andreas Wolf

Publikationen zum Projekt

		2000
		Goos, Zimmermann, Verifying Compilers and ASMs
		Goos, Zimmermann, ASMs for uniform description of multistep transformations
		Gaul, Zimmermann, Goerigk, Practical Construction of Correct Compiler Implementations by Runtime Result Verification
		1999
		Gaul, Heberle, Zimmermann, Goerigk, Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends
		Goos, Zimmermann, Verification of Compilers
		Gaul, Schumacher, Advanced Generator Techniques for Embedded Compilers
		Heberle, Gaul, Zimmermann, Construction of Verified Compiler Front-Ends with Program-Checking
		1998
		Dold, Gaul, Vialard, Zimmermann, ASM-Based Mechanized Verification of Compiler Backends
		Gaul, Schumacher, Compiler Techniques for Fast Migration of Embedded Applications
		Heberle, Löwe, Trapp, Safe Reuse of Source to Intermediate Language Compilations
		Gaul, Goerigk, Zimmermann, Correct Programs without Proof? On Checker-Based Program Verification
		Dold, Gaul, Zimmermann, Mechanized Verification of Compiler Back-Ends
		Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Praktikable Konstruktion korrekter Übersetzer
		Boesler, Codeerzeugung aus Abhängigkeitsgraphen
		Heuzeroth, Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der imperativen Sprache IS
		1997
		Gaul, Goos, Heberle, Zimmermann, Zur Konstruktion verifizierter Übersetzer
		Goos, Sather-K - The Language
		Gaul, Zimmermann, On the Construction of Correct Compiler Back-Ends: An ASM Approach