Gerhard Goos

According to our database1, Gerhard Goos authored at least 38 papers between 1970 and 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2008
Copy coalescing by graph recoloring.
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.
Inf. Process. Lett., 2006

Register Allocation for Programs in SSA-Form.
Proceedings of the Compiler Construction, 15th International Conference, 2006

2005
New software composition concepts.
Sci. Comput. Program., 2005


2004
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).
it - Information Technology, 2004

2002
Compiler Verification and Compiler Architecture.
Electr. Notes Theor. Comput. Sci., 2002

2001
Issues in Compiling.
J. UCS, 2001

2000
Construction of robust class hierarchies.
Softw., Pract. Exper., 2000

Verifying Compilers and ASMs.
Proceedings of the Abstract State Machines, 2000

1999
Construction of Verified Compiler Front-Ends with Program-Checking.
Proceedings of the Perspectives of System Informatics, 1999

Verification of Compilers.
Proceedings of the Correct System Design, 1999

1997
Sather-K - The Language.
Software - Concepts and Tools, 1997

From Programming Languages to Program Construction.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

1994
Programmiertechnik zwischen Wissenschaft und industrieller Praxis.
Informatik Spektrum, 1994

1990
The Architecture of the BIRLIX Operating System.
Proceedings of the Architektur von Rechensystemen, 1990

1987
Rechner-Programme im Jahr 2000.
Praxis der Informationsverarbeitung und Kommunikation, 1987

Prolog-Arbeiten in Karlsruhe.
Proceedings of the Wissensbasierte Systeme, 1987

Distribution and Recovery in the BirliX Operating System.
Proceedings of the Kommunikation in Verteilten Systemen, 1987

1986
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
IFIP Congress, 1986

1985
Towards an alternative model for software development.
Proceedings of an International Workshop on the Software Process and Software Environments, 1985

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

Position Paper: Contra sprachorientierte Programmierumgebungen.
Proceedings of the Programmierumgebungen und Compiler, 1984

Programmiermethoden der künstlichen Intelligenz in der Software-Technik.
Proceedings of the Programmierumgebungen und Compiler, 1984

1982
ADA: Zweck, Entwicklung und Zukunft einer Programmiersprache.
Angewandte Informatik, 1982

Experience with an Automatic Code Generator Generator.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

An Attribute Grammar for Ada.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

Erfahrungen mit einem automatischen Code-Generator-Generator.
Proceedings of the Implementierung PASCAL-artiger Programmiersprachen, 1982

An Attribute Grammar for the Semantic Analysis of Ada
Lecture Notes in Computer Science 139, Springer, ISBN: 3-540-11571-4, 1982

1981
Problems in Compiling Ada.
Proceedings of the Trends in Information Processing Systems, 1981

1979
Informatik an der Schule? - Editorial.
Informatik Spektrum, 1979

1976
Einige Eigenschaften der Programmiersprache BALG.
Proceedings of the Programmiersprachen, 1976

1974
Systemprogrmmiersprachen und Strukturiertes Programmieren.
Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

1972
Documentation.
Proceedings of the Software Engineering, 1972

Language Characteristics Programming Languages as a Tool in Writing System Software.
Proceedings of the Software Engineering, 1972

Hierarchies.
Proceedings of the Software Engineering, 1972

1970
Panel Discussion - Algol 68 Sublanguages.
Proceedings of the ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, 1970

Some Problems in Compiling Algol 68.
Proceedings of the ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, 1970


  Loading...