JJForester is a combined parser generator, tree builder, and visitor generator for Java. Its features include: Sdf.GeneralizedLR parsing, using the Sdf.SGLR parse ...

Homepage: http://cs.nyu.edu/~jessie/apts.html APTS is a the Abstract Program Transformation System developed by RobertPaige. CategorySystem Contributions by Main ...

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

Acacia, the C++ Information Abstraction System, is a collection of analysis and ReverseEngineering tools for CPP developed by AT T . CCia creates a program database ...

Homepage: http://www.cs.berkeley.edu/Research/Aiken/bane.html The Berkeley ANalysis Engine (BANE) is a toolkit for constructing program analyses such as dataflow ...

BURG is a system for CodeGeneration from IntermediateRepresentation expression trees developed by ChristopherFraser, ToddProebsting and others in the early 90's. Papers ...

Software architecture, Software ReEngineering, and ProgramUnderstanding Research project at the University of Stuttgart, see http://www.informatik.uni-stuttgart.de ...

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

CodeCrawler is a language independent ReverseEngineering tool for systems written in ObjectOrientedProgrammingLanguages which combines metrics and SoftwareVisualization ...

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

DERIVE: a tool to ReverseEngineering instruction encodings http://www.cs.utah.edu/~wilson/papers/derive-usenix01.html Source: http://www.cs.utah.edu/~wilson/derive ...

DOME (the DOmain Modeling Environment) is a meta-CASE system. It has a graphical domain modeling evironment (DTS editor). With the DTS editor a meta-model is defined ...

DocGen is a DocumentationGeneration tool aimed at redocumenting LegacySystems written in languages such as COBOL, DB2, JCL, as well as proprietary languages. It is ...

Homepage: http://www.cs.rice.edu/CS/PLT/packages/drscheme/ DrScheme is an interactive programming environment for SchemeLanguage. CategorySystem Main.EelcoVisser ...

The Draco system was the first to pioneer with DomainSpecificLanguages employing ProgramTransformation for their implementation. The system featured parser and pretty ...

Homepage: http://www.haley.com/0288108556162049/Eclipse.html PaulHaley CategorySystem Main.EelcoVisser 20 Nov 2001

GEARS, a product of BigLeverSoftware, provides infrastructure and a development environment for creating software mass customization product lines. Main.JoostVisser ...

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

HeVeA is a translator for LaTeX to HTML written in CAML. CategorySystem

An ongoing project to use higher order abstract syntax and higher order logic programming for compiler implementation by ChuckLiang http://cs.hofstra.edu/~cscccl/hocompiler ...

Homepage: http://www.ilog.com/products/rules/ CategorySystem Main.EelcoVisser 20 Nov 2001

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

Homepage: http://www.ecs.soton.ac.uk/~mal/systems/logen.html LOGEN is an offline partial evaluation system for Prolog written using the so called "cogen approach ...

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

Description MAG is a small transformation system for a subset of Haskell developed by OegeDeMoor and GaneshSittampalam. Homepage http://web.comlab.ox.ac.uk/oucl/research ...

Homepage: http://maude.csl.sri.com/ Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming ...

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

Description of the language R++ from http://www.research.att.com/sw/tools/r++/ : R++ extends the C++ language with a single new programming construct the rule. In ...

Homepage: http://www.isi.edu/software-sciences/wile/Popart/popart.html (Dead link, possible substitution: http://mr.teknowledge.com/wile/popart.html) Popart provides ...

PBS: The Portable Bookshelf Introduction The Software Bookshelf is a web-based paradigm for the presentation and navigation of information representing large software ...

ReverseEngineering system to extract, navigate, analyze and document the static structure of large software systems. http://rigi.uvic.ca/Media/howpic1.gif The topics ...

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

SORCERER is the tree parser generator of ANTLR. Papers TerenceParr. Language Translation Using PCCTS and CPP. A Reference Guide. Automata Publishing Company, San Jose ...

The ProgramSynthesis system of SciComp CategorySystem Contributions by Main.EelcoVisser

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

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

There are many tools for editing UML diagrams. I conducted a little comparison to find a good tool to use in a software engineering course in the Spring of 2000. This ...

Homepage: http://www.xref-tech.com/ XRefactory is a refactoring browser/editor for C and Java based on XEmacs CategorySystem Main.EelcoVisser 03 May 2001