KIT | KIT-Bibliothek | Impressum | Datenschutz

Practical construction of correct compiler implementations by runtime result verification

Gaul, Thilo; Goerigk, Wolfgang; Zimmermann, Wolf



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Englisch
Identifikator KITopen-ID: 33662000
Erscheinungsvermerk In: Conference proceedings of the International Conference on Information Systems Analysis and Synthesis, SCI 2000, Orlando, FL 2000. S. 200-210.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page