Universität Karlsruhe
Correct Compilation of a While-Language with Parameterless Recursive Procedures

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
Links