direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

A Formal Semantics of Intermediate Compiler Representations in Isabelle/HOL
Zitatschlüssel glesner08a
Autor Sabine Glesner and Andreas Humbert
Buchtitel Proceedings of the Workshop Compiler Optimization meets Compiler Verification (COCV 2008)
Jahr 2008
Journal 11th European Conferences on Theory and Practice of Software (ETAPS 2008)
Jahrgang Electronic Notes in
Verlag Elsevier
Typ der Publikation Conference Article
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe