Action semantics
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Theory and Practice of Action Semantics
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
ASD: The Action Semantic Description Tools
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
The ABACO System - An Algebraic Based Action COmpiler
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Formalization of Component Object Model (COM) - The COMEL Language
ECOOP '98 Workshop ion on Object-Oriented Technology
Actress: An Action Semantics Directed Compiler Generator
CC '92 Proceedings of the 4th International Conference on Compiler Construction
Action Transformations in the ACTRESS Compiler Generator
CC '94 Proceedings of the 5th International Conference on Compiler Construction
OASIS: An Optimizing Action-Based Compiler Generator
CC '94 Proceedings of the 5th International Conference on Compiler Construction
A modular monadic action semantics
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Building Tools for LOTOS Symbolic Semantics in Maude
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Hi-index | 0.00 |
Action semantics (AS) is a framework for specifying the semantics of programming languages, in a very modular and readable way. Recently, the operational semantics of action notation (action semantics's specification language) has been rewritten using Modular SOS (MSOS), a new modular approach for specifying operational semantics. The new modular specification of action notation facilitates the creation of extensions to action semantics, to deal with new concepts, such as components. The Maude Action Tool uses the reflective capabilities of rewriting logic, implemented on the Maude system, to create an executable environment for action semantics and its potential extensions. This is achieved by a mapping between the MSOS and rewriting logic formalisms which, when applied to the MSOS semantics of each facet of action notation, yields a corresponding rewrite theory. Such rewrite theories are executed on action programs, that is, on the action notation translation of a given program P in a language L, according to L's action semantics.