@conference{BlGl04, author={Jan Olaf Blech and Sabine Glesner}, title={A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL}, booktitle={Proceedings der 3. Arbeitstagung Programmiersprachen (ATPS) auf der 34. Jahrestagung der Gesellschaft f{\"u}r Informatik}, year={2004}, month={September}, publisher={Lecture Notes in Informatics} }