A tool suite to support the development of specifications written in the ASFandSDF formalism. It includes parser and parser generator a structure editor an interpreter ...

E. Visser. A Survey of Strategies in Rule-Based Program Transformation Systems. Journal of Symbolic Computation, 40(1):831--873, 2005. Special issue on Reduction Strategies ...

Homepage: http://foothill.lcs.mit.edu/~arvind/ Hardware synthesis via term rewriting Transform.CategoryPeople

This page lists tools that are relevant to generative programming. Only brief descriptions of tools are given. For further information on the various tools, links ...

Implementation of Program Transformation Systems Here is a list of techniques that are used in the implementation of transformation systems LexicalAnalysis ProgramParsing ...

LRR: A Laboratory for Rapid Term Rewriting by RakeshVerma CategorySystem Main.EelcoVisser 20 Nov 2001

Homepage: http://www.dsic.upv.es/~rdp03/ Federated Conference on Rewriting, Deduction and Programming (RDP) to be held in Valencia, Spain, in June 2003 Participating ...

Homepage: http://www.cs.uh.edu/~rmverma/ LRR TermRewriting CategoryPeople

The Rewriting Calculus provides a combination of functional programming and term rewriting. http://www.loria.fr/~ckirchne/ rho/rho.html HoratiuCirstea ClaudeKirchner ...

Definitions Here are some attempts at definitions of rule-based programming. Feel free to comment or add your own. The rule-based programming paradigm is characterized ...

Name of the workshop on Rule Based Programming (RULE) Associated with PPDP The goals of the workshop The rule-based programming paradigm is characterized by the repeated ...

Ingredients of a Course on Transformation What should a good course on transformation offer? Existing Courses about Transformation A list of courses with transformation ...

Term rewriting is the process of simplifying symbolic expressions ( terms ) by means of a RewriteSystem, i.e., a set of RewriteRules. An example rewrite system is ...

This page collects links to systems that implement TermRewriting and related paradigms. See also the general list of TransformationSystems. Feel free to add links ...

Laemmel, Visser and Visser. The Essence Of Strategic Programming . Draft paper (October 15, 2002) (pdf,ps) Abstract programming is generic programming with the use ...

Topics in the implementation of ProgramTransformation: ProgramRepresentation AbstractSyntax HigherOrderAbstractSyntax ProgramParsing LexicalAnalysis ContextFreeParsing ...

There are many TransformationSystems available. This page contains an ordering of these systems by paradigm. TermRewriting Systems based on pure TermRewriting define ...

Tree rewriting is a synonym for rewriting, i.e., the process of transforming trees (structured data) into other trees by applying rewriting rules. tree rewriting is ...

Homepage: http://www.logic.at/wrs01/ International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) Deadline: March Conference: May Background ...

2002 ACM SIGPLAN Workshop on Rule-Based Programming Workshop Program Satellite event of PLI'02 Saturday, October 5, 2002 Pittsburgh, USA http://www.program-transformation ...