Technical Report

[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).

Authors

Alumni Prof. Wolf Zimmermann Dr. Thilo Gaul Dr. Andreas Heberle

Partner Dr. Wolfgang Goerigk Dr. Ulrich Hoffmann