
ELAN
 Referenced in 108 articles
[sw02179]
 deduction systems in a language based on rules controlled by strategies. Its purpose ... rewriting. But rewriting is inherently nondeterministic since several rules can be applied at different ... control on rules application. This is in contrast to many existing rewritingbased languages where ... strategy operators and define them by rewrite rules. Evaluation of strategy application is itself based...

Stratego
 Referenced in 74 articles
[sw01259]
 program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies ... object language, and dynamic rewrite rules for expressing contextsensitive transformations, thus supporting the development...

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

K Prover
 Referenced in 41 articles
[sw32257]
 defined, making use of configurations, computations and rules. Configurations organize the system/program state in units ... original language or calculus syntax. K (rewrite) rules generalize conventional rewrite rules by making explicit ... handled like any other terms in a rewriting environment, that is, they can be matched...

SPIRAL
 Referenced in 46 articles
[sw00903]
 algebraic formulation of DSP algorithms, and rewrite rules to generate a large number of implementations...

OTTER
 Referenced in 314 articles
[sw02904]
 rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term...

ProVerif
 Referenced in 41 articles
[sw06558]
 Hellman key agreements, specified both as rewrite rules or as equations. It can handle...

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

TXL
 Referenced in 17 articles
[sw11319]
 backtracking of both parsing and rewriting rules. Using first order functional programming at the higher ... such as XML markup, rewriting strategies and contextualized rules, without any change...

dedukti
 Referenced in 18 articles
[sw13663]
 calculus with the addition of typed rewrite rules, capable of expressing proofs in Deduction Modulo...

K tool
 Referenced in 17 articles
[sw09746]
 𝕂 framework distilled. 𝕂 is a rewritebased executable semantic framework in which programming languages ... defined using configurations, computations and rules. Configurations organize the state in units called cells, which ... such as fragments of program. 𝕂 (rewrite) rules make it explicit which parts ... like any other terms in a rewriting environment: they can be matched, moved from...

DDebugger
 Referenced in 15 articles
[sw09904]
 change that extends MEL by adding rewrite rules, which correspond to transitions between states ... rewriting logic, and rewrites and sets of reachable terms through rules. We use an abbreviation ... Maude, a highperformance system based on rewriting logic. We illustrate its use with...

HOCL
 Referenced in 8 articles
[sw07078]
 commutative, conditional rewritings of multisets where rewrite rules and multisets represent chemical reactions and solutions ... First, multisets are generalised to include rewrite rules, which become firstclass citizens. This extension...

Spoofax
 Referenced in 11 articles
[sw16988]
 spoofax language workbench: rules for declarative specification of languages and IDEs. Spoofax is a language ... level specifications of language semantics using rewrite rules, showing how analyses can be reused...

VAMPIRE
 Referenced in 239 articles
[sw02918]
 superposition for handling equality. The splitting rule and negative equality splitting are simulated ... tautology deletion (optionally modulo commutativity), subsumption resolution, rewriting by ordered unit equalities, and a lightweight...

Cardinal
 Referenced in 10 articles
[sw06999]
 formally presented as a set of rewriting rules on a constraint store and we illustrate...

TAMPR
 Referenced in 6 articles
[sw03197]
 supports program transformation by means of rewrite rules. A set of rewrite rules is used...

Tyrolean
 Referenced in 89 articles
[sw07830]
 automatically proving (and disproving) termination of term rewrite systems. It is the completely redesigned successor ... projection and subterm criterion, uncurrying, and usable rules...

JITty
 Referenced in 5 articles
[sw10121]
 order of normalizing arguments and applying rewrite rules. Strategy annotations are checked for correctness...

JSetL
 Referenced in 5 articles
[sw29267]
 create their own constraints and define rewrite rules for them. This means that the JSetL...