Abstract State Machines




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