
Maude
 Referenced in 666 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 108 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...

JPAX
 Referenced in 29 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...

OTTER
 Referenced in 314 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 31 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...

RRL
 Referenced in 55 articles
[sw28904]
 overview of Rewrite Rule Laboratory (RRL). RRL (Rewrite Rule Laboratory) was originally developed ... automated reasoning algorithms for equational logic based on rewrite techniques. It has now matured into...

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

KOOL
 Referenced in 7 articles
[sw32263]
 KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. This paper presents KOOL ... dynamic, objectoriented language defined in rewriting logic. KOOL has been designed as an experimental ... advantage of the flexibility provided by rewriting logic, which allows for the rapid prototyping ... extensions and the underlying capabilities of rewriting logic. This support is illustrated with several examples...

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

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

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

Java+ITP
 Referenced in 8 articles
[sw32259]
 supports compositional reasoning in a Hoare logic for this Java fragment that we propose ... extensible and modular rewriting logic semantics of programming languages, for which CPS axiomatizations are indeed...

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