Media type: E-Article Title: Register allocation by proof transformation Contributor: Ohori, Atsushi Published: Elsevier BV, 2004 Published in: Science of Computer Programming, 50 (2004) 1-3, Seite 161-187 Language: English DOI: 10.1016/j.scico.2004.01.005 ISSN: 0167-6423 Keywords: Software Origination: Footnote: Access State: Open Access