Gerhard Goos
Gerhard Goos
professor für Informatik, KIT, FZI
Bestätigte E-Mail-Adresse bei kit.edu
Titel
Zitiert von
Zitiert von
Jahr
Compiler construction
WM Waite, G Goos
Springer Science & Business Media, 2012
4962012
Informatik 1: Eine einführende Übersicht
FL Bauer, G Goos
Springer-Verlag, 2013
2132013
Computer science today: recent trends and developments
JV Leeuwen, J Hartmanis, G Goos
Springer-Verlag, 1995
1841995
Register allocation for programs in SSA-form
S Hack, D Grund, G Goos
International Conference on Compiler Construction, 247-262, 2006
1452006
Multiple Classifier Systems: First International Workshop, MCS 2000 Cagliari, Italy, June 21-23, 2000 Proceedings
J Kittler, F Roli
Springer, 2003
136*2003
Vorlesungen über Informatik: Band 1: Grundlagen und funktionales Programmieren
G Goos
Springer-Verlag, 2013
1192013
Compiler correctness and implementation verification: The verifix approach
W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW Von Henke, ...
811996
Verification of compilers
G Goos, W Znnmerrnaun
Correct System Design, 201-230, 1999
781999
DIANA: an intermediate language for Ada
G Goos, WA Wulf, A Evans Jr, KJ Butler
Springer-Verlag, 2000
752000
Lecture notes in computer science
JH Moore, BC White
Springer, New York, 2007
74*2007
An attribute grammar for the semantic analysis of Ada
J Uhl
611982
Middkeware 2000
G Goos, J Sventek
Springer Science & Business Media, 2000
572000
Optimal register allocation for SSA-form programs in polynomial time
S Hack, G Goos
Information Processing Letters 98 (4), 150-155, 2006
552006
Lecture notes in computer science
G Goos, J Hartmanis, J Leeuwen
Lecture Notes in Computer Science 2815, 2815, 2003
52*2003
Diana: reference manual
G Goos, WA Wulf
Carnegie-Mellon Univ. Dept. Comput. Sci., 1981
451981
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
Copy coalescing by graph recoloring
S Hack, G Goos
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
332008
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers)
S Glesner, G Goos, W Zimmermann
IT-Information Technology 46 (5), 265-276, 2004
282004
Hierarchies
G Goos
Software engineering, 29-46, 1975
281975
Sather-K-the language
G Goos
SOFTWARE CONCEPTS AND TOOLS 18 (3), 91-109, 1997
251997
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20