On the Construction of Correct Compiler Back-Ends: An ASM Approach (1997)

by Wolf Zimmermann , Thilo Gaul
Venue:Journal of Universal Computer Science
Citations:32 - 5 self