Semantic essence of AsmL
Publication
, Conference
Gurevich, Y; Rossman, B; Schulte, W
Published in: Theoretical Computer Science
October 17, 2005
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. © 2005 Elsevier B.V. All rights reserved.
Duke Scholars
Altmetric Attention Stats
Dimensions Citation Stats
Published In
Theoretical Computer Science
DOI
ISSN
0304-3975
Publication Date
October 17, 2005
Volume
343
Issue
3
Start / End Page
370 / 412
Related Subject Headings
- Computation Theory & Mathematics
- 08 Information and Computing Sciences
- 01 Mathematical Sciences
Citation
APA
Chicago
ICMJE
MLA
NLM
Gurevich, Y., Rossman, B., & Schulte, W. (2005). Semantic essence of AsmL. In Theoretical Computer Science (Vol. 343, pp. 370–412). https://doi.org/10.1016/j.tcs.2005.06.017
Gurevich, Y., B. Rossman, and W. Schulte. “Semantic essence of AsmL.” In Theoretical Computer Science, 343:370–412, 2005. https://doi.org/10.1016/j.tcs.2005.06.017.
Gurevich Y, Rossman B, Schulte W. Semantic essence of AsmL. In: Theoretical Computer Science. 2005. p. 370–412.
Gurevich, Y., et al. “Semantic essence of AsmL.” Theoretical Computer Science, vol. 343, no. 3, 2005, pp. 370–412. Scopus, doi:10.1016/j.tcs.2005.06.017.
Gurevich Y, Rossman B, Schulte W. Semantic essence of AsmL. Theoretical Computer Science. 2005. p. 370–412.
Published In
Theoretical Computer Science
DOI
ISSN
0304-3975
Publication Date
October 17, 2005
Volume
343
Issue
3
Start / End Page
370 / 412
Related Subject Headings
- Computation Theory & Mathematics
- 08 Information and Computing Sciences
- 01 Mathematical Sciences