TY - GEN
T1 - Maude action tool
T2 - 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000
AU - Braga, Christiano de O.
AU - Haeusler, E. Hermann
AU - Meseguer, José
AU - Mosses, Peter D.
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84974731224&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84974731224&partnerID=8YFLogxK
U2 - 10.1007/3-540-45499-3_29
DO - 10.1007/3-540-45499-3_29
M3 - Conference contribution
AN - SCOPUS:84974731224
SN - 9783540454991
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 407
EP - 421
BT - Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings
A2 - Rus, Teodor
PB - Springer
Y2 - 20 May 2000 through 27 May 2000
ER -