Follow
Gerhard Goos
Gerhard Goos
professor für Informatik, KIT, FZI
Verified email at kit.edu
Title
Cited by
Cited by
Year
Compiler construction
WM Waite, G Goos
Springer Science & Business Media, 2012
5752012
Informatik 1: Eine einführende Übersicht
FL Bauer, G Goos
Springer-Verlag, 2013
2792013
Natural language processing in medicine: an overview
P Spyns
Methods of information in medicine 35 (04/05), 285-301, 1996
2341996
Register allocation for programs in SSA-form
S Hack, D Grund, G Goos
Compiler Construction: 15th International Conference, CC 2006, Held as Part …, 2006
1812006
Vorlesungen über Informatik: Band 1: Grundlagen und funktionales Programmieren
G Goos
Springer-Verlag, 2013
175*2013
Verification of compilers
G Goos, W Znnmerrnaun
Correct System Design: Recent Insights and Advances, 201-230, 2000
862000
DIANA an intermediate language for ADA
G Goos, WA Wulf, A Evans Jr, KJ Butler
Springer Berlin Heidelberg, 1983
841983
Compiler correctness and implementation verification: The verifix approach
W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW von Henke, ...
Proceedings of the Poster Session of CC 96, 1996
811996
Optimal register allocation for SSA-form programs in polynomial time
S Hack, G Goos
Information Processing Letters 98 (4), 150-155, 2006
692006
An attribute grammar for the semantic analysis of Ada
J Uhl, S Drossopoulou, G Persch, G Goos, M Dausmann, G Winterstein, ...
Springer Berlin Heidelberg, 1982
581982
Diana: reference manual
G Goos, WA Wulf
Carnegie-Mellon Univ. Dept. Comput. Sci., 1981
551981
Lecture notes in computer science
G Goos, J Hartmanis, J Leeuwen
Springer, 1973
46*1973
Copy coalescing by graph recoloring
S Hack, G Goos
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
382008
Experience with an automatic code generator generator
R Landwehr, HS Jansohn, G Goos
Proceedings of the 1982 SIGPLAN symposium on Compiler construction, 56-66, 1982
341982
Twenty years medical informatics education at Heidelberg/Heilbronn: Evolution of a specialized curriculum for medical informatics
R Haux, FJ Leven
Methods of information in medicine 33 (03), 285-289, 1994
331994
Hierarchies
G Goos
Software Engineering: An Advanced Course, 29-46, 1975
321975
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) Verifix: Construction and Architecture of …
S Glesner, G Goos, W Zimmermann
IT-Information Technology 46 (5), 265-276, 2004
302004
Sather-K-the language
G Goos
Software-Concepts and Tools 18 (3), 91-109, 1997
291997
Construction of verified compiler front-ends with program-checking
A Heberle, T Gaul, W Goerigk, G Goos, W Zimmermann
Perspectives of System Informatics: Third International Andrei Ershov …, 2000
262000
Verifying Compilers and ASMs or ASMs for uniform description of multistep transformations
G Goos, W Zimmermann
International Workshop on Abstract State Machines, 177-202, 2000
232000
The system can't perform the operation now. Try again later.
Articles 1–20