• ELAN

  • Referenced in 108 articles [sw02179]
  • deduction systems in a language based on rules controlled by strategies. Its purpose ... rewriting. But rewriting is inherently non-deterministic since several rules can be applied at different ... control on rules application. This is in contrast to many existing rewriting-based 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 context-sensitive 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 mark-up, 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 rewrite-based 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 high-performance 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 first-class 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...