@techreport{MuellerNordio07, author = {Peter M\"uller and Martin Nordio}, title = {Proof-Transforming Compilation of Programs with Abrupt Termination}, institution = {ETH Zurich}, year = {2007}, number = {565}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/MuellerNordio07.pdf} }