dblp.uni-trier.dewww.uni-trier.de

Wolfgang Goerigk Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
10EEAxel Dold, Friedrich W. von Henke, Wolfgang Goerigk: A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14(4): 659- (2003)
2002
9EEWolfgang Goerigk: Towards Acceptability of Optimizations: An Extended View of Compiler Correctness. Electr. Notes Theor. Comput. Sci. 65(2): (2002)
2001
8EEWolfgang 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
6EEAndreas 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
4EEWolfgang 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)

Coauthor Index

1Dieter Ackermann [1]
2Harold Boley [3]
3Harry Bretthauer [2]
4Thomas Christaller [2]
5Axel Dold [10]
6H. Friedrich [2]
7Thilo Gaul [6]
8Gerhard Goos [6]
9Andreas Heberle [6]
10Winfried Heicking [2]
11Friedrich W. von Henke [10]
12Ulrich Hoffmann [2] [3] [4]
13Dieter Hovekamp [2]
14H. Knutzen [2]
15Jürgen Kopp [2]
16E. U. Kriegel [2]
17I. Mohr [2]
18Markus Perling [3]
19Arnd Poetzsch-Heffter [5]
20R. Rosenmüller [2]
21Friedemann H. Simon [1] [2] [7]
22Michael Sintek [3]
23Wolf Zimmermann [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)