Correct Compilation of a While-Language with Parameterless Recursive Procedures
»
Home
»
Mitarbeiter
»
Kerngebiete
»
Projekte
»
Abgeschlossen
»
Veröffentlichungen
»
Details
»
Software
»
Lehre
»
Student. Arbeiten
»
Impressum
»
Lageplan
Technischer Bericht
[Zimmer-et-al:98]
Wolfgang Goerigk, Wolf Zimmermann, Thilo Gaul, Andreas Heberle, Ulrich Hoffmann,
Correct Compilation of a While-Language with Parameterless Recursive Procedures
, Nr. [Verifix/UKA/15], Jan 1999 (Verifix Working Paper).
[
Erzeuge bibTeX Eintrag
]
Autoren
Alumni
Prof. Wolf Zimmermann
Dr. Thilo Gaul
Dr. Andreas Heberle
Partner
Dr. Wolfgang Goerigk
Dr. Ulrich Hoffmann
Login
Login:
Passwort:
Links
»
Fakultät
»
FZI PROST
»
Prof. Assmann
»
Prof. Glesner
»
Prof. Hack
»
Prof. Löwe
»
Prof. Snelting
»
Prof. Zimmermann
»
Universität