Establishing program equivalence in translation validation for optimizing compilers

Iman Narasamdya. Establishing program equivalence in translation validation for optimizing compilers. PhD thesis, University of Manchester, UK, 2007. [doi]

Abstract

Abstract is missing.