Adresse Universität Halle Email zimmer at informatik dot uni-halle dot de

Arbeitsgebiete

Objekt-Orientierung Konstruktion wiederverwendbarer Softwarebibliotheken Paralleles Rechnen Uebersetzerbau - Konstruktion korrekter Uebersetzer Spezifikationstechniken

Projekte

Abgeschlossen Verifix

Veröffentlichungen

		2004
		Glesner, Goos, Zimmermann, Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers)
		Glesner, Zimmermann, Natural Semantics as a Static Program Analysis Framework
		2001
		Glesner, Zimmermann, Structural Simulation Proofs based on ASMs even for Non-Terminating Programs
		2000
		Frick, Goos, Neumann, Zimmermann, Construction of Robust Class Hierarchies
		Goos, Zimmermann, Verifying Compilers and ASMs
		Ludwig, Neumann, Zimmermann, Towards Reliable Class Hierarchies
		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
		Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Correct Compilation of a While-Language with Parameterless Recursive Procedures
		Goos, Zimmermann, Verification of Compilers
		Heberle, Gaul, Zimmermann, Construction of Verified Compiler Front-Ends with Program-Checking
		1998
		Genius, Trapp, Zimmermann, An Approach to improve Locality using Sandwich Types
		Glesner, Zimmermann, Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis
		Dold, Gaul, Vialard, Zimmermann, ASM-Based Mechanized Verification of Compiler Backends
		Gaul, Heberle, Heuzeroth, Zimmermann, An ASM Specification of the Operational Semantics of MIS
		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
		1997
		Glesner, Zimmermann, Using Many-Sorted Inference Rules to Generate Semantic Analysis
		Gaul, Goos, Heberle, Zimmermann, Zur Konstruktion verifizierter Übersetzer
		Gaul, Goos, Heberle, Zimmermann, Goerigk, An Architecture for Verified Compiler Construction
		Gaul, Zimmermann, On the Construction of Correct Compiler Back-Ends: An ASM Approach
		Goos, Zimmermann, D2: Programmiersprachen
		1996
		Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach