Search the dblp DataBase

Publications of Author

1. Gerhard Goos, Georg Winterstein
   Problems in Compiling Ada. [Citation Graph (0, 0)][DBLP]
   ECI, 1981, pp:173-199 [Conf]
   
2. Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein
   The Tasking Facility of Ada. [Citation Graph (0, 0)][DBLP]
   Implementierungssprachen für nichtsequentielle Programmsysteme, 1981, pp:95-118 [Conf]
   
3. Georg Winterstein
   Position Paper: Pro sprachorientierte Programmierumgebungen. [Citation Graph (0, 0)][DBLP]
   Programmierumgebungen und Compiler, 1984, pp:277- [Conf]
   
4. Georg Winterstein, Manfred Dausmann, Guido Persch
   A Method for Describing Concurrent Problems Based on Logic. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung, 1980, pp:457- [Conf]
   
5. Guido Persch, Georg Winterstein
   Symbolic Interpretation and Tracing of PASCAL-Programs. [Citation Graph (0, 0)][DBLP]
   ICSE, 1978, pp:312-319 [Conf]
   
6. Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein
   A Separate Compilation System for Ada. [Citation Graph (0, 0)][DBLP]
   Werkzeuge der Programmiertechnik, 1981, pp:197-213 [Conf]
   
7. Manfred Dausmann, Guido Persch, Georg Winterstein
   LIS as Object Code for an ADA-O-Compiler. [Citation Graph (0, 0)][DBLP]
   Fachtagung über Programmiersprachen, 1980, pp:95-110 [Conf]
   
8. Georg Winterstein, Norbert Heck, Peter Trum
   Prädikatenlogik als Basis für eine Spezifikationssprache. [Citation Graph (0, 0)][DBLP]
   Software Engineering, 1980, pp:312-313 [Conf]
   
9. Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein
   An Attribute Grammar for Ada. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Symposium on Compiler Construction, 1982, pp:334-348 [Conf]
   
10. Georg Winterstein
    Unification in Second Order Logic. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1977, v:13, n:7/8, pp:399-411 [Journal]