2008 |
37 | EE | Sebastian Hack,
Gerhard Goos:
Copy coalescing by graph recoloring.
PLDI 2008: 227-237 |
2006 |
36 | EE | Sebastian Hack,
Daniel Grund,
Gerhard Goos:
Register Allocation for Programs in SSA-Form.
CC 2006: 247-262 |
35 | EE | Sebastian Hack,
Gerhard Goos:
Optimal register allocation for SSA-form programs in polynomial time.
Inf. Process. Lett. 98(4): 150-155 (2006) |
2005 |
34 | EE | Elke Pulvermüller,
Gerhard Goos,
Uwe Aßmann:
New software composition concepts.
Sci. Comput. Program. 56(1-2): 1-4 (2005) |
2004 |
33 | EE | Sabine Glesner,
Gerhard Goos,
Wolf Zimmermann:
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).
it - Information Technology 46(5): 265-276 (2004) |
2002 |
32 | EE | Gerhard Goos:
Compiler Verification and Compiler Architecture.
Electr. Notes Theor. Comput. Sci. 65(2): (2002) |
2001 |
31 | EE | Gerhard Goos:
Issues in Compiling.
J. UCS 7(5): 410-419 (2001) |
2000 |
30 | EE | Gerhard Goos,
Wolf Zimmermann:
Verifying Compilers and ASMs.
Abstract State Machines 2000: 177-202 |
29 | | Arne Frick,
Gerhard Goos,
Rainer Neumann,
Wolf Zimmermann:
Construction of robust class hierarchies.
Softw., Pract. Exper. 30(5): 481-543 (2000) |
1999 |
28 | EE | Gerhard Goos,
Wolf Zimmermann:
Verification of Compilers.
Correct System Design 1999: 201-230 |
27 | 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 |
1997 |
26 | | Gerhard Goos:
From Programming Languages to Program Construction.
JMLC 1997: 1-16 |
25 | | Gerhard Goos:
Sather-K - The Language.
Software - Concepts and Tools 18(3): 91-109 (1997) |
1994 |
24 | | Gerhard Goos:
Programmiertechnik zwischen Wissenschaft und industrieller Praxis.
Informatik Spektrum 17(1): 11-20 (1994) |
1990 |
23 | | Hermann Härtig,
Winfried E. Kühnhauser,
Oliver C. Kowalski,
Wolfgang Lux,
W. Reck,
Hermann Streich,
Gerhard Goos:
The Architecture of the BIRLIX Operating System.
ARCS 1990: 339-354 |
1987 |
22 | | Hermann Härtig,
Winfried E. Kühnhauser,
Wolfgang Lux,
Hermann Streich,
Gerhard Goos:
Distribution and Recovery in the BirliX Operating System.
Kommunikation in Verteilten Systemen 1987: 190-201 |
21 | | Gerhard Goos,
Roland Dietrich,
Peter Kursawe:
Prolog-Arbeiten in Karlsruhe.
Wissensbasierte Systeme 1987: 89-104 |
1986 |
20 | | Gerhard Goos:
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
IFIP Congress 1986: 1145-1146 |
1985 |
19 | | Stefan Jähnichen,
Gerhard Goos:
Towards an alternative model for software development.
ISPW 1985: 66-70 |
1984 |
18 | | Gerhard Goos:
Position Paper: Contra sprachorientierte Programmierumgebungen.
Programmierumgebungen und Compiler 1984: 276 |
17 | | Gerhard Goos:
Programmiermethoden der künstlichen Intelligenz in der Software-Technik.
Programmierumgebungen und Compiler 1984: 73-84 |
1983 |
16 | | Gerhard Goos,
William A. Wulf,
Arthur Evans Jr.,
Kenneth J. Butler:
DIANA - An Intermediate Language for Ada, Revised Version
Springer 1983 |
1982 |
15 | | Jürgen Uhl,
Sophia Drossopoulou,
Guido Persch,
Gerhard Goos,
Manfred Dausmann,
Georg Winterstein,
Walter Kirchgässner:
An Attribute Grammar for the Semantic Analysis of Ada
Springer 1982 |
14 | | Rudolf Landwehr,
Hans-Stephan Jansohn,
Gerhard Goos:
Erfahrungen mit einem automatischen Code-Generator-Generator.
PASCAL 1982: 171-184 |
13 | EE | Sophia Drossopoulou,
James S. Uhl,
Guido Persch,
Gerhard Goos,
Manfred Dausmann,
Georg Winterstein:
An Attribute Grammar for Ada.
SIGPLAN Symposium on Compiler Construction 1982: 334-348 |
12 | EE | Rudolf Landwehr,
Hans-Stephan Jansohn,
Gerhard Goos:
Experience with an Automatic Code Generator Generator.
SIGPLAN Symposium on Compiler Construction 1982: 56-66 |
11 | | Gerhard Goos:
ADA: Zweck, Entwicklung und Zukunft einer Programmiersprache.
Angewandte Informatik 24(2): 80-89 (1982) |
1981 |
10 | | Gerhard Goos:
Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981, Proceedings
Springer 1981 |
9 | | Gerhard Goos,
Georg Winterstein:
Problems in Compiling Ada.
ECI 1981: 173-199 |
1979 |
8 | | Gerhard Goos:
Informatik an der Schule? - Editorial.
Informatik Spektrum 2(1): 1-3 (1979) |
1976 |
7 | | Gerhard Goos:
Einige Eigenschaften der Programmiersprache BALG.
Fachtagung über Programmiersprachen 1976: 90-100 |
1974 |
6 | | Gerhard Goos:
Systemprogrmmiersprachen und Strukturiertes Programmieren.
Programming Methodology 1974: 203-224 |
1972 |
5 | | Gerhard Goos:
Hierarchies.
Advanced Course: Software Engineering 1972: 29-46 |
4 | | Gerhard Goos:
Documentation.
Advanced Course: Software Engineering 1972: 385-394 |
3 | | Gerhard Goos:
Language Characteristics Programming Languages as a Tool in Writing System Software.
Advanced Course: Software Engineering 1972: 47-69 |
1970 |
2 | | Gerhard Goos:
Some Problems in Compiling Algol 68.
ALGOL 68 Implementation 1970: 179-196 |
1 | | Gerhard Goos,
Henry J. Bowlden,
Paul Branquart,
B. J. Mailloux,
J. E. L. Peck,
P. M. Woodward:
Panel Discussion - Algol 68 Sublanguages.
ALGOL 68 Implementation 1970: 265-281 |