[an error occurred while processing this directive] [an error occurred while processing this directive]

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:  
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/moddef.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT