On the Construction of Correct Compiler BackEnds: An ASM Approach (1997)

by W Zimmerman, T Gaul
Venue:tel-00535886, version 1 - 13 Nov 2010