Gerhard Goos

According to our database, Gerhard Goos authored at least 40 papers between 1970 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Copy coalescing by graph recoloring.

Sebastian Hack, Gerhard Goos

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2006

Optimal register allocation for SSA-form programs in polynomial time.

Sebastian Hack, Gerhard Goos

Inf. Process. Lett., 2006

Register Allocation for Programs in SSA-Form.

Sebastian Hack, Daniel Grund, Gerhard Goos

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

New software composition concepts.

Elke Pulvermüller, Gerhard Goos, Uwe Aßmann

Sci. Comput. Program., 2005

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

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

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

2004

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).

Sabine Glesner, Gerhard Goos, Wolf Zimmermann

it Inf. Technol., 2004

2002

Compiler Verification and Compiler Architecture.

Gerhard Goos

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

2001

Issues in Compiling.

Gerhard Goos

J. Univers. Comput. Sci., 2001

2000

Construction of robust class hierarchies.

Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann

Softw. Pract. Exp., 2000

Software as Science? Commentary on Michael S. Mahoney, "Software as Science".

Gerhard Goos

Proceedings of the History of Computing: Software Issues, 2000

Verifying Compilers and ASMs.

Gerhard Goos, Wolf Zimmermann

Proceedings of the Abstract State Machines, 2000

1999

Construction of Verified Compiler Front-Ends with Program-Checking.

Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann

Proceedings of the Perspectives of System Informatics, 1999

Verification of Compilers.

Gerhard Goos, Wolf Zimmermann

Proceedings of the Correct System Design, 1999

1997

Sather-K - The Language.

Gerhard Goos

Softw. Concepts Tools, 1997

From Programming Languages to Program Construction.

Gerhard Goos

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

1994

Programmiertechnik zwischen Wissenschaft und industrieller Praxis.

Gerhard Goos

Inform. Spektrum, 1994

1990

The Architecture of the BIRLIX Operating System.

Hermann Härtig, Winfried E. Kühnhauser, Oliver C. Kowalski, Wolfgang Lux, W. Reck, Hermann Streich, Gerhard Goos

Proceedings of the Architektur von Rechensystemen, 1990

1987

Rechner-Programme im Jahr 2000.

Gerhard Goos

Prax. Inf.verarb. Kommun., 1987

Prolog-Arbeiten in Karlsruhe.

Gerhard Goos, Roland Dietrich, Peter Kursawe

Proceedings of the Wissensbasierte Systeme, 1987

Distribution and Recovery in the BirliX Operating System.

Hermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Hermann Streich, Gerhard Goos

Proceedings of the Kommunikation in Verteilten Systemen, 1987

1986

Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).

Gerhard Goos

Proceedings of the Information Processing 86, 1986

1985

Towards an alternative model for software development.

Stefan Jähnichen, Gerhard Goos

Proceedings of an International Workshop on the Software Process and Software Environments, 1985

1984

Compiler Construction

William M. Waite, Gerhard Goos

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-5192-7, 1984

Position Paper: Contra sprachorientierte Programmierumgebungen.

Gerhard Goos

Proceedings of the Programmierumgebungen und Compiler, 1984

Programmiermethoden der künstlichen Intelligenz in der Software-Technik.

Gerhard Goos

Proceedings of the Programmierumgebungen und Compiler, 1984

1982

ADA: Zweck, Entwicklung und Zukunft einer Programmiersprache.

Gerhard Goos

Angew. Inform., 1982

Experience with an Automatic Code Generator Generator.

Rudolf Landwehr, Hans-Stephan Jansohn, Gerhard Goos

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

An Attribute Grammar for Ada.

Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

Erfahrungen mit einem automatischen Code-Generator-Generator.

Rudolf Landwehr, Hans-Stephan Jansohn, Gerhard Goos

Proceedings of the Implementierung PASCAL-artiger Programmiersprachen, 1982

An Attribute Grammar for the Semantic Analysis of Ada

Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner

Lecture Notes in Computer Science 139, Springer, ISBN: 3-540-11571-4, 1982

1981

Problems in Compiling Ada.

Gerhard Goos, Georg Winterstein

Proceedings of the Trends in Information Processing Systems, 1981

1980

Towards a compiler front-end for Ada.

Gerhard Goos, Georg Winterstein

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1979

Informatik an der Schule? - Editorial.

Gerhard Goos

Inform. Spektrum, 1979

1976

Einige Eigenschaften der Programmiersprache BALG.

Gerhard Goos

Proceedings of the Programmiersprachen, 1976

1974

Systemprogrmmiersprachen und Strukturiertes Programmieren.

Gerhard Goos

Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

1972

Documentation.

Gerhard Goos

Proceedings of the Software Engineering, 1972

Language Characteristics Programming Languages as a Tool in Writing System Software.

Gerhard Goos

Proceedings of the Software Engineering, 1972

Hierarchies.

Gerhard Goos

Proceedings of the Software Engineering, 1972

1970

Panel Discussion - Algol 68 Sublanguages.

Gerhard Goos, Henry J. Bowlden, Paul Branquart, Barry J. Mailloux, John E. L. Peck, Philip M. Woodward

Proceedings of the ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, 1970

Some Problems in Compiling Algol 68.

Gerhard Goos

Proceedings of the ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, 1970