KIT | KIT-Bibliothek | Impressum | Datenschutz

Minimal Static Single Assignment Form

Wagner, Maximilian; Lohner, Denis



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2017
Sprache Englisch
Identifikator KITopen-ID: 1000120850
Erschienen in Archive of Formal Proofs
Bemerkung zur Veröffentlichung Formal proof development
Externe Relationen Abstract/Volltext
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page