The Z notation: a reference manual
The Z notation: a reference manual
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
Evolving algebras 1993: Lipari guide
Specification and validation methods
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
Types and programming languages
Types and programming languages
The Definition of Standard ML
STACS '87 Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science
Online testing with model programs
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Can abstract state machines be useful in language theory?
Theoretical Computer Science
Model-driven validation of SystemC designs
Proceedings of the 44th annual Design Automation Conference
An SMT Approach to Bounded Reachability Analysis of Model Programs
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
A Verified AsmL Implementation of Belief Revision
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Model-driven validation of SystemC designs
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
On Bounded Reachability of Programs with Set Comprehensions
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Model-based Runtime Verification Framework for Self-optimizing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Umple: a model-oriented programming language
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
A study of applying a research prototype tool in industrial practice
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Partial Updates in Complex-Value Databases
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
Yuri, logic, and computer science
Fields of logic and computation
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Multiplexing of partially ordered events
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Can abstract state machines be useful in language theory?
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Symbolic bounded conformance checking of model programs
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Formal Analysis of SystemC Designs in Process Algebra
Fundamenta Informaticae
Model oriented programming: an empirical study of comprehension
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
DKAL*: constructing executable specifications of authorization protocols
ESSoS'13 Proceedings of the 5th international conference on Engineering Secure Software and Systems
| Hi-index | 0.00 |
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.