KIT | KIT-Bibliothek | Impressum

Verified construction of static single assignment form

Buchwald, Sebastian; Lohner, Denis; Ullrich, Sebastian



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2016
Sprache Englisch
Identifikator DOI: 10.1145/2892208.2892211
ISBN: 978-1-4503-4241-4
KITopen ID: 1000055318
Erschienen in Proceedings of CC 2016: The 25th International Conference on Compiler Construction, Barcelona; Spain; 17 March 2016 through 18 March 2016
Verlag ACM, New York (NY)
Seiten 67-76
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page