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

Published version (via Digital Object Identifier)

Duke Authors

Rossman, Benjamin

Cited Authors

Gurevich, Y; Rossman, B; Schulte, W

Published Date

January 1, 2004

Published In

Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

Scholars@Duke