Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,429,587 papers from all fields of science
Search
Sign In
Create Free Account
Maude system
Known as:
Maude
The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen's…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Calculus of structures
Halting problem
List of programming languages by type
List of reflective programming languages and platforms
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Model checking linear temporal logic of rewriting formulas under localized fairness
K. Bae
,
J. Meseguer
Science of Computer Programming
2015
Corpus ID: 113254
2007
2007
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Matteo Casadei
,
Luca Gardelli
,
Mirko Viroli
FOCLASA
2007
Corpus ID: 7993217
2006
2006
Prototyping 3APL in the Maude term rewriting language
M. Riemsdijk
,
F. S. Boer
,
M. Dastani
,
J. Meyer
Adaptive Agents and Multi-Agent Systems
2006
Corpus ID: 6494161
This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude…
Expand
Highly Cited
2004
Highly Cited
2004
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
M. Clavel
,
J. Meseguer
,
Miguel Palomino
Workshop on Rewriting Logic and Its Applications
2004
Corpus ID: 6896688
2004
2004
Formal JVM Code Analysis in JavaFAN
Azadeh Farzan
,
J. Meseguer
,
Grigore Roşu
International Conference on Algebraic Methodology…
2004
Corpus ID: 204996
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive…
Expand
2004
2004
Implementing system BV of the calculus of structures in Maude
O. K. Gullari
2004
Corpus ID: 24880
System BV is an extension of multiplicative linear logic with a noncommutative self-dual operator. We first map derivations of…
Expand
Highly Cited
2001
Highly Cited
2001
Termination of on-demand rewriting and termination of OBJ programs
Salvador Lucas
ACM-SIGPLAN International Conference on…
2001
Corpus ID: 3009819
Declarative languages such as OBJ, CafeOBJ, and Maude use syntactic annotations to introduce replacement restrictions aimed at…
Expand
Review
2000
Review
2000
Building Equational Proving Tools by Reflection in Rewriting Logic
M. Clavel
,
F. Durán
,
S. Eker
,
J. Meseguer
2000
Corpus ID: 14483396
1998
1998
Reflection in general logics, rewriting logic, and Maude
M. Clavel
Workshop on Rewriting Logic and Its Applications
1998
Corpus ID: 94961
Highly Cited
1998
Highly Cited
1998
Reflection in general logics and in rewriting logic with applications to the maude languaje
M. Clavel
1998
Corpus ID: 169198891
La reflexion, entendida como la capacidad de representar nuestras ideas y de hacerlas objetos de nuestro propio pensamiento, ha…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE