Wolf Zimmermann. On the Correctness of Transformations in Compiler Back-Ends. In Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, editors, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Volume TR-2004-6 of Technical Report, pages 10-17, Department of Computer Science, University of Cyprus, 2004.
Abstract is missing.