Semantic essence of asml: Extended abstract
Published
Journal Article
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 datastructures, 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 sketch semantics for a kernel of the language. The details will appear in the full version of the paper. © Springer-Verlag 2004.
Full Text
Duke Authors
Cited Authors
- Gurevich, Y; Rossman, B; Schulte, W
Published Date
- January 1, 2004
Published In
Volume / Issue
- 3188 /
Start / End Page
- 240 - 259
Electronic International Standard Serial Number (EISSN)
- 1611-3349
International Standard Serial Number (ISSN)
- 0302-9743
Digital Object Identifier (DOI)
- 10.1007/978-3-540-30101-1_11
Citation Source
- Scopus