
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 contextsensitive 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 specialpurpose 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 firstorder rules. Rules...

SymbolicUtils.jl
 Referenced in 1 article
[sw41450]
 them propagate this information. A rulebased 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 rulebased 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 metamodel 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...