Selected Recent Technical Reports

Institutsberichte Series IfI

Wolfgang Goerigk, Hans Langmaack.

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Technical Report Nr. 2015, Institut für Informatik und Prakt. Math. der Christian-Albrechts Universität, June 2001. [Postscript]

Technical Report

Wolfgang Goerigk und Hans Langmaack.

Compiler Implementation Verification and Trojan Horses (Draft Extended Version). Verifix Technical Report, 2001. [BibTeX][Postscript]

Technical Report

Axel Dold, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Andreas Heberle, Friederich W. von Henke, Ulrich Hoffmann, Hans Langmaack, Vincent Vialard, Andreas Wolf, und Wolf Zimmermann. 

Zwischenbericht Verifix. Technical Report Verifix-ZB99, Universities of Karlsruhe, Karlsruhe, Kiel, Ulm, March 1999. [BibTeX][Postscript]

Technical Report

Wolf Zimmermann, Andreas Heberle, und Wolfgang Goerigk. 

The Verifix Approach Towards the Construction of Correct Compilers. Verifix Technical Report 1999. [BibTeX].