• Stratego

  • Referenced in 78 articles [sw01259]
  • Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling ... object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development...
  • VAMPIRE

  • Referenced in 264 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 ... performs a number of useful transformations before passing the result to the kernel. When...
  • TAMPR

  • Referenced in 6 articles [sw03197]
  • around. TAMPR supports program transformation by means of rewrite rules. A set of rewrite rules...
  • Spoofax

  • Referenced in 10 articles [sw16988]
  • semantics using rewrite rules, showing how analyses can be reused for transformations, code generation...
  • SPIRAL

  • Referenced in 48 articles [sw00903]
  • transform algorithms such as the fast Fourier transform. SPIRAL is capable of generating optimized implementations ... algebraic formulation of DSP algorithms, and rewrite rules to generate a large number of implementations...
  • AGREE

  • Referenced in 12 articles [sw23738]
  • algebraic graph rewriting with controlled embedding. The several algebraic approaches to graph transformation proposed ... item is preserved by a rule, so are its connections with the context graph where...
  • TXL

  • Referenced in 18 articles [sw11319]
  • source transformation language. TXL is a special-purpose programming language designed for creating, manipulating ... backtracking of both parsing and rewriting rules. Using first order functional programming at the higher...
  • ArpEgg

  • Referenced in 1 article [sw14213]
  • ArpEgg uses small sets of rewriting rules to transform input chords into complex, evolving streams...
  • KAM

  • Referenced in 1 article [sw00480]
  • formalisms supported by the tool transformation rules, frames, rewrite rules, generalized rules, are briefly described...
  • GMTE

  • Referenced in 2 articles [sw07046]
  • transformation. Also, the main problem of these tools lies on the limited expressiveness of rewriting ... and/or negatively increase the number of rewriting rules to be used. In this paper ... inexact graph matching. The approach of rewriting rules used by GMTE combines single pushout rewriting ... graph rewriting rules. In addition, for the graph matching, GMTE uses a conditional rule schemata...
  • MicroRogue

  • Referenced in 2 articles [sw13590]
  • term rewriting. The rewriting is explicit, in the sense that rules must be applied explicitly ... transform them. This paper begins with an imperative version of the rewriting calculus called Rogue ... MicroRogue. MicroRogue rewrites terms using a global set of first-order rules. Rules...
  • SymbolicUtils.jl

  • Referenced in 1 article [sw41450]
  • them propagate this information. A rule-based rewriting language can be used to find subexpressions ... transformations on the matches. The library also contains a set of useful simplification rules...
  • MEMSALab

  • Referenced in 2 articles [sw08622]
  • scales. In this paper we present a transformation language that will make the development ... Maple TM package for rule-based programming, rewriting strategies and their combination with standard Maple...
  • CafePie

  • Referenced in 1 article [sw09974]
  • this paper, we propose visualized term rewriting with more realistic expressions. With our approach, users ... they like by using visual transformation rules. These rules can also be edited using drag...
  • Polar

  • Referenced in 2 articles [sw07906]
  • framework based on graph rewriting and bidirectional transformations that is designed to be generic, extensible ... generic way. We use graph rewriting to enrich the meta-model with dependency information ... refactorings, which are written as declarative rewrite rules. Our framework, called Polar, is implemented...
  • Stream Fusion Code

  • Referenced in 1 article [sw28590]
  • between lists and streams. The Stream Fusion transformation itself is implemented as a simproc ... lists to prove the GHC compiler rewrite rules correct. In contrast, this work enables Isabelle...
  • Metatheory.jl

  • Referenced in 1 article [sw37953]
  • through an equality saturation algorithm. Intuitively, Metatheory.jl transforms Julia expressions in other Julia expressions ... formal systems, by defining concise rewriting rules in pure, syntactically valid Julia on a high...
  • LP2NORMAL2

  • Referenced in 1 article [sw33086]
  • extended rule types (choice rules, cardinality rules, and weight rules). Implementation: For the moment ... sorting circuits. Benchmark instances (168 MB) for rewriting optimization statements along with callscripts [BGJ16]. Benchmark...
  • ACL2

  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...