Semantic essence of AsmL

Conference Paper

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.

Full Text

Duke Authors

Cited Authors

  • Gurevich, Y; Rossman, B; Schulte, W

Published Date

  • October 17, 2005

Published In

Volume / Issue

  • 343 / 3

Start / End Page

  • 370 - 412

International Standard Serial Number (ISSN)

  • 0304-3975

Digital Object Identifier (DOI)

  • 10.1016/j.tcs.2005.06.017

Citation Source

  • Scopus