Gerhard Goos

Publication Activity (10 Years)

Years Active: 1970-2008
Publications (10 Years): 0

Publications

Sebastian Hack, Gerhard Goos
Copy coalescing by graph recoloring. PLDI (2008)
Sebastian Hack, Daniel Grund, Gerhard Goos
Register Allocation for Programs in SSA-Form. CC (2006)
Sebastian Hack, Gerhard Goos
Optimal register allocation for SSA-form programs in polynomial time. Inf. Process. Lett. 98 (4) (2006)
Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop (2005)
Elke Pulvermüller, Gerhard Goos, Uwe Aßmann
New software composition concepts. Sci. Comput. Program. 56 (1-2) (2005)
Sabine Glesner, Gerhard Goos, Wolf Zimmermann
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it Inf. Technol. 46 (5) (2004)
Gerhard Goos
Compiler Verification and Compiler Architecture. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Gerhard Goos
Issues in Compiling. J. Univers. Comput. Sci. 7 (5) (2001)
Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann
Construction of robust class hierarchies. Softw. Pract. Exp. 30 (5) (2000)
Gerhard Goos
Software as Science? Commentary on Michael S. Mahoney, "Software as Science". ICHC (2000)
Gerhard Goos, Wolf Zimmermann
Verifying Compilers and ASMs. Abstract State Machines (2000)
Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
Construction of Verified Compiler Front-Ends with Program-Checking. Ershov Memorial Conference (1999)
Gerhard Goos, Wolf Zimmermann
Verification of Compilers. Correct System Design (1999)
Gerhard Goos
From Programming Languages to Program Construction. JMLC (1997)
Gerhard Goos
Sather-K - The Language. Softw. Concepts Tools 18 (3) (1997)
Gerhard Goos
Programmiertechnik zwischen Wissenschaft und industrieller Praxis. Inform. Spektrum 17 (1) (1994)
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)
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)
Gerhard Goos, Roland Dietrich, Peter Kursawe
Prolog-Arbeiten in Karlsruhe. Wissensbasierte Systeme (1987)
Gerhard Goos
Rechner-Programme im Jahr 2000. Prax. Inf.verarb. Kommun. 10 (1) (1987)
Gerhard Goos
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel). IFIP Congress (1986)
Stefan Jähnichen, Gerhard Goos
Towards an alternative model for software development. ISPW (1985)
Gerhard Goos
Programmiermethoden der künstlichen Intelligenz in der Software-Technik. Programmierumgebungen und Compiler (1984)
Gerhard Goos
Position Paper: Contra sprachorientierte Programmierumgebungen. Programmierumgebungen und Compiler (1984)
Rudolf Landwehr, Hans-Stephan Jansohn, Gerhard Goos
Experience with an Automatic Code Generator Generator. SIGPLAN Symposium on Compiler Construction (1982)
Gerhard Goos
ADA: Zweck, Entwicklung und Zukunft einer Programmiersprache. Angew. Inform. 24 (2) (1982)
Rudolf Landwehr, Hans-Stephan Jansohn, Gerhard Goos
Erfahrungen mit einem automatischen Code-Generator-Generator. PASCAL (1982)
Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein
An Attribute Grammar for Ada. SIGPLAN Symposium on Compiler Construction (1982)
Gerhard Goos, Georg Winterstein
Problems in Compiling Ada. ECI (1981)
Gerhard Goos, Georg Winterstein
Towards a compiler front-end for Ada. SIGPLAN (1980)
Gerhard Goos
Informatik an der Schule? - Editorial. Inform. Spektrum 2 (1) (1979)
Gerhard Goos
Einige Eigenschaften der Programmiersprache BALG. Fachtagung über Programmiersprachen (1976)
Gerhard Goos
Systemprogrmmiersprachen und Strukturiertes Programmieren. Programming Methodology (1974)
Gerhard Goos
Language Characteristics Programming Languages as a Tool in Writing System Software. Advanced Course: Software Engineering (1972)
Gerhard Goos
Documentation. Advanced Course: Software Engineering (1972)
Gerhard Goos
Hierarchies. Advanced Course: Software Engineering (1972)
Gerhard Goos
Some Problems in Compiling Algol 68. ALGOL 68 Implementation (1970)
Gerhard Goos, Henry J. Bowlden, Paul Branquart, Barry J. Mailloux, John E. L. Peck, Philip M. Woodward
Panel Discussion - Algol 68 Sublanguages. ALGOL 68 Implementation (1970)