Semantic essence of AsmL

Yuri Gurevich, Benjamin Rossman, and Wolfram Schulte

Abstract

The Abstract State Machine Language, AsmL, is a novel executable specification language based on the theory ofAbstract State Machines. AsmL is object-oriented, provides high level mathematical data-structures, and is built around the notion ofsynchronous updates and finite choice.AsmL is fully integrated into the .NET framework and Microsoft development tools. In this paper, we explain the design rationale ofAsmL and provide static and dynamic semantics for a kernel of the language.

Details

Publication typeArticle
Published inTheor. Comput. Sci.
Pages370-412
Volume343
Number3

Previous versions

Yuri Gurevich, Benjamin Rossman, and Wolfram Schulte. Semantic Essence of AsmL, Springer, 2003.

> Publications > Semantic essence of AsmL