direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

A Formal Semantics of Intermediate Compiler Representations in Isabelle/HOL
Citation key glesner08a
Author Sabine Glesner and Andreas Humbert
Title of Book Proceedings of the Workshop Compiler Optimization meets Compiler Verification (COCV 2008)
Year 2008
Journal 11th European Conferences on Theory and Practice of Software (ETAPS 2008)
Volume Electronic Notes in
Publisher Elsevier
Bibtex Type of Publication Conference Article
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe