Transformation Systems
Program-Transformation.Org: The Program Transformation Wiki
A program transformation system is a (collection of) tool(s) for implementing
ProgramTransformations.
Survey of Transformation Systems
There are many transformation systems. One of the reasons for setting up ProgramTransformationOrg was to get some overview of the plethora of systems.
Below is a list of systems ordered by alphabet. To get more insight in the relationships between systems, the TransformationSystemTaxonomy groups systems based on their characteristics.
Ordered Alphabetically
- AcaCia
- ActionSemantics
- ADATE
- Amphion
- ANGIEGenerationNow!
- ANTLR
- APTS
- ASFandSDF
- AST?
- ASTLOG
- AttributeGrammar
- ATXSoftwareIntegrationArchitecture
- AspectOrientedProgramming
- ASQ
- InjectJ (Java Software Transformation System)
- IntentionalProgramming
- JaTS (Java Transformation System)
- JavaTreeBuilder
- Tools.JJForester
- JOIE
- MathematicaSystem?
- MemphisTreeWalker
- MetaML
- MAG
- MAPTransformationSystem
- MaudeSystem
- MetaEditPlus
- MontagesFramework
- MozartDev
- PARLANSE
- PatternByExample
- PearColator
- PolyaSystem?
- PopArt
- PortableBookShelf
- PropLanguage
- PumaLanguage
- PROSPECTRA
- ReasoningSystem?
- RefactorySystem?
- RigiSystem
- TabalugaSystem
- TAMPR
- TempoSpecializer
- TeyjusSystem
- Tom
- TrfL
- TXL (Tree Transformation Language)
- XDuce
- XRefactory
- XTRAN
- Tools.XT?(transformation tools)
- Catalog of Compiler Construction Tools:
- Posting on comp.compilers newsgroup
- Data Base of Rewriting Systems
- Google Web Directory
- Freek Wiedijk's overview of theorem provers
- ProgrammingToolsGroup Links
For commercial ReEngineering tools, see also http://www.comp.lancs.ac.uk/projects/renaissance/Reengineering/Tools2.html in the RenaissanceWeb For freely available tools see the ProgramUnderstandingToolsDirectory.
CategorySystem | CategoryTransformation | CategoryCollection