KIT | KIT-Bibliothek | Impressum | Datenschutz

Synthesizing an instruction selection rule library from semantic specifications

Buchwald, Sebastian 1; Fried, Andreas 1; Hack, S.
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1145/3168821
Scopus
Zitationen: 7
Dimensions
Zitationen: 5
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2018
Sprache Englisch
Identifikator ISBN: 978-1-4503-5617-6
KITopen-ID: 1000086398
Erschienen in CGO’18, Vienna, Austria, February 24-28, 2018
Verlag Association for Computing Machinery (ACM)
Seiten 300-313
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page