The ABACO System - An Algebraic Based Action COmpiler

Authors:
Hermano Perrelli de Moura;Luis Carlos de Sousa Menezes
Affiliations:
-;-
Venue:
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Year:
1999

Citing 2
Cited 2

Action semantics

Action semantics
An Action Semantics of Standard ML

Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Action semantics for defining dynamic semantics of modeling languages

Proceedings of the Third Workshop on Behavioural Modelling

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show the main features of the ABACO system, a semantic directed compiler generator, that produces object-oriented compilers from action semantics descriptions of programming languages.