Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

XASM Semantics


Citation: Philipp W. Kutter, "The Formal Definition of Anlauff's eXtensible Abstract State Machines". Swiss Federal Institute of Technology (ETH) Zurich TIK-Report 136, June 2002.
Summary: A formal denotational semantics for XASM.
Subjects: Interpreters & Tools
Download: From ETH Zurich in PDF and PostScript.
Notes: