Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Modular Language Definitions


Citation: Gerhard Goos, Andreas Heberle, Welf Löwe, and Wolf Zimmerman, "On Modular Definitions and Implementations of Programming Languages". In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, eds., "Abstract State Machines -- ASM 2000", International Workshop on Abstract State Machines, Monte Verita, Switzerland, Local Proceedings, TIK-Report 87, Swiss Federal Institute of Technology (ETH) Zurich, March 2000, 174--208.
Summary: A formal composition and refinement mechanism for state-transition systems is presented. Applications are made to language semantic definitions using ASMs and Montages.
Subjects: ASM Explorations, Montages
Download: PostScript, PDF, Compressed PostScript
Notes: