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

Homepage: http://dev.ajubasolutions.com/ Tcl stands for Tool Command Language. Tcl is really two things: a scripting language, and an interpreter for that language ...

IEEE Technical Council on Software Engineering. See http://www.tcse.org/

TEXINPUTS is the environment variable that contains a list of paths to directories containing tex or LaTeX input.

TL is an open-source template language using Java and the XPath language of XML as described in Chapter 12 of ProgramGeneratorsWithXMLAndJava. See http://www.craigc ...

ACM Transactions on Programming Languages and Systems http://www.cs.wustl.edu/~toplas/ CategoryJournal

ACM Transactions on Software Engineering and Methodology (TOSEM) http://www.acm.org/tosem/ CategoryJournal

IEEE Transactions on Software Engineering http://computer.org/tse/ CategoryJournal

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

TXL Software Research Inc. is the company that distributes and supports TXL Homepage: http://www.thetxlcompany.com/thecompany.html

Homepage: http://staff.science.uva.nl/~kort/tabaluga/ Tabaluga is a system for programming transformations in HaskellLanguage. It is a paramorphic fold and algebra ...

Tactical Strategy Group, Inc. is a management consulting firm specializing in organizational and information transformation strategies. See http://www.systemtransformation ...

A function call as the last action of function body can be optimized by overwriting the stack frame of the caller. The callee returns directly to the caller of its ...

Tail recursion elimination is a special case of call elimination in which the tail call is a call to the function itself. In that case the call can be replaced by ...

With the advent of set top boxes, mobile software, and other factors, software authors are wanting to create applications that are resistant to reverse engineering ...

Tarja Systa, http://www.cs.tut.fi/~tsysta/ CategoryPeople

Homepage: http://greta.cs.ioc.ee/~tarmo/ WarmFusion VarmoVene CategoryPeople

http://web.cecs.pdx.edu/~sheard/staged.html An analysis of different kinds of MetaProgramming systems by TimSheard. Main.MaD 02 Jan 2008 CategoryPaper CategoryTaxonomy ...

Makoto Murata, Dongwon Lee and Murali Mani Abstract Taxonomy of XML Schema Languages using Formal Language Theory On the basis of regular tree languages, we present ...

http://www.tcse.org/revengr/ derived/home.htm cmp indust110 bnr.gif The IEEE TCSE Committee on ReverseEngineering and ReEngineering This committee, chaired by CristinaCifuentes ...

Ingredients of a Course on Transformation What should a good course on transformation offer? Existing Courses about Transformation A list of courses with transformation ...

What should a course on SoftwareEvolution cover? The CCSE initiative has recognized software evolution as a separate knowledge area . The second draft of this initiative ...

Template Haskell Website Template Haskell at the Haskell Wiki Implementation Template Haskell is available in GHC 6.0 Publications Papers on Template-Haskell Template ...

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

Terence John Parr is the designer and implementer of ANTLR, SORCERER and PCCTS. See http://www.antlr.org CategoryPeople

Term rewriting is the process of simplifying symbolic expressions ( terms ) by means of a RewriteSystem, i.e., a set of RewriteRules. An example rewrite system is ...

Papers StaticAnalysisTechniquesForEquationalLogicProgramming

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

The IFIP International Conference on Testing of Communicating Systems http://www.fokus.fhg.de/events/testcom2002 Conference: March Deadline: September CategoryConference ...

Homepage: http://teyjus.cs.umn.edu/ They Teyjus system is a compiler and abstract machine for the LambdaProlog language. LambdaProlog provides control over data with ...

Laemmel, Visser and Visser. The Essence Of Strategic Programming . Draft paper (October 15, 2002) (pdf,ps) Abstract programming is generic programming with the use ...

The 4+1 View Model of Architecture Philippe Kruchten, Rational Software, Canada IEEE Software, November 1995, 12 (6), pp.42-50 The 4+1 View Model organizes a description ...

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

The TAMPR Program Transformation System: Simplifying the Development of Numerical Software by J. M. Boyle, T. J. Harmer and V. L. Winter In E. Arge, A.M. Bruaset ...

obsolete

Homepage: http://www.pst.informatik.uni-muenchen.de/~fruehwir/ WorkshopOnRuleBasedProgramming CategoryPeople

See Main.ThreadMode Main.EelcoVisser 14 Oct 2001

Name: Tiago Assumpcao Email: module@whatever.org.ar Homepage: http://whatever.org.ar/~module Country: Brazil Comment:

Homepage: http://www.cse.ogi.edu/~sheard/ MetaML CategoryPeople

If you have trouble typing tabs in EditText you can do one of these things: Check I can't type tabs. The computer will ConvertSpacesToTabs for you when you save. Try ...

First Tip: Find something what your are interested in and then make your contribution by adding text to a current page (like this one) or adding a link to a current ...

TkSeeSN is a C/C++ extractor with TA++ and GXL output. It is based on SourceNavigator. http://www.site.uottawa.ca:4333/dmm/

Homepage: http://www.cwi.nl/~kuipers/ JJForester

Homepage: http://research.microsoft.com/~toddpro/ Designer of BURG and other things CategoryPeople

Things todo for the Tansform wiki! (feel free to do them) (When discussing one of the todo items, please TurnIssuesIntoTopics) Wiki Content Issues PromotingParticipation ...

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

-- Main.TomMens 08 August 2004 Tom Mens lectures at the University of Mons-Hainaut, where he directs the Software Engineering Laboratory since October 2003. Until ...

Homepages http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html http://research.microsoft.com/~thoare/ PlayingByTheRules CategoryPeople

Application Areas Compiling ProgramTranslation ProgramOptimization SoftwareEngineering ProgramRefinement SoftwareMaintenance ReverseEngineering HighPerformanceComputing ...

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

Description Several companies provide products or services based on program analysis and transformation technology AbsInt AbsoftCompany AllenSystemsGroup (Viasoft ...

Conferences and Workshops on Program Transformation Transform-based Events Events with their home page on this wiki. Feel free to use this wiki to host the webpage ...

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

Here are some research groups that work on program transformation, ordered by region. Netherlands Software Technology Group (Universiteit Utrecht), http://www.cs.uu ...

Topics in the implementation of ProgramTransformation: ProgramRepresentation AbstractSyntax HigherOrderAbstractSyntax ProgramParsing LexicalAnalysis ContextFreeParsing ...

Journals with an interest in ProgramTransformation ACM AppliedComputingReview ACM Transactions on Programming Languages and Systems ( ACM Transactions on Software ...

pept@yl.is.s.u-tokyo.ac.jp http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pept/ rewriting@ens-lyon.fr http://www.loria.fr/~vigneron/RewritingHP/ stratego@cs.uu.nl http: ...

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

This page provides a list of papers that are discussed at ProgramTransformationOrg. See the TransformationBibliography for other bibliographies in the area of ProgramTransformation ...

A ProgramTransformation paradigm is an area of application of TransformationTechniques. Paradigms that are employed in compilers and other automatic language processors ...

The following people are somehow related to ProgramTransformation. Note that the list is by no means complete. Please add anyone (including yourself) to the list, ...

TransformationReviews is a collection of reviews of papers about program transformation. If you have read a paper that is relevant to the area, feel free to contribute ...

A transformation rule is a description (in some formal language) of the transformation of (a part of) a program. Many formal languages for the description of transformation ...

Definition TransformationStrategies are programs that determine the order for application of TransformationRules. Tools The following ProgramTransformationTools support ...

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

An overview of various forms of ProgramTransformation. Translation ProgramMigration ProgramSynthesis ProgramRefinement ProgramCompilation ReverseEngineering DeCompilation ...

Tree Traversal MemphisTreeWalker

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

The Tuple-Attribute language (TA)is based on the RSF triple notation. Edges and nodes are specified identically to RSF. Nodes and types can be attributed. Attributes ...

A page may contain many issues to avoid nested ThreadMode turn the issue into a TWiki.WikiWord and continue discussion there. CategoryWiki

Type-based program analysis is a form of ProgramAnalysis in which type information is used to infer properties of a program. JensPalsberg, Type-Based Analysis and ...