Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10334223 | Theoretical Computer Science | 2005 | 43 Pages |
Abstract
The State Machine Language, AsmL, is a novel executable specification language based on the theory of 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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte,