Maude: specification and programming in rewriting logic
@article{Clavel2002MaudeSA, title={Maude: specification and programming in rewriting logic}, author={Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer and Jos{\'e} F. Quesada}, journal={Theor. Comput. Sci.}, year={2002}, volume={285}, pages={187-243} }
884 Citations
Plan in Maude: Specifying an Active Network Programming Language
- Computer ScienceElectron. Notes Theor. Comput. Sci.
- 2002
Towards a Maude Formal Environment
- Computer ScienceFormal Modeling: Actors, Open Systems, Biological Systems
- 2011
The Maude Formal Environment (MFE) is presented, an executable formal specification in Maude within which a user can interact with tools to mechanically verify properties of Maude specifications, designed to be easily extended with tools having highly heterogeneous designs whilst creating synergy among them.
Strategies and user interfaces in Maude at work
- Computer ScienceElectron. Notes Theor. Comput. Sci.
- 2003
Rewriting Logic as a Semantic Framework for Modular Structural Op-erational Semantics
- Computer Science
- 2001
This thesis applies state-of-the art transformation technology to the scope of semantic-driven generation of programming languages interpreters, with a proven correct mapping from MSOS to RWL and the MSOS-SL Interpreter, an implementation of an interpreter for MSOS specifications.
Applicative matching logic
- Computer Science
- 2019
This paper identifies a fragment of matching μ-logic called applicative matching logic (AML), which is much simpler and thus more appealing from a foundational perspective, yet as expressive as matching μ -logic.
Towards Behavioral Maude: Behavioral Membership Equational Logic
- Computer ScienceCMCS
- 2002
An Executable Rewriting Logic Semantics of K-Scheme
- Computer Science
- 2007
The rewriting logic semantics of K-Scheme is the most complete formal definition of a language in the Scheme family that the authors are aware of, in the sense that it pro- vides definitions for more Scheme language features than any other similar attempts.
References
SHOWING 1-10 OF 126 REFERENCES
A logical theory of concurrent objects and its realization in the Maude language
- Computer Science
- 1993
A new theory of concurrent objects is presented, and a new language, called Maude, that can be used to program concurrent object-oriented systems in an entirely declarative way using rewriting logic is created.
Rewriting Logic and Maude: Concepts and Applications
- Computer ScienceRTA
- 2000
The main concepts of rewriting logic and of the Maude rewriting logic language are introduced, and a wide range of semantic framework and logical framework applications that have been developed in rewriting logic using Maude are discussed.
Conditioned Rewriting Logic as a United Model of Concurrency
- Computer ScienceTheor. Comput. Sci.
- 1992
Executing and verifying CCS in Maude
- Computer Science
- 2000
It is shown how the semantics of CCS can be extended to traces of actions and to the CCS weak transition relation, and the reflective properties of rewriting logic, which allow controlling the rewriting process can be used to analyze CCS processes.
Membership algebra as a logical framework for equational specification
- PhilosophyWADT
- 1997
The paper presents the basic properties of the logic and its models, and discusses in detail how many total and partial equational specification formalisms can be represented in it, as well as the practical benefits in terms of tool reusability that this opens up for other languages, including CASL.