Semantic essence of asml: Extended abstract
Publication
, Journal Article
Gurevich, Y; Rossman, B; Schulte, W
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
January 1, 2004
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.
Duke Scholars
Published In
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DOI
EISSN
1611-3349
ISSN
0302-9743
Publication Date
January 1, 2004
Volume
3188
Start / End Page
240 / 259
Related Subject Headings
- Artificial Intelligence & Image Processing
- 46 Information and computing sciences
Citation
APA
Chicago
ICMJE
MLA
NLM
Gurevich, Y., Rossman, B., & Schulte, W. (2004). Semantic essence of asml: Extended abstract. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3188, 240–259. https://doi.org/10.1007/978-3-540-30101-1_11
Gurevich, Y., B. Rossman, and W. Schulte. “Semantic essence of asml: Extended abstract.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3188 (January 1, 2004): 240–59. https://doi.org/10.1007/978-3-540-30101-1_11.
Gurevich Y, Rossman B, Schulte W. Semantic essence of asml: Extended abstract. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2004 Jan 1;3188:240–59.
Gurevich, Y., et al. “Semantic essence of asml: Extended abstract.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3188, Jan. 2004, pp. 240–59. Scopus, doi:10.1007/978-3-540-30101-1_11.
Gurevich Y, Rossman B, Schulte W. Semantic essence of asml: Extended abstract. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2004 Jan 1;3188:240–259.
Published In
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DOI
EISSN
1611-3349
ISSN
0302-9743
Publication Date
January 1, 2004
Volume
3188
Start / End Page
240 / 259
Related Subject Headings
- Artificial Intelligence & Image Processing
- 46 Information and computing sciences