An implementation of object-oriented action semantics in Maude

Authors:
André Murbach Maidl;Cláudio Carvilhe;Martin A. Musicante
Affiliations:
Programa de Pós-Graduação em Informática, Universidade Federal do Paraná, Curitiba, Brazil;Departamento de Informática, Pontifícia Universidade Católica do Paraná, Curitiba, Brazil;Programa de Pós-Graduação em Sistemas e Computação, Universidade Federal do Rio Grande do Norte, Natal, Brazil and Laboratoire d'Informatique Fondamentale d'Olréans, ...
Venue:
Semantics and algebraic specification
Year:
2009

Citing 8
Cited 0

Programming language syntax and semantics

Programming language syntax and semantics
Action semantics

Action semantics
ASD: The Action Semantic Description Tools

AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Actress: An Action Semantics Directed Compiler Generator

CC '92 Proceedings of the 4th International Conference on Compiler Construction
LFL: A Library of Generic Classes for Object-Oriented Action Semantics

QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
An action environment

Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Maude Object-Oriented Action Tool

Electronic Notes in Theoretical Computer Science (ENTCS)
Exploiting Labels in Structural Operational Semantics

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present Maude Object-Oriented Action Tool, an executable environment that incorporates elements from for Object-Oriented and Constructive Action Semantics. Our tool is implemented as a conservative extension of Full Maude and Maude MSOS Tool. The syntax used by our tool is fairly similar to the one used by the original Action Semantics formalism. Furthermore, we present an Object-Oriented Action Semantics library of classes, capable of supporting constructive (object-oriented) action semantics.