Universität Karlsruhe
Prof. Dr. Wolf Zimmermann
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
Login
Links