Paper Info
Title
Semantic essence of AsmL
Abstract
The Abstract State Machine Language, AsmL, is a novel executable specification language 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.
Year
DOI
Venue
2003
10.1016/j.tcs.2005.06.017
Theoretical Computer Science - Formal methods for components and objects
Keywords
DocType
Volume
abstract state machine,abstract state machines,synchronous updates,finite choice,dynamic semantics,semantic essence,abstract state machine language,executable specification language,microsoft development tool,novel executable specification language,high-level mathematical data-structures,design rationale,state machine,object oriented,data structure,specification language
Conference
343
Issue
ISSN
Citations 
3
0304-3975
40
PageRank 
References 
Authors
2.57
12
3
Name
Order
Citations
PageRank
Yuri Gurevich13258505.49
Benjamin Rossman229820.00
Wolfram Schulte32342153.40