Sciweavers

FMCO
2003
Springer

Semantic Essence of AsmL

13 years 8 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical data-structures, and is built around the notion of synchronous updates and finite choice. AsmL is fully integrated into the .NET framework and Microsoft development tools. In this paper, we explain the design rationale of AsmL and provide static and dynamic semantics for a kernel of the language. s: Abstract State Machine, Executable Specification Language Contents
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FMCO
Authors Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
Comments (0)