
Maude
 Referenced in 609 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 55 articles
[sw09812]
 whose basis is a constructor based rewriting logic with lazy nondeterministic functions...

ELAN
 Referenced in 100 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 268 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...

JavaFAN
 Referenced in 28 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...

DDebugger
 Referenced in 15 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...

PAGODA
 Referenced in 14 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...

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

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 9 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...

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

VAMPIRE
 Referenced in 193 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...

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...

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...

LMNtal
 Referenced in 9 articles
[sw07312]
 LMNtal as a hierarchical logic programming language. LMNtal (pronounced “elemental”) is a simple language ... model based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes ... Rules, the two notable extensions to concurrent logic programming. LMNtal is intended ... especially those addressing concurrency, mobility and multiset rewriting. Although the principal objective of LMNtal...

PetriPDL
 Referenced in 3 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...

CiME
 Referenced in 34 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...

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