Transformation Systems

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

• BANE
• BauHaus
• BroadwayCompiler
• BURG

• CENTAUR^?
• CIP
• CKIT
• CocktailToolbox
• CodeCrawler
• Colm
• CompostFramework
• Columbus

• DERIVE
• DMSSoftwareReengineeringToolkit
• DiSTiL
• DOME
• DoraTools
• DracoSystem
• DracoPUC
• DrScheme

• ELAN
• ElegantLanguage
• ElkHound

• FermaT
• FreshML
• FormsToDotNet

• GCC
• GemMex
• GenericModelingEnvironment
• GRAMPS
• GSEE

• HaskellLanguage
• HaXml
• HATS
• HOPS

• InjectJ (Java Software Transformation System)
• IntentionalProgramming

• JaTS (Java Transformation System)
• JavaTreeBuilder
• Tools.JJForester
• JOIE

• KHEPERA
• KIDS

• LambdaProlog
• LegacyCare
• LxLanguage
• LPS

• MathematicaSystem^?
• MemphisTreeWalker
• MetaML
• MAG
• MAPTransformationSystem
• MaudeSystem
• MetaEditPlus
• MontagesFramework
• MozartDev

• NewJacc

• OPTIMIX
• OPTRAN

• PARLANSE
• PatternByExample
• PearColator
• PolyaSystem^?
• PopArt
• PortableBookShelf
• PropLanguage
• PumaLanguage
• PROSPECTRA

• ReasoningSystem^?
• RefactorySystem^?
• RigiSystem

• SciNapse
• Shimba^?
• SimilixSystem
• SmalltalkRefactory
• SourceAudit
• SpecWare
• StrategoXT
• SORCERER

• TabalugaSystem
• TAMPR
• TempoSpecializer
• TeyjusSystem
• Tom
• TrfL
• TXL (Tree Transformation Language)

• XDuce
• XRefactory
• XTRAN
• Tools.XT^?(transformation tools)

Other Collections of Systems

• Catalog of Compiler Construction Tools:
  • http://catalog.compilertools.net/
  • http://www.landfield.com/faqs/compilers/
• Posting on comp.compilers newsgroup
  • http://compilers.iecc.com/comparch/article/93-05-027
• Data Base of Rewriting Systems
  • http://www.loria.fr/equipes/protheo/SOFTWARES/ELAN/
• Google Web Directory
  • http://directory.google.com/Top/Computers/Programming/Compilers/
• Freek Wiedijk's overview of theorem provers
  • http://www.cs.kun.nl/~freek/digimath/
• ProgrammingToolsGroup Links
  • http://web.comlab.ox.ac.uk/oucl/research/areas/progtools/links.htm

See Also

• ProgramTransformationSurvey
• ImplementationOfTransformation
• ProgrammingLanguages

---

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