KIT | KIT-Bibliothek | Impressum | Datenschutz

Synthesizing an instruction selection rule library from semantic specifications

Buchwald, Sebastian; Fried, Andreas; Hack, S.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2018
Sprache Englisch
Identifikator ISBN: 978-1-4503-5617-6
KITopen-ID: 1000086398
Erschienen in CGO’18, Vienna, Austria, February 24-28, 2018
Verlag ACM, New York (NY)
Seiten 300-313
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page