Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
- 19 May 2000
- book chapter
- Published by Springer Nature
- p. 407-421
- https://doi.org/10.1007/3-540-45499-3_29
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Formal specification and analysis of active networks and communication protocols: the Maude experiencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Introducing OBJPublished by Springer Nature ,2000
- Foundations of Modular SOSPublished by Springer Nature ,1999
- Formalization of Component Object Model (COM) - The COMEL LanguagePublished by Springer Nature ,1998
- Reflection in General Logics, Rewriting Logic, and MaudeElectronic Notes in Theoretical Computer Science, 1998
- Theory and practice of action semanticsPublished by Springer Nature ,1996
- ASD: The action semantic description toolsPublished by Springer Nature ,1996
- Action transformations in the actress compiler generatorPublished by Springer Nature ,1994
- Action SemanticsPublished by Cambridge University Press (CUP) ,1992
- Actress: An action semantics directed compiler generatorPublished by Springer Nature ,1992