Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

State-Based Programming Language Semantics


Citation: A.V. Zamulin, "State-based Semantics of a Pascal-like Language." Institute of Informatics Systems, Preprint No 104, Novosibirsk, 2003.
Summary: A technique for describing the semantics of an imperative, Pascal-like language in terms of ASM update sets is described.
Subjects: ASM Explorations
Download: PostScript, PDF, Compressed PostScript
Notes: