
Maude
 Referenced in 537 articles
[sw06233]
 system supporting both equational and rewriting logic specification and programming for a wide range ... specification and programming, Maude also supports rewriting logic computation...

TOY
 Referenced in 42 articles
[sw09812]
 whose basis is a constructor based rewriting logic with lazy nondeterministic functions...

ELAN
 Referenced in 89 articles
[sw02179]
 support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... function evaluation principle based on rewriting. But rewriting is inherently nondeterministic since several rules ... wellknown paradigm of rewriting provides both the logical framework in which deduction systems...

OTTER
 Referenced in 236 articles
[sw02904]
 prove theorems stated in firstorder logic with equality. Otter’s inference rules are based ... paramodulation, and it includes facilities for term rewriting, term orderings, KnuthBendix completion, weighting ... research in abstract algebra and formal logic. Otter and its predecessors have been used...

DDebugger
 Referenced in 14 articles
[sw09904]
 Declarative debugging of rewriting logic specifications. Declarative debugging is a semiautomatic technique that starts ... characterizing the elements of a sort. Rewriting logic is a logic of change that extends ... sorts with the equational subset of rewriting logic, and rewrites and sets of reachable terms ... highperformance system based on rewriting logic. We illustrate its use with an example...

JavaFAN
 Referenced in 22 articles
[sw01934]
 semantics of Java and JVM in rewriting logic and then using the capabilities of Maude ... execution, search and LTL model checking of rewriting theories...

PAGODA
 Referenced in 11 articles
[sw08569]
 rewriting logic framework for soft constraints. Soft constraints extend classical constraints to deal with ... Bistarelli, Montanari and Rossi in rewriting logic. As a case study we present an application ... implement the solution in our prototypical rewriting logic framework for soft constraints, and embed...

APS
 Referenced in 29 articles
[sw08969]
 computations: procedural, functional, algebraic (rewriting rules) and logical. All of them may be used ... discussed. These include data structures, algebraic modules, rewriting and computing, canonical forms, tools for building...

JPAX
 Referenced in 8 articles
[sw09906]
 user in the Maude rewriting logic, where Maude is a highspeed rewriting system ... here extended with executable temporal logic. The Maude rewriting engine is then activated...

MOMENT2
 Referenced in 10 articles
[sw10025]
 Modeling Framework using graph transformation and rewriting logic techniques. We illustrate our approach...

MMT
 Referenced in 10 articles
[sw07905]
 semanticspreserving mapping between MSOS and rewriting logic (RWL). The modular SOS definition formalism (MSDF...

WebTLR
 Referenced in 8 articles
[sw09905]
 applications which is based on rewriting logic. Web applications are expressed as rewrite theories which...

iJulienne
 Referenced in 5 articles
[sw09903]
 Slicingbased trace analysis of rewriting logic specifications with iJulienne. We present iJulienne, a trace ... analyzer for conditional rewriting logic theories that can be used to compute abstract views...

DistOrc
 Referenced in 5 articles
[sw10063]
 been proposed for Orc, including a rewriting logic semantics developed by the authors. Orc also ... describe an implementation technique based on rewriting logic and Maude that narrows this gap considerably...

VAMPIRE
 Referenced in 177 articles
[sw02918]
 automatic theorem prover for firstorder classical logic. It consists of a shell ... tautology deletion (optionally modulo commutativity), subsumption resolution, rewriting by ordered unit equalities, and a lightweight ... problem in the full firstorder logic syntax, clausifies it and performs a number...

Anima
 Referenced in 4 articles
[sw10101]
 Inspecting rewriting logic computations (in a parametric and stepwise way). Trace inspection is concerned with ... technique for the trace inspection of Rewriting Logic theories that allows the nondeterministic execution...

HImaude
 Referenced in 4 articles
[sw09753]
 continuous behaviors. HIMaude is a rewritinglogicbased tool that supports an objectoriented...

CBabel
 Referenced in 2 articles
[sw07520]
 level contracts in CBabel ADL. A rewriting logic semantics for the software architecture description language ... that implements the given CBabel’s rewriting logic semantics and allows the execution and verification ... Maude system, an implementation of rewriting logic. In this way, software architectures describing complex applications...

CiME
 Referenced in 30 articles
[sw09970]
 CiME is a rewriting toolbox. Distributed since 1996 as open source, at URL http://cime.lri.fr ... logic programs; the MUTERM tool (http://www.dsic.upv.es/ slucas/csr/termination/muterm/ ) for termination of contextsensitive rewriting...

PetriPDL
 Referenced in 2 articles
[sw15081]
 Towards reasoning in dynamic logics with rewriting logic: the PetriPDL case. Safety ... variety of scenarios increase with complexity. Dynamic Logics (DL) present a large body of techniques ... presents a prototype implementation, in the Rewriting Logic language Maude, of a bounded model checker ... Kripke models as rewrite theories defined for the Linear Temporal Logic model checker available...