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 Jose F. Quesada},
  journal={Theor. Comput. Sci.},
  year={2002},
  volume={285},
  pages={187-243}
}
  • Manuel Clavel, Francisco Durán, +4 authors Jose F. Quesada
  • Published in Theor. Comput. Sci. 2002
  • Computer Science
  • Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 609 CITATIONS

    Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis

    VIEW 11 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    A Goal-Directed Human Activity Computing Model

    • Jianwen Xiang, Akira Mori
    • Computer Science
    • 2009 10th International Symposium on Pervasive Systems, Algorithms, and Networks
    • 2009
    VIEW 8 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    A rewriting logic approach to operational semantics

    VIEW 14 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Modeling complex Petri nets operations in the Model-Driven Architecture

    VIEW 8 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Reachability analysis of rewriting for software verification

    VIEW 5 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    A Rewriting Logic Approach to Type Inference

    VIEW 13 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Coordinating Object Oriented Components Using Data-Flow Networks

    VIEW 6 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    2000
    2020

    CITATION STATISTICS

    • 124 Highly Influenced Citations

    • Averaged 20 Citations per year from 2017 through 2019

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 81 REFERENCES

    Specification and proof in membership equational logic

    VIEW 8 EXCERPTS
    HIGHLY INFLUENTIAL

    Conditional rewriting logic as a uni$ed model of concurrency

    • J. Meseguer
    • Theoret. Comput. Sci
    • 1992
    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    Communication and Concurrency, Prentice-Hall, Englewood CliMs, NJ

    • R. Milner
    • 1989
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    The Maude parser: parsing and meta-parsing 2-extended context-free grammars

    • J. F. Quesada
    • Tech. Rep. Computer Science Laboratory, SRI International,
    • 2001
    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Re:ection in Rewriting Logic: Metalogical Foundations and Metaprogramming

    • M. Clavel
    • 2000
    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Maude as a Formal Meta-tool

    VIEW 5 EXCERPTS

    An extensible module algebra for Maude

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Membership algebra as a logical framework for equational specification

    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL