|
Search the dblp DataBase
Wolfgang Goerigk:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Wolfgang Goerigk, Friedemann H. Simon
Towards Rigorous Compiler Implementation Verification. [Citation Graph (0, 0)][DBLP] Collaboration between Human and Artificial Societies, 1999, pp:62-73 [Conf]
- Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
Construction of Verified Compiler Front-Ends with Program-Checking. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 1999, pp:481-492 [Conf]
- Wolfgang Goerigk, Ulrich Hoffmann
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. [Citation Graph (0, 0)][DBLP] FM-Trends, 1998, pp:122-136 [Conf]
- Wolfgang Goerigk, Arnd Poetzsch-Heffter
Arbeitstagung Programmiersprachen - Vorwort. [Citation Graph (0, 0)][DBLP] GI Jahrestagung, 1999, pp:349- [Conf]
- Wolfgang Goerigk
Towards Acceptability of Optimizations: An Extended View of Compiler Correctness. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
- Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk
A Completely Verified Realistic Bootstrap Compiler. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:659-0 [Journal]
- Dieter Ackermann, Wolfgang Goerigk, Friedemann H. Simon
Wissensbasiskompilation: KI-Techniken in industrieller Anwendung. [Citation Graph (0, 0)][DBLP] KI, 1991, v:5, n:2, pp:93-96 [Journal]
- 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, F. Simon
Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP. [Citation Graph (0, 0)][DBLP] KI, 1992, v:6, n:2, pp:50-54 [Journal]
- Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek
Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. [Citation Graph (0, 0)][DBLP] KI, 1996, v:10, n:2, pp:31-33 [Journal]
- Wolfgang Goerigk
Mechanical Software Verification: High Level Control Aspects from a User's Perspective. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
Modellgetriebenes Softwareengineering - Der Beginn industrieller Softwareproduktion? [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|