Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Types


Citation: A.V. Zamulin, "Typed Gurevich Machines Revisited", Joint CS & IIS Bulletin, Computer Science, No. 5, Novosibirsk, 1997.
Summary: An approach to combining type-structured algebraic specifications and Gurevich machines is proposed.
Subjects: ASM Extensions
Download: PostScript, PDF, Compressed PostScript
Notes: