KIT | KIT-Bibliothek | Impressum | Datenschutz

Fast liveness checking for ssa-form programs

Boissinot, Benoit; Hack, Sebastian; Grund, Daniel; Dinechin, Benoît Dupont de; Rastello, Fabrice


Originalveröffentlichung
DOI: 10.1145/1356058.1356064
Scopus
Zitationen: 19
Dimensions
Zitationen: 19
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2008
Sprache Englisch
Identifikator ISBN: 978-159593978-4
KITopen-ID: 1000120906
Erschienen in 6th International Symposium on Code Generation and Optimization (CGO 2008), Boston, MA, April, 5-9, 2008
Veranstaltung 6th International Symposium on Code Generation and Optimization (CGO 2008), Boston, MA, USA, 05.04.2008 – 09.04.2008
Verlag Association for Computing Machinery (ACM)
Seiten 35-44
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page