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, University 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],

Institutsberichte Series IfI

Wolfgang Goerigk und Ulrich Hoffmann. 

Compiling ComLisp to Executable Machine Code: Compiler Construction. 
Technical Report Nr. 9812, Institut für Informatik und Prakt. Math. der Christian-Albrechts Universität, October 1998. 
[BibTeX] [Postscript]

Institutsberichte Series IfI

Wolfgang Goerigk und Ulrich Hoffmann. 

The Compiling Specification from ComLisp to Executable Machine Code. 
Technical Report Nr. 9713, Institut für Informatik und Prakt. Math. der Christian-Albrechts Universität, December 1997. 
[BibTeX] [Postscript]

Technical Report

Thilo Gaul, Wolfgang Goerigk, Andreas Heberle, Ulrich Hoffmann, und Wolf Zimmermann. 

Correct Compilation of a While-Language with Parameterless Recursive Procedures. 
Technical Report Verifix/UKA/??, Univ. of Karlsruhe, December 1997. 
[BibTeX]

Technical Report

Wolfgang Goerigk. 

Denotational Semantics for ComLisp and SIL. 
Verifix-Arbeitsbericht Verifix/CAU/2.8, CAU Kiel, December 1997. [BibTeX] [Postscript]

Technical Report

Wolfgang Goerigk, Ulrich Hoffmann, und Hans Langmaack. 

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. 
Verifix-Arbeitsbericht Verifix/CAU-Ulm/2.6, CAU Kiel, January 1997. 
[BibTeX] [Postscript]

Technical Report

Wolfgang Goerigk. 

An Exercise in Program Verification: The ACL2 Correctness Proof of a Simple Theorem Prover Executable. 
Verifix-Arbeitsbericht Verifix/CAU/2.4, CAU Kiel, January 1997. 
[BibTeX] [Postscript]

Technical Report

Wolfgang Goerigk und Markus Müller-Olm. 

Erhaltung partieller Korrektheit bei beschränkten Maschinenressourcen. - Eine Beweisskizze.
Verifix-Arbeitsbericht Verifix/CAU/2.5, CAU Kiel, 1996. 
[BibTeX] [Postscript]

Technical Report

Axel Dold, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Andreas Heberle, Friederich W. von Henke, Ulrich Hoffmann, Hans Langmaack, Markus Müller-Olm, Holger Pfeifer, Harald Rueß, und Wolf Zimmermann. 

Zwischenbericht Verifix. 
Technical Report Verifix/UKA/1.60, University of Karlsruhe, Karlsruhe, Kiel, Ulm, December 1996. 
[BibTeX] [Postscript]

Technical Report

Wolfgang Goerigk und Ulrich Hoffmann. 

The Compiler Implementation Language ComLisp. 
Verifix-Arbeitsbericht Verifix/CAU/1.7, CAU Kiel, June 1996. 
[BibTeX]

Technical Report

Wolfgang Goerigk. 

Transputer State and Instruction Set Specification and Initial Boot Protocol. 
Verifix-Arbeitsbericht Verifix/CAU/2.1, CAU Kiel, July 1995. 
[BibTeX] [Postscript]

Technical Report

A. Dold, T. Gaul, W. Goerigk, G. Goos, A. Heberle, F. von Henke, U. Hoffmann, H. Langmaack, H. Pfeifer, H. Ruess, und W. Zimmermann. 

Definition of the Language IS. 
Verifix Working Paper [Verifix/UKA/1], University of Karlsruhe/Kiel/Ulm, 1995. 
[BibTeX]

Technical Report

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Andreas Kind, Bert Klude, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, und Friedemann Simon. 

Von der APPLY-Methodik zum System. 
Abschlußbericht des BMFT-Projektes APPLY APPLY/XIII/10, CAU/GMD/ISST/VW-GEDAS, Sankt Augustin, June 1994. 
[BibTeX]

Technical Report

Wolfgang Goerigk, Ulrich Hoffmann, und Heinz Knutzen. 

COMMONLISP0 and CLOS0: The Language Definition. 
APPLY-Arbeitspapier APPLY/CAU/II.2/2, Christian-Albrechts-Universität, Kiel, September 1993. 
[BibTeX]

Technical Report

Wolfgang Goerigk und Friedemann Simon. 

Migration und Kompilation in Lisp: Ein Weg von Prototypen zu Anwendungen. 
APPLY-Arbeitspapier APPLY/CAU/IV/2, Christian-Albrechts-Universität, Kiel, May 1993. 
[BibTeX]

Technical Report

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, und Friedemann Simon. 

APPLY: A modern and practical Lisp. 
APPLY-Arbeitspapier APPLY/GMD/XIII/6, CAU/GMD/ISST/VW-GEDAS, Sankt Augustin, September 1992. 
[BibTeX]

Technical Report

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, und Friedemann Simon. 

Das Verbundvorhaben APPLY: Ein modernes und bedarfsgerechtes Lisp. 
APPLY-Arbeitspapier APPLY/GMD/XIII/5, CAU/GMD/ISST/VW-GEDAS, Sankt Augustin, July 1992. 
[BibTeX]

Technical Report

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Dieter Hovekamp, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, und Friedemann Simon. 

Spezifikation der Funktionalität des APPLY-Systems. 
APPLY-Arbeitspapier APPLY/IfKI/I.1/1, CAU/GMD/IfKI/VW-GEDAS, Sankt Augustin, October 1991. 
[BibTeX]

Institutsberichte Series IfI

D. Ackermann, W. Goerigk, und F. Simon. 

Kompilation von Wissensrepräsentationssprachen am Beispiel von BABYLON. 
Institutsbericht Nr. 8810, Institut für Informatik und Prakt. Math. der Christian-Albrechts Universität, Kiel, 1988. 
[BibTeX]