KIT | KIT-Bibliothek | Impressum | Datenschutz

Verified construction of static single assignment form

Buchwald, Sebastian; Lohner, Denis; Ullrich, Sebastian



Originalveröffentlichung
DOI: 10.1145/2892208.2892211
Scopus
Zitationen: 6
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2016
Sprache Englisch
Identifikator 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
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page