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]]
	* [[http://www-adele.imag.fr/~jmfavre/GSEE][GSEE]]

	* HaskellLanguage
	* HaXml
	* HATS
	* HOPS

	* [[http://injectj.sf.net][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
	* [[http://www.binarytranslator.org/][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