Reusable Correct Compilations

Citation: Andreas Heberle and Welf Löwe, "On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations". In Proceedings of the 28th Annual Conference of the German Society of Computer Science, Technical Report, Magdeburg University, 1998.
Summary: General equivalence-preserving transformations on ASM specifications of programming languages are defined. A restricted language AL is introduced for specifying language semantics and for facilitating reuse of verified transformations.
Subjects: ASM Explorations
Download: PostScript, PDF, Compressed PostScript