A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL

Jan Olaf Blech, Sabine Glesner. A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. In Peter Dadam, Manfred Reichert, editors, INFORMATIK 2004 - Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004. Volume 51 of LNI, pages 449-458, GI, 2004.

Abstract

Abstract is missing.