Formalizing the SSA-based compiler for verified advanced program transformations
Zhao, Jianzhou.
University of Pennsylvania ProQuest Dissertations Publishing, 2013. 3592852.
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
This is a short preview of the document. Your library or institution may give you access to the complete full text for this document in ProQuest.
Alternatively, you can purchase a copy of the complete full text for this document directly from ProQuest using the option below: