Universitšt Karlsruhe
Prof. em. Dr. Dr. h.c. Gerhard Goos
Address
IPD Goos
Adenauerring 20a
AVG 50.41 Raum 122
76131 Karlsruhe
Germany
Tel. +49 (721) 608-4761
Email gerhard dot goos(at)kit dot edu

Consultation Hours: Sprechstunde nach Vereinbarung

Projects

Former
EASYCOMP
Sather-K
Verifix

Publications

2006
Hack, Goos, Optimal register allocation for SSA-form programs in polynomial time
Hack, Grund, Goos, Register allocation for programs in SSA-form
 
2005
Hack, Grund, Goos, Towards Register Allocation for Programs in SSA-form
 
2004
Glesner, Goos, Zimmermann, Verifix: Konstruktion und Architektur verifizierender √úbersetzer (Verifix: Construction and Architecture of Verifying Compilers)
 
2002
Goos, Software as Science?
 
2001
Goos, Issues in Compiling
Goos, Vorlesungen √ľber Informatik Band 2: Objektorientiertes Programmieren und Algorithmen
 
2000
Frick, Goos, Neumann, Zimmermann, Construction of Robust Class Hierarchies
Goos, Zimmermann, Verifying Compilers and ASMs
Goos, Zimmermann, ASMs for uniform description of multistep transformations
Goos, Vorlesungen √ľber Informatik Band 1: Grundlagen und funktionales Programmieren
 
1999
Goos, Zimmermann, Verification of Compilers
 
1998
Schoknecht, Spott, Riedmiller, Goos, Menzel, Selbständiges Lernen von Regelungen mit Fynesse
Goos, Vorlesungen √ľber Informatik Band 4: Parallelit√§t und nicht-analytische L√∂sungsverfahren
 
1997
Gaul, Goos, Heberle, Zimmermann, Zur Konstruktion verifizierter √úbersetzer
Gaul, Goos, Heberle, Zimmermann, Goerigk, An Architecture for Verified Compiler Construction
Goos, Spott, Weisbrod, Riedmiller, Interpretation und Adaption unscharfer Relationen innerhalb einer hybriden selbstlernenden Steuerungsarchitektur
Goos, Sather-K - The Language
Goos, Zimmermann, D2: Programmiersprachen
Goos, Vorlesungen √ľber Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen
 
1996
Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach
 
1994
Goos, Algorithmentechnik (Vorlesungsskript)
 
1984
Goos, Waite, Compiler Construction
Login
Links