Evaluation and Implementation of Dominance Breaking Presolving Techniques in the Unison Compiler Back-End

Constraint-based compiler back-ends use constraint programming to solve some of the translation stages that a compiler back-end typically is constructed of. Using constraint programming enables the compiler to generate optimal target code that is faster and more robust compared to code generated by...

Full description

Bibliographic Details
Main Author: Almgren, Mikael
Format: Others
Language:English
Published: KTH, Skolan för informations- och kommunikationsteknik (ICT) 2015
Subjects:
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-175835