ASM-based mechanized verification of compiler backends

Dold, A.; Gaul, Thilo; Vialard, V.; Zimmermann, Wolf

Seitenaufrufe: 27
seit 03.05.2018

Zugehörige Institution(en) am KIT	Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp	Buchaufsatz
Publikationsjahr	1998
Sprache	Englisch
Identifikator	KITopen-ID: 294298
Erscheinungsvermerk	In: Proceedings of the 5th International Workshop on Abstract State Machines. Ed.: U. Glässer. 1998. S. 50-67.