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

Gerhard Goos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
37EESebastian Hack, Gerhard Goos: Copy coalescing by graph recoloring. PLDI 2008: 227-237
2006
36EESebastian Hack, Daniel Grund, Gerhard Goos: Register Allocation for Programs in SSA-Form. CC 2006: 247-262
35EESebastian Hack, Gerhard Goos: Optimal register allocation for SSA-form programs in polynomial time. Inf. Process. Lett. 98(4): 150-155 (2006)
2005
34EEElke Pulvermüller, Gerhard Goos, Uwe Aßmann: New software composition concepts. Sci. Comput. Program. 56(1-2): 1-4 (2005)
2004
33EESabine 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
32EEGerhard Goos: Compiler Verification and Compiler Architecture. Electr. Notes Theor. Comput. Sci. 65(2): (2002)
2001
31EEGerhard Goos: Issues in Compiling. J. UCS 7(5): 410-419 (2001)
2000
30EEGerhard 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
28EEGerhard Goos, Wolf Zimmermann: Verification of Compilers. Correct System Design 1999: 201-230
27EEAndreas 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
13EESophia 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
12EERudolf 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

Coauthor Index

1Uwe Aßmann [34]
2Henry J. Bowlden [1]
3Paul Branquart [1]
4Kenneth J. Butler [16]
5Manfred Dausmann [13] [15]
6Roland Dietrich [21]
7Sophia Drossopoulou [13] [15]
8Arthur Evans Jr. [16]
9Arne Frick [29]
10Thilo Gaul [27]
11Sabine Glesner [33]
12Wolfgang Goerigk [27]
13Daniel Grund [36]
14Sebastian Hack [35] [36] [37]
15Hermann Härtig (Hermann Haertig) [22] [23]
16Andreas Heberle [27]
17Stefan Jähnichen [19]
18Hans-Stephan Jansohn [12] [14]
19Walter Kirchgässner [15]
20Oliver C. Kowalski [23]
21Winfried E. Kühnhauser [22] [23]
22Peter Kursawe [21]
23Rudolf Landwehr [12] [14]
24Wolfgang Lux [22] [23]
25B. J. Mailloux [1]
26Rainer Neumann [29]
27J. E. L. Peck (John Edward Lancelot Peck) [1]
28Guido Persch [13] [15]
29Elke Pulvermüller (Elke Pulvermueller) [34]
30W. Reck [23]
31Hermann Streich [22] [23]
32James S. Uhl [13]
33Jürgen Uhl [15]
34Georg Winterstein [9] [13] [15]
35P. M. Woodward [1]
36William A. Wulf [16]
37Wolf Zimmermann [27] [28] [29] [30] [33]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)