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.
@inproceedings{BlechG04,
title = {A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL},
author = {Jan Olaf Blech and Sabine Glesner},
year = {2004},
tags = {code generation},
researchr = {https://researchr.org/publication/BlechG04},
cites = {0},
citedby = {0},
pages = {449-458},
booktitle = {INFORMATIK 2004 - Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004},
editor = {Peter Dadam and Manfred Reichert},
volume = {51},
series = {LNI},
publisher = {GI},
isbn = {3-88579-380-6},
}