direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

An ASM Semantics for SSA Intermediate Representations
Citation key GlesnerASM2004
Author Sabine Glesner
Title of Book Proceedings of the 11th International Workshop on Abstract State Machines
Pages 144 - 160
Year 2004
Address Wittenberg, Germany
Volume Vol. 3052
Month May
Publisher Springer Verlag, Lecture Notes in Computer Science
Bibtex Type of Publication Conference Article
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe