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

A new revision of this paper is available under the title Survey of Strategies in Rule Based Program Transformation Systems. Main.EelcoVisser 12 Mar 2004 Main.EelcoVisser ...

E. Visser. A Survey of Strategies in Rule-Based Program Transformation Systems. Journal of Symbolic Computation, 40(1):831--873, 2005. Special issue on Reduction Strategies ...

The DeCompilation Wiki pages are a part of the program transformation Wiki. They are based on Cifuentes' decompilation pages (1998 2001), which were based on pages ...

Description Application extraction is a ProgramTransformation technique that aims at reducing the size of a program by removing (library) code that is not used in ...

I work at CWI, Amsterdam see http://www.cwi.nl/~arie/ Since this ProgramTransformation wiki covers many topics related to reverse and reengineering, and since these ...

Aspect-Oriented Programming by GregorKiczales, JohnLamping, AnuragMendhekar, ChrisMaeda, ChristinaVideiraLopes, JeanMarcLoingtie and JohnIrwin. In Proceedings of ...

Decompilation from assembly language is easier than decompiling native executable (machine code) programs, but harder than decompiling programs compiled to virtual ...

The category of companies offering ProgramTransformation products or services. Click on the title to get them. SEARCH{search "CategoryCompany" nosummary "on" scope ...

The category of conferences in the area of ProgramTransformation. TransformationConferences has conferences ordered by submission deadline. SEARCH{search "CategoryConference ...

CategoryLanguage is the category of ProgrammingLanguages that are subject to ProgramTransformation. SEARCH{search "CategoryLanguage" nosummary "on" scope "text" noheader ...

Editors (TWikiUsers) The following is a list of registered users , i.e., the editors that created the content on this site. All it takes to become an editor is to ...

CategoryTeaching: pages devoted to teaching ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTeaching" nosummary "on" scope "text" noheader "on ...

The category of topics related to ProgramTransformation. Click on the title to get them all. CategoryCategory

CategoryTutorial: Category of tutorial articles in the areas of ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTutorial" nosummary "on" scope ...

Code generation (also called selection) is a transformation performed in the back-ends of compilers. At this state of compilation representation expressions are transformed ...

This tool is a scripting language (distributed under LGPL at http://www.codeworker.org) dedicated to automate the development process, from requirements specification ...

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

Homepage: http://i44w3.info.uni-karlsruhe.de/~compost/ Compost is a framework for program transformation and analysis implemented in Java. UweAssman OPTIMIX

Decompilation is a ProgramTransformation by which a high-level source code for an executable program is discovered. Decompilation is the inverse of ProgramCompilation ...

Deforestation is a ProgramTransformation that eliminates intermediate data-structures (trees). The technique was invented by PhilipWadler for optimization of functional ...

Question 38.4 of the C++ FAQ LITE demonstrates a typical negative reaction to the basic question "how can I decompile a C++ executable file?". I don't mean any offense ...

Is Decompilation Possible? Almost every week requests for decompilation programs are made in newsgroups (like comp.lang.c), and these are usually replied with: It ...

In a poorly designed decompiler (including all current decompilers and also disassemblers), a graphical user interface (GUI) or equivalent (e.g. Sourcer's specification ...

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

Homepage: http://www.dynamicaspects.com Developing the domain/object platform. domain/object is a new kind of execution environment that blurs the traditional distinctions ...

Homepages http://eelcovisser.org Stratego.EelcoVisser ProgramTransformation interests Taxonomy Systems Strategies Organization on Rule Based Programming ProgramTransformationOrg ...

This ProgramTransformationOrg Wiki is a collaborative effort to collect and disseminate information on various aspects of ProgramTransformation, ranging from a general ...

Description FermaT is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming ...

FermaT is developed by Software Migrations Ltd, based on the work of Martin Ward (Martin.Ward@durham.ac.uk). FermaT is an industrial strength program transformation ...

The Free On-Line Dictionary of Computing on ProgramTransformation: http://www.foldoc.org/foldoc/foldoc.cgi?program+transformation

Description Functional programming languages can be used as a platform for program transformation in particular and transformational programming in general. A transformation ...

Homepage: http://cs-www.cs.yale.edu/homes/taha/gpce/cfp02.html The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02) A ...

This page list people that are or have been active in the field of Generative Programming. For each person, a brief characterisation of his/her GP activities is given ...

Homepage: http://www.dsic.upv.es/~gvidal GermanVidal interests: multi-paradigm (functional logic) languages, program transformation, partial evaluation, slicing, ...

Grammar engineering is a form of ProgramTransformation applied to grammars or SyntaxDefinitions to improve tree structure, to adapt the language defined, or to convert ...

You can use this page to give your opinions on this Wiki: tell us what you think! The ReengineeringWiki is rather incomplete and biased towards the current users. ...

Homepage: http://faculty.ist.unomaha.edu/winter/hats-uno/HATSWEB/index.html A framework for doing higher-order strategic programming. Supports rules and strategies ...

Homepage: http://www.cas.mcmaster.ca/~kahl/HOPS/ HOPS (the Higher Order Programming System) is a graphically interactive program development and program transformation ...

Haskell is a general purpose lazy programming language. The language is a grateful subject of transformation. Program transformations play a prime role in GHC, the ...

History of Decompilation (1980-1999) See also On the Inverse of Compiling, April 1980. #TopicZebra Zebra, 1981 The Zebra prototype was developed at the Naval Underwater ...

Implementation of Program Transformation Systems Here is a list of techniques that are used in the implementation of transformation systems LexicalAnalysis ProgramParsing ...

Inject/J Weaving scripts Source-to-Source Transformation In The Large Additional resources: Website Inject/J Tutorial Inject/J Ein Werkzeug zur skriptgesteuerten ...

Ways to perform the program transformation (function) inlining. Is being worked on as masters project by Master.ArneDeBruijn. Main.ArneDeBruijn 11 Jun 2001

Description JOIE is a system for Java bytecode transformation. References http://www.cs.duke.edu/ari/joie/ Automatic Program Transformation with JOIE: http://www ...

Transformation system for the Java programming language. Program transformation is a powerful technique for supporting software engineering activities: refactoring ...

Program transformation systems for Java programs (that is, Java is the object language) usually operate on an abstract syntax representation of the Java source code ...

Name : Karl Trygve Kalleberg Home Page : http://www.ii.uib.no/~karltk Research Interests: Program Representations, Domain-Specific Languages, Active Libraries, Program ...

Homepage: http://www.cse.dmu.ac.uk/~mward/index.html Martin is the author of FermaT, a program transformation system. See also SoftwareMigrations. CategoryPeople ...

Model transformation is the equivalent of program transformation, but applied to models instead of programs. This encompasses design models (e.g., UML diagrams), architectural ...

Definition Program transformation is the act of changing one program into another. The term program transformation is also used for a program, or any other description ...

A Case Study of Open Source Software Development The XT bundle of program transformation tools is an example of OpenSourceAcademicSoftware. Motivation for XT distribution ...

Here is a list of other websites with collections of information related to ProgramTransformation: RewritingHomePage A Directory of Program Transformation Systems ...

MAINWEB : Portal of Program-Transformation.Org Transform: Surveys of program transformation Stratego: A language for program transformation Tools: Program transformation ...

Homepages: 2004: http://profs.sci.univr.it/~pepm04/ 2003: http://www.ecs.soton.ac.uk/~mal/PEPM03/ 2002: http://www.informatik.uni-freiburg.de/~thiemann/pepm02/ 2000 ...

Partial evaluation is a ProgramOptimization technique in which a program is specialized to a part of the input that is known statically (at specialization time). Partial ...

ProgramAnalysis is the (automated) inspection of a program to infer some property. Program analysis is needed for most kinds of ProgramTransformation and can range ...

Compilation is a form of synthesis in which a program in a high-level language is transformed to machine code. This translation is usually achieved in several phases ...

Program derivation is a kind of ProgramTransformation in which an (efficient) implementation is derived from a (high-level) specification. If the specification can ...

Program migration is a ProgramTransformation aimed at adapting a program to a new (or old) version of the language. See also SoftwareMaintenance Where does this definition ...

Obfuscation is a ProgramTransformation that makes a program harder to understand by renaming variables, inserting dead code, etc. Obfuscation is done to hide the business ...

ProgramOptimization is a kind of ProgramTransformation aimed at improving the time or memory performance of a program. CompilationByTransformation makes heavy use ...

Definition Refactoring is typically applied at the level of programs (i.e., source code). A program refactoring is a program transformation that improves the design ...

(See also ModelTransformation ) A Definition A program is a structured object with semantics. The structure allows us to transform a program. The semantics gives us ...

Program-transformation.org is dedicated to collecting, organizing and disseminating information about all aspects of ProgramTransformation. The site is completely ...

Description This page discusses terminology, principles, and issues concerning tools for ProgramTransformation. Principles ProgramTransformationTools have much in ...

Homepage: http://www.ipl.t.u-tokyo.ac.jp/~caca/ptw00/ Program Transformation Workshop

Here is a list of programming languages and DataFormats that could be subject of ProgramTransformation BETA BibTeX CAML CProgrammingLanguage CleanLanguage COBOL CPP ...

Description Puma Grosch91 is the program transformation generator of the Coctail compiler toolkit. A Puma specification specifies a transformation of an abstract ...

Ralf Laemmel works at CWI and VU: http://www.cwi.nl/~ralf. Transformation topics: SCP Special Issue on Program Transformation http://homepages.cwi.nl/~ralf/pt-scp ...

The ReverseAndReengineeringTaxonomy defines restructuring as a transformation from one form of representation to another at the same relative level of abstraction ...

Software refactoring can be seen as the object-oriented equivalent of restructuring. It can be considered as a specific kind of software evolution. We can distinguish ...

The main DeCompilation page was for a time served from this address: http://catamaran.labs.cs.uu.nl/twiki/pt/bin/view/Transform/DeCompilation However, the exact server ...

Definitions Here are some attempts at definitions of rule-based programming. Feel free to comment or add your own. The rule-based programming paradigm is characterized ...

Name of the workshop on Rule Based Programming (RULE) Associated with PPDP The goals of the workshop The rule-based programming paradigm is characterized by the repeated ...

IEEE International Workshop on Source Code Analysis and Manipulation Deadline: April Conference: October Location: Chicago, USA (2004) Web: 2004: http://www.brunel ...

This is a page with links to scheduling software. This is not really related to program transformation. Collections http://linas.org/linux/pm.html overview of tools ...

Applications of ProgramTransformation in software engineering ProgramSynthesis ProgramCalculation ReuseByTransformation MaintenanceByTransformation ProgramMigration ...

If you are looking for more up to date information on Software Evolution, please visit http://www.planet-evolution.org Definitions The Research Institute in Software ...

The Software Improvement Group is a young company offering tools that help businesses deal with their (Cobol) legacy systems. We're offering services in three areas ...

The ReverseAndReengineeringTaxonomy defines software renovation as a synonym for ReEngineering. In CWI parlance, it is covers research in the areas of ReverseEngineering ...

Description The Asf+Sdf meta-environment has been used as a platform for program transformation geared towards SoftwareRenovation. The basic idea is to generate default ...

Strategies play an important role in ProgramTransformation. The purpose of this survey is to get an overview of the styles of strategies used in various TransformationSystems ...

(supervised compilation) A ProgramOptimization technique, due to ValentinTurchin and colleagues, a source-to-souce ProgramTransformation (rephrasings), more powerful ...

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

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

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

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

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

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

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

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

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

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

Description Updatable folds are a notion connected to FunctionalTransformationSystems. Explanation The bottom-up traversal scheme associated to a multi-sorted signature ...

INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ...

Home Surveys Transformation Reengineering DSL Domain Engineering Decompilation Generative Progr. Collections Categories Systems Conferences People Companies Papers ...

See also the announcements about specific systems in SystemNews. STARTINCLUDE STOPINCLUDE 2007-01-08 program-transformation.org is back online after absence for a ...

The following settings are web preferences of the TWiki.Transform web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can ...

Program Transformation Wiki http://www.program-transformation.org Program Transformation Wiki INCLUDE{"Main.RssBase"}

Statistics for TWiki.Transform Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb ...

Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2001 21983 530 0 2861 1006 WebHome ...

Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2002 1978 21 0 580 ReengineeringWikiSiteMap ...

The XTWikiWiki is the common substrate for a number of sites on various aspects of ProgramTransformation, ranging from a general survey of the field in TheOnlineSurveyOfProgramTransformation ...

MAINWEB : Portal of Program-Transformation.Org Transform: Surveys of program transformation Stratego: A language for program transformation Tools: Program transformation ...

2002 ACM SIGPLAN Workshop on Rule-Based Programming Workshop Program Satellite event of PLI'02 Saturday, October 5, 2002 Pittsburgh, USA http://www.program-transformation ...