Abstract

We describe a definition language for ASM which describe the operational semantics. We restrict the ASM formalism in order to relate independently defined specifications of source and intermediate languages. On the one hand, this simplifies the specification of languages and allows for the reuse of predefined transformations. On the other hand, we are able to combine arbitrary source and intermediate languages. The language AL is extensible. Therefore, we update this report whenever new extensions were defined.

Citations