A new revision of this paper is available under the title Survey of Strategies in Rule Based Program Transformation Systems. Main.EelcoVisser 12 Mar 2004 Main.EelcoVisser ...

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 ...

An attempt to automate software reuse at NASA, particularly for domain specialists who are unfamiliar with available software libraries. They implemented a system ...

Branch Coverage For Arbitrary Languages Made Easy: Transformation Systems To The Rescue! by IraBaxter of SemanticDesigns, Inc. http://www.semdesigns.com Abstract ...

ckit is a C front end written in SML that translates CProgrammingLanguage source code (after preprocessing) into abstract syntax represented as a set of SML datatypes ...

The category of TransformationSystems. SEARCH{"CategorySystem" format " $topic " nosearch "on" noheader "on"} CategoryCategory

Colm: COmputer Language Manipulation Homepage: http://www.complang.org/colm/ Colm is a programming language designed for the analysis and transformation of computer ...

See FrontEndART for details. Main.RudolfFerenc 07 Jan 2003

Draco-PUC is a transformation system based on the original DracoSystem. http://www.inf.puc-rio.br/~draco/ Main.EelcoVisser 20 Feb 2004

Homepages http://eelcovisser.org Stratego.EelcoVisser ProgramTransformation interests Taxonomy Systems Strategies Organization on Rule Based Programming ProgramTransformationOrg ...

Elkhound is a parser generator based on the GLR algorithm. See http://www.cs.berkeley.edu/~smcpeak/elkhound/ Main.EelcoVisser 03 Jan 2003

Functional Transformation Systems by JanKort, RalfLaemmel, and JoostVisser Available: Draft 1 . From Citeseer: paper.

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 ...

Description Intentional programming developed at Microsoft Research Ait98 is a method for extending a language with new constructs or intentions . The meaning of ...

Transformation system for the Java programming language. Program transformation is a powerful technique for supporting software engineering activities: refactoring ...

Program transformation systems for Java programs (that is, Java is the object language) usually operate on an abstract syntax representation of the Java source code ...

Java is an object-oriented language. http://www.java.sun.com/ Compilers Decompilers Dynamic Compilers Native Compilers Transformation Systems Parser Generators Transformation ...

Homepage: http://lsi.uniovi.es/~labra/LPS/LPS.html LPS is a LanguagePrototyping System based on ModularMonadicSemantics and GenericProgramming A Language Prototyping ...

LX is a general purpose compiled programming language, like C, C++, Pascal, Ada or Eiffel. As a language, LX has many interesting features. But what makes it interesting ...

Homepage: http://www.cse.ogi.edu/PacSoft/projects/metaml/ MetaML is an extension of SMLofNJ with MetaProgramming features that support the construction, manipulation ...

Description OPTIMIX is a specification language for the specification of optimizers based on graph rewriting developed by UweAssman at the University of Karlsruhe ...

Here is a list of other websites with collections of information related to ProgramTransformation: RewritingHomePage A Directory of Program Transformation Systems ...

Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ...

Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ...

TransformationSystems usually work on tree of graph structured ProgramRepresentations. A parser analyzes the syntactic structure of a program text and produces a structured ...

Description This page discusses terminology, principles, and issues concerning tools for ProgramTransformation. Principles ProgramTransformationTools have much in ...

Homepage: http://www.cs.nyu.edu/leunga/prop.html Prop is a multiparadigm extension of C++, and is designed for building high performance compiler and language transformation ...

Description Puma Grosch91 is the program transformation generator of the Coctail compiler toolkit. A Puma specification specifies a transformation of an abstract ...

A parser is an essential component of a TransformationSystem. It is often a considerable investment to develop a good syntax definition for use in a transformation ...

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 ...

This page collects links to systems supporting RuleBasedProgramming. Feel free to add missing links. TermRewritingSystems TransformationSystems ObjectOrientedRules ...

See FrontEndART for details. Main.RudolfFerenc 10 Aug 2004

Strategies play an important role in ProgramTransformation. The purpose of this survey is to get an overview of the styles of strategies used in various TransformationSystems ...

StrategoXT is the combination of the transformation language Stratego with the XT toolset for constructing transformation systems. Capabilities include: rewrite rules ...

TAMPR (Transformation Assisted Multiple Program Realisation System) is one of the earliest TransformationSystems around. Description TAMPR supports program transformation ...

TXL: Tree Transformation Language Homepage: http://www.txl.ca/ The TreeRewriting language TXL (developed by JamesCordy at Queen's University in Kingston, Canada) ...

From http://compose.labri.u-bordeaux.fr/prototypes/tempo/ : evaluation is a transformation that automates a specialization process. Tempo is a partial evaluator for ...

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

ProgramTransformation techniques are used in a many areas of SoftwareEngineering ranging from ProgramSynthesis, via ProgramOptimization and ProgramRefactoring, to ...

Tom is a pattern matching compiler for Tree and XML based transformations in Java. Homepage: http://tom.loria.fr Contact: Tom tom-users@loria.fr Influences ELAN ASFandSDF ...

Bibliographies TransformationReviews ResearchIndex on program transformation : http://citeseer.nj.nec.com/cs?q program+transformation cs 1 Bibliography on partial ...

A TransformationFramework is a collection of standard components for creating ProgramTransformationSystems for some language. (Is A TransformationFramework the same ...

Jonne van Wijngaarden and Visser. Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation ...

TransformationSystem: see TransformationSystems.

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

A program transformation system is a (collection of) tool(s) for implementing ProgramTransformations. Survey of Transformation Systems There are many transformation ...

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-sop.inria.fr/croap/personnel/Christophe.Roudet/TrfL/ TrfL is a rule based language designed for program transformations. For the end-user, TrfL ...

Description Updatable folds are a notion connected to FunctionalTransformationSystems. Explanation The bottom-up traversal scheme associated to a multi-sorted signature ...

INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ...

Home Surveys Transformation Reengineering DSL Domain Engineering Decompilation Generative Progr. Collections Categories Systems Conferences People Companies Papers ...

See also the announcements about specific systems in SystemNews. STARTINCLUDE STOPINCLUDE 2007-01-08 program-transformation.org is back online after absence for a ...

The following settings are web preferences of the TWiki.Transform web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can ...

Statistics for TWiki.Transform Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb ...

Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2001 21983 530 0 2861 1006 WebHome ...

Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2002 1978 21 0 580 ReengineeringWikiSiteMap ...

The XTWikiWiki is the common substrate for a number of sites on various aspects of ProgramTransformation, ranging from a general survey of the field in TheOnlineSurveyOfProgramTransformation ...

Quoting from http://www.xtran-llc.com/xtran.html : XTRAN is a proprietary expert system for symbolic manipulation of computer languages, including: Assemblers Third ...