Go home now Header Background Image
Submission Procedure
share: |
Follow us

Wolf Zimmermann
Martin-Luther-University Halle-Wittenberg , Germany

J. Knoop, W. Zimmermann:
J.UCS Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002)
page 189 - 190
Vol.9 / Issue 3
W. Zimmermann, T. Gaul:
On the Construction of Correct Compiler Back-Ends: An ASM-Approach
page 504 - 567
Vol.3 / Issue 5