 | 2003 |
|---|
| 10 |       | Axel Dold,
Friedrich W. von Henke,
Wolfgang Goerigk:
A Completely Verified Realistic Bootstrap Compiler.
Int. J. Found. Comput. Sci. 14(4): 659- (2003) |
| 2002 |
|---|
| 9 | | Wolfgang Goerigk:
Towards Acceptability of Optimizations: An Extended View of Compiler Correctness.
Electr. Notes Theor. Comput. Sci. 65(2): (2002) |
| 2001 |
|---|
| 8 | | Wolfgang Goerigk:
Mechanical Software Verification: High Level Control Aspects from a User's Perspective.
Electr. Notes Theor. Comput. Sci. 58(2): (2001) |
| 1999 |
|---|
| 7 |  | Wolfgang Goerigk,
Friedemann H. Simon:
Towards Rigorous Compiler Implementation Verification.
Collaboration between Human and Artificial Societies 1999: 62-73 |
| 6 | | Andreas Heberle,
Thilo Gaul,
Wolfgang Goerigk,
Gerhard Goos,
Wolf Zimmermann:
Construction of Verified Compiler Front-Ends with Program-Checking.
Ershov Memorial Conference 1999: 481-492 |
| 5 | | Wolfgang Goerigk,
Arnd Poetzsch-Heffter:
Arbeitstagung Programmiersprachen - Vorwort.
GI Jahrestagung 1999: 349 |
| 1998 |
|---|
| 4 | | Wolfgang Goerigk,
Ulrich Hoffmann:
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.
FM-Trends 1998: 122-136 |
| 1996 |
|---|
| 3 | | Wolfgang Goerigk,
Harold Boley,
Ulrich Hoffmann,
Markus Perling,
Michael Sintek:
Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen.
KI 10(2): 31-33 (1996) |
| 1992 |
|---|
| 2 | | Harry Bretthauer,
Thomas Christaller,
H. Friedrich,
Wolfgang Goerigk,
Winfried Heicking,
Ulrich Hoffmann,
Dieter Hovekamp,
H. Knutzen,
Jürgen Kopp,
E. U. Kriegel,
I. Mohr,
R. Rosenmüller,
Friedemann H. Simon:
Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP.
KI 6(2): 50-54 (1992) |
| 1991 |
|---|
| 1 | | Dieter Ackermann,
Wolfgang Goerigk,
Friedemann H. Simon:
Wissensbasiskompilation: KI-Techniken in industrieller Anwendung.
KI 5(2): 93-96 (1991) |
