Iman Narasamdya. Establishing program equivalence in translation validation for optimizing compilers. PhD thesis, University of Manchester, UK, 2007. [doi]
@phdthesis{ethos-12360,
title = {Establishing program equivalence in translation validation for optimizing compilers},
author = {Iman Narasamdya},
year = {2007},
url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.677461},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-12360},
cites = {0},
citedby = {0},
school = {University of Manchester, UK},
}