2003 |
10 | EE | 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 | EE | Wolfgang Goerigk:
Towards Acceptability of Optimizations: An Extended View of Compiler Correctness.
Electr. Notes Theor. Comput. Sci. 65(2): (2002) |
2001 |
8 | EE | 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 | EE | 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) |