On the Correctness of Transformations in Compiler Back-Ends.

Wolf Zimmermann On the Correctness of Transformations in Compiler Back-Ends. 10-17 2004 ISoLA (Preliminary proceedings) conf/isola/2004i db/conf/isola/isola2004i.html#Zimmermann04a