The semantics of behavioral VHDL '93 descriptions
EURO-DAC '94 Proceedings of the conference on European design automation
Evolving algebras 1993: Lipari guide
Specification and validation methods
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
A Practical Method for Specification and Analysis of Exception Handling-A Java/JVM Case Study
IEEE Transactions on Software Engineering
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
MFCS '90 Proceedings of the Mathematical Foundations of Computer Science 1990
Executable Specifications based on Dynamic Algebras
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Model Checking Support for the ASM High-Level Language
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Computer-Aided Analysis and Validation of Heterogeneous System Specifications
EUROCAST '99 Proceedings on Computer Aided Systems Theory
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Report on a Practical Application of ASMs in Software Design
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
XASM - An Extensible, Component-Based ASM Language
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
An Evolving Algebra Abstract Machine
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
leanEA: A Lean Evolving Algebra Compiler
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control
CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
A high-level modular definition of the semantics of C#
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Formal description and analysis of a distributed location service for mobile ad hoc networks
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Using spin to generate tests from ASM specifications
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Hi-index | 0.00 |
In this paper we introduce a new research effort in making abstract state machines (ASMs) executable. The aim is to specify and implement an execution engine for a language that is as close as possible to the mathematical definition of pure ASMs. The paper presents the general architecture of the engine, together with a high-level description of the extensibility mechanisms that are used by the engine to accommodate arbitrary backgrounds, scheduling policies, and new rule forms.