Web Index

Program-Transformation.Org: The Program Transformation Wiki
Results from Transform web
Telephone switch from Lucent. For a while the biggest software system in the world (10M loc?). Used in many research experiments by Lucent dealing with, e.g., DomainSpecificLanguages ...
Association for Computing Machinery http://www.acm.org/ The ACM Computing Classification System 1998 Version : http://info.acm.org/class/1998/
Homepage: http://www-ia.hiof.no/~rolando/adate intro.html Automatic Design of Algorithms Through Evolution (ADATE) is a system for automatic programming i.e., inductive ...
See AlgebraicMethodologyAndSoftwareTechnology Conference: Submission in January Conference in May Proceedings in LNCS http://www.cs.uiowa.edu/amast2000/ http://www ...
The generator development platform ANGIE provides a script language, a compiler for this language and a runtime system. The freeware version of ANGIE is named "ANGIE ...
ANT is a Java based tool for `making' software. It is described as ``make without makes' wrinkles''. Although it is meant for more languages than just Java, its main ...
ANTLR: ANother Tool for Language Recognition Features ANTLR is a parser generator. Generates Java, C#, or C++ code. Accepts the class of LL(k) grammars Produces recursive ...
AOOP is short for: AdaptiveObjectOrientedProgramming
java Source 1 C++ Source 2
API is the acronym of ApplicationProgrammersInterface
Main.wiki

Homepage: http://cs.nyu.edu/~jessie/apts.html APTS is a the Abstract Program Transformation System developed by RobertPaige. CategorySystem Contributions by Main ...
A Refactoring Tool for Smalltalk by DonRoberts, JohnBrant, and RalphJohnson Available online: http://st-www.cs.uiuc.edu/~droberts/tapos/TAPOS.htm This article introduces ...
Homepage: http://ase.informatik.uni-essen.de Conference on Automated Software Engineering Deadline: June Conference: November Description (from the call for papers ...
Transform.ASF is the abbreviation of the Algebraic Specification Formalism developed at Transform.CWI and the University of Amsterdam. The formalism is used in combination ...
ASF+SDF is rewriting language with user-defined term syntax and support for tree traversals. It is used for SoftwareRenovation and rapid prototyping of DomainSpecificLanguages ...
A tool suite to support the development of specifications written in the ASFandSDF formalism. It includes parser and parser generator a structure editor an interpreter ...
Homepage: http://www.reengineer.org/wcre2001/ast/ Analysis, Slicing, and Transformation Deadline: May Conference: October
ASTLOG is A language for examining abstract syntax trees. Homepage: http://www.research.microsoft.com/~rfc/astlog/
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 ...
ATX Software Integration Architecture (ASIA) is a system for legacy interoperation. It can be used to wrap legacy code (the Source Layer) behind a compatibility layer ...
ATX Software SA offers an integrated set of architectural and re-engineering technologies that includes the ATXSoftwareIntegrationArchitecture ASIA , LegacyCare L ...
See also EfficientAnnotatedTerms.
A Typed Pattern Calculus by Val Breazu-Tannen, Delia Kesner and LaurencePuel Published in Information and Computation, 124(1):32-61, January 1996. Proceedings of ...
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 ...
Homepage: http://www.absint.com which has tools for post-pass optimizations, e.g. code compression. http://www.absint.com/aisee/logos/absint40.gif CategoryCompany ...
Homepage: http://www.absoft.com/ Produces high performance Fortran toolsets.
Abstract Syntax Description Language appears to be part of the Zephyr project at the University of Virginia (and other places). From their page: ASDL is designed to ...
Acacia, the C++ Information Abstraction System, is a collection of analysis and ReverseEngineering tools for CPP developed by AT T . CCia creates a program database ...
Homepage: http://www.brics.dk/Projects/AS/ PeterMosses
Description Object­oriented programs are easier to extend than programs which are not written in an object­oriented style, but object­oriented programs are still ...
Adaptive Pattern Matching by R. C. Sekar, R. Ramesh and I. V. Ramakrishnan in SIAM Journal on Computing Volume 24, Number 6 pp. 1207-1234 http://epubs.siam.org/sam ...
A sub-site of ProgramTransformationOrg gives a view of the pages in the XTWikiWiki high-lighting a specific subject. Such subsites have their own URL such that they ...
Homepage: http://www.iasi.rm.cnr.it/~adp/ MAPTransformationSystem CategoryPeople
Homepage: http://www.cs.berkeley.edu/~aiken/ AlexAiken is the designer of BANE. CategoryPeople
Homepage: http://www.di.univaq.it/alfonso MontagesFramework CategoryPeople
Homepage: http://www.loria.fr/conferences/amast2002 International Conference on Algebraic Methodology And Software Technology Goals The major goal of the AMAST Conferences ...
ASG. http://www.asg.com Acquired Viasoft, offering the Existing Systems Workbench for analysis and ReEngineering of COBOL systems. CategoryCompany
An attempt to automate software reuse at NASA, particularly for domain specialists who are unfamiliar with available software libraries. They implemented a system ...
T. B. Dinesh, MagneHaveraaen, and JanHeering, An algebraic programming style for numerical software and its optimization, Scientific Programming , 8(4), 2000. 247 ...
Web sites (all in Japanese): http://jdi.at.infoseek.co.jp/ "Anatomizer entrance" with legal matter http://jdi.at.infoseek.co.jp/japanese/index.plg Main page http: ...
TOC Hello release From Boomerang's test/windows/hello release.exe (I had to force the entry point): Original source code: LRESULT CALLBACK WndProc(HWND hWnd, UINT ...
Homepage: http://www.andres-loeh.de Also: http://www.cs.uu.nl/staff/andres.html Andres is a PhD student in the SoftwareTechnologyGroup at UtrechtUniversity.
http://www.cs.princeton.edu/~appel/
Homepage: http://www.andrewcooke.free-online.co.uk/andrew/index.html Author of PancitoLibrary (among other things). CategoryPeople
Homepage: http://www.cl.cam.ac.uk/~amp12/ FreshML CategoryPeople
Homepage: http://www.cs.pdx.edu/~apt/ Stratego.BuildingProgramOptimizersWithRewritingStrategies by the Rules CategoryPeople
I work at the Center for Advanced Computer Studies at the University of Louisiana at Lafayette. My home page is housed at http://www.cacs.louisiana.edu/~walenste I ...
http://shulgaaa.at.tut.by The Andromeda Decompiler is still in development. At present, it will only run on Windows, and only decompile Windows-based programs to C ...
ATerm (short for Annotated Term) is an abstract data type designed for the exchange of tree-like data structures between distributed applications. See Tools.ATerm ...
Annotations Official Documentation Java Guide: Annotations Online Articles JavaWorld: Taming Tiger, Part 3: Decorate your code with Java annotations IBM DeveloperWorks ...
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 ...
ACM Applied Computing Review http://www.acm.org/sigapp/acr/ CategoryJournal
ArchitectureExtraction is an attempt to recover SoftwareArchitecture from, for example, the source of a LegacySystem. ArchitectureExtraction typically starts with ...
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 ...
Homepage: http://www.students.cs.uu.nl/people/arbruijn/ Arne de Bruijn is a student at Universiteit Utrecht and works on InliningStrategies in general and the interaction ...
See Main.ArthurVanDam Main.ArthurVanDam 17 Sep 2003
Homepage: http://foothill.lcs.mit.edu/~arvind/ Hardware synthesis via term rewriting Transform.CategoryPeople
http://www.cs.rhul.ac.uk/research/languages/projects/reverse compilation.shtml The above page describes an Analog Devices ADSP-21xx assembly language to ANSI-C translator ...
Extensible Compiler for AspectJ Website: http://abc.comlab.ox.ac.uk Application of Framework and Framework Main.MartinBravenboer 08 May 2005
AspectJ is a language for oriented programming with Java. There are at least two implementations of the language: ajc (fully integrated with Eclipse), and abc (an ...
Description Functional decomposition is good for flexibility, maintainance and modularity of programs. However, it is not necessarily good for other aspects of programming ...
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 ...
Attribute grammars were introduced by DonaldKnuth in 1968 for the definition of the semantics of (programming) languages. An attribute grammar is a specification that ...
Automated Software Engineering http://www.kluweronline.com/issn/0928-8910 CategoryJournal
Every few months, I get an email asking where to find an automatic decompiler that will take a binary as input and produce good quality C or C++ code for maintaining ...
Automatic Retargeting http://www.cs.arizona.edu/~collberg/Research/AutomaticRetargeting/index.html Main.MaD 24 Jul 2002 Often includes BinaryTranslation techniques ...
BAKE is a replacement for MAKE. Its aim is to solve recursion in make and do more compiles in parallel. Development ceased in 1999. http://bake.werken.com/
Homepage: http://www.cs.berkeley.edu/Research/Aiken/bane.html The Berkeley ANalysis Engine (BANE) is a toolkit for constructing program analyses such as dataflow ...
BAU is a MAKE like tool, written in Scheme. According to the webpage it can do everything MAKE does, with a few features from Tools.AutoMake. Development seems to ...
Belgisch-Nederlandse Evolution Workshop Editions BenevolTwoThousandThree BenevolTwoThousandFour BenevolTwoThousandFive Benevol 2006 Main.TomMens 20 Feb 2007 Main ...
Homepage: http://www.daimi.aau.dk/~beta/ BETA is an ObjectOrientedProgrammingLanguage. It is the succesor of Simula67. CategoryLanguage
Build is an application aimed at making C/C++ development on Linux simpler. It scans code and creates a Makefile. It is only available for Linux. http://www.SiliconTao ...
BURG is a system for CodeGeneration from IntermediateRepresentation expression trees developed by ChristopherFraser, ToddProebsting and others in the early 90's. Papers ...
Annual German Workshop on ReEngineering in Bad Honnef. Held in May. See http://www.uni-koblenz.de/ist/WSR2001/ CategoryConference CategoryReengineeringPages
Homepage: http://www.cwi.nl/~luttik/ Stratego.SpecificationOfRewritingStrategies CategoryPeople
The idea is to position the basic blocks of a procedure in such a way that most executions of the code will fall through branches (forward branches are typically predicted ...
Software architecture, Software ReEngineering, and ProgramUnderstanding Research project at the University of Stuttgart, see http://www.informatik.uni-stuttgart.de ...
Homepage: http://www.bayfronttechnologies.com Provides CAPE tools for engineering communication protocols and other cooperating processes. (Provides documentation ...
http://www.bdasm.com/bdasm features.html BDASM by Manuel Jiménez. This is a relatively new disassembler (as of 2003). At present it supports Intel and Power Pc cpu ...
Location: CWI, Amsterdam Date: Thu 19 Fri 20 June, 2003 Sponsors: Partially financed by Wetenschappelijke Onderzoeksgemeenschap "Fundamenten van software-evolutie ...
BENELove 2005 This page is deprecated. We decided to stick to the BENEvol name, instead of using BENELove. Please refer to the BenevolTwoThousandFive page. Main.TomTourwe ...
3rd BElgium Netherlands Workshop on software EVOLution Location: TU/e, Eindhoven (how to get there: maps and route) You need to go to the Auditorium building, and ...
BENEVOL 2004 2nd BElgium Netherlands Workshop on software EVOLution Location: UA, Antwerpen Date: July 8-9, 2004 Sponsors: Lunch and dinner are sponsored by the two ...
BENEVOL 2003 Location: CWI, Amsterdam Date: Thu 19 Fri 20 June, 2003 Sponsors: Partially financed by Wetenschappelijke Onderzoeksgemeenschap "Fundamenten van software ...
Homepage: http://www.cs.sun.ac.za/~bfischer/ WorkshopOnRuleBasedProgramming CategoryPeople
BibTeX is a DataFormat for bibliographical information that is used in conjunction with LaTeX. The Stratego.BibtexTools package provides a syntax definition for BibTeX ...
Homepage : http://www.biglever.com/ CategoryCompany
Bigwig combines several ideas: Domain specific language for web services Syntax macros Publications Growing Languages with Metamorphic Syntax Macros Related projects ...
http://www.ni.bekkoame.ne.jp/bilyzkid/us/ (was http://www.bilyzkid.com) Bilyzkid Co has a disassembler and decompiler for Windows (Intel). It claims to support 8086 ...
Binary Optimisers are sometimes called "Post Link optimisers". These products can be viewed as "X to X binary translators". Another name is Binary Rewriting systems ...
Binary Translation What is binary translation Binary tanslation is the process of automatically translating binary object code from one machine Mi to another. The ...
Links to pages containing mainly links to pages related to BinaryTranslation. http://www.codeonthefly.com/products.html Run time code generation: http://members.fortunecity ...
Transmeta's first processor the Crusoe (see their white paper) implements the pentium architecture on a VLIW processor. They have a few hardware assists, and the ...
Commercial products related to Translation Dynamite from Transitive Technologies is a binary translation product with various front ends, back ends, and a "Dynamite ...
While concentrating on research, this is also a miscellaneous page. The novel Low Level Virtual Machine (LLVM) http://llvm.cs.uiuc.edu/ is a product of the Lifelong ...
The Workshop on Binary Translation (WBT) is usually held in conjunction with the International Conference on Parallel Architectures and Compilation Techniques (PACT ...
The Bird-Meertens Formalism (also called Squiggol) is a calculus for deriving programs from specifications (in a functional program setting) devised by RichardBird ...
This page was rescued from Google's cache of http://orion.planet.de/~jan/Snippets.9707/ g0311.html . G.3.17 decompil.txt Date last modified: 05-Jul-1997 Question: ...
This page is my refutation of a Frequently Asked Question answer on decompilation. The original page is difficult to find now in its complete form, so I have archived ...
http://www.caesum.com/download.php Borg is a freeware disassembler for Windows 32-bit binaries (PE executables and DLLs), written to overcome some of the limitations ...
Branch Coverage For Arbitrary Languages Made Easy: Transformation Systems To The Rescue! by IraBaxter of SemanticDesigns, Inc. http://www.semdesigns.com Abstract ...
HomePage: http://www.mcs.drexel.edu/~bmitchel Research Web Page: http://serg.mcs.drexel.edu email: bmitchel@mcs.drexel.edu Research Interests: ReverseEngineering ...
Homepage: http://www.cs.utexas.edu/users/less/broadway.html
Bernd Bruegge and Allen H. Dutoit Object-Oriented Software Engineering: Conquering complex and changing systems Prentice-Hall, 2000. A textbook on software engineering ...
Description Buildfiles are used in combination with AutoBuild and define how to build particular software packages. See Also AutoBuild
Building Documentation Generators ArieVanDeursen, TobiasKuipers. In Proceedings International Conference on Software Maintenance ( ICSM 99). IEEE Computer Society ...
Building Program Understanding Tools Using Visitor Combinators by Transform.ArieVanDeursen and Transform.JoostVisser This paper describes how Transform.VisitorCombinators ...
"Bytecodes" is a name given to the instructions of a VirtualMachine, so called because the opcodes are 8 bits (one byte) in length, and instructions vary from one ...
Homepage: http://caml.inria.fr/consortium/ CAML is a dialect of the FunctionalProgrammingLanguage ML.
CC Compiler Construction, a series of conferences. The 2001 version is to be held as part of ETAPS'01 CategoryConference
IEEE-CS/ACM Computing Curricula: Software Engineering. Part of the IEEE/ACM Computer Curriculum activity, aimed at developing the software engineering volume. Computer ...
History of PC based C-compilers Originally, there were Lattice C (the big gun), Wizard, Datalight, Ecosoft, DeSmet, Mix, Whitesmiths, BDS C, Manx Aztec C, and another ...
CDIF is an acronym that stands for CaseDataExchangeFormat.
CIAO is a customizable and extensible navigator developed by AT T . It allows users to query, analyze, visualize, and track structures of various software and document ...
CIP HelmutPartsch
ckit is a C front end written in SML that translates CProgrammingLanguage source code (after preprocessing) into abstract syntax represented as a set of SML datatypes ...
COBOL stands for Common Business Oriented Language and is considered by many as a legacy language. It was designed by the CODASYL committee in 1957 and is the second ...
COMPSAC is the major international forum for researchers, practitioners, managers, and policy makers interested in computer software and applications. It was first ...
CONS is a replacement for make, written in Perl. It is not compatible with make. http://www.dsmit.com/cons/
http://www.canb.auug.org.au/~millerp/cook/cook.html Cook is a replacement for make.
C++ is an object-oriented extension of CProgrammingLanguage. Transformation of C++ programs is supported by AcaCia / CIAO OpenCpp Stratego.CodeBoost DMSSoftwareReengineeringToolkit ...
See http://www.frontendart.com and http://www.frontendart.com/cppml/cppml-2.0.dtd for details. Main.RudolfFerenc 20 Feb 2003
About the language The C Programming Language, Second Edition Brian Kernighan Dennis M. Ritchie Compilers http://gcc.gnu.org/ Tools for transformation of C programs ...
Conference on Software Engineering Education and Training 2002: http://www.site.uottawa.ca/cseet2002 Submission deadline: September Conference: February CategoryConference ...
Homepage: http://www.lsv.ens-cachan.fr/csl01/ Annual Conference of the European Association for Computer Science Logic Deadline: March Conference: September
European Conference on SoftwareMaintenance and ReEngineering Conference: 2005: http://www.rcost.unisannio.it/csmr2005/ 2004: http://www.cs.tut.fi/~csmr2004 2003: http ...
CUP (Constructor of Useful Parsers) is a LALR parser generator for Java. Website: http://www.cs.princeton.edu/~appel/modern/java/CUP/
Description CVS, the Concurrent Versions System, is a collection of tools for software version control. Links http://www.gnu.org/software/cvs/cvs.html
CWI (Centrum voor Wiskunde en Informatica) is the Dutch national research center for mathematics and computer science. See http://www.cwi.nl/ http://www.cwi.nl/img ...
The CASE Data Exchange Format (CDIF), which seems to be no longer maintained, was defined to allow data exchange between different CASE tools and repositories. However ...
http://www.castsoftware.com/ CAST is a software company committed to simplifying the complexity of software engineering through Application Mining solutions. CategoryCompany ...
Catamorphism: a generalization of the fold function in FunctionalProgramming. A function on finite data structures having a tree-like data type is a catamorphism if ...
The category of pages related to ProgramAnalysis. SEARCH{search "CategoryAnalysis" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ...
Pages dealing with SoftwareArchitecture the title gives them all. SEARCH{search "CategoryArchitecture" nosummary "on" scope "text" noheader "on" nosearch "on" format ...
CategoryBinaryTranslation: pages devoted to BinaryTranslation. SEARCH{search "CategoryBinaryTranslation" nosummary "on" scope "text" header "" nosearch "on" web "Transform ...
The category of books discussed at this wiki Click on the title to see them all. SEARCH{search "CategoryBook" nosummary "on" scope "text" noheader "on" nosearch "on ...
The category of all categories. Categories are a way to organize Wiki pages: see Wiki:CategoryCategory SEARCH{search "Category" nosummary "on" scope "topic" header ...
The category of all collections. Click on the title to see them all. SEARCH{search "CategoryCollection" nosummary "on" scope "text" noheader "on" nosearch "on" nototal ...
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 ...
Category of pages related to DomainSpecificLanguages. SEARCH{search "CategoryDSL" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic ...
The Category of data formats. Click on the title. CategoryCategory
CategoryDecompilation: pages devoted to DeCompilation. SEARCH{search "CategoryDecompilation" nosummary "on" scope "text" header "" nosearch "on" web "Transform" format ...
Pages devoted to DomainEngineering. SEARCH{search "CategoryDomainEngineering" nosummary "on" scope "text" noheader "on" nosearch "on"} CategoryCategory
All EntryPoints into ProgramTransformationOrg. SEARCH{search "CategoryEntryPoint" nosummary "on" scope "text" header "" nosearch "on" nototal "on" format " $web / ...
All pages belonging to the GenerativeProgrammingWiki: SEARCH{search "CategoryGenerativeProgrammingWiki" nosummary "on" scope "text" noheader "on" nosearch "on"} See ...
Click on the title to find all research groups. (Ehhh, all pages containing the word CategoryGroup) CategoryCategory
The category of TransformationJournals. Click on the title to see them SEARCH{search "CategoryJournal" nosummary "on" scope "text" noheader "on" nosearch "on" nototal ...
CategoryLanguage is the category of ProgrammingLanguages that are subject to ProgramTransformation. SEARCH{search "CategoryLanguage" nosummary "on" scope "text" noheader ...
The category of ProgramOptimizations. SEARCH{search "CategoryOptimization" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ...
The category of pages about a paper. SEARCH{"CategoryPaper" header "" format " $topic" nototal "on" nosearch "on" web "Transform Stratego Tools"} See also CategoryBook ...
The category of computing paradigms. Click on the title to get them all. CategoryCategory
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 ...
CategoryProgramUnderstanding: pages devoted to ProgramUnderstanding. SEARCH{search "CategoryProgramUnderstanding" nosummary "on" scope "text" noheader "on" nosearch ...
Category of pages describing transformation research projects. LegToNet, Marie-Curie TOK-IAP 003169 CategoryCategory
CategoryReengineeringPages: pages dealing with ReEngineering topics. SEARCH{search "CategoryReengineeringPages" nosummary "on" scope "text" noheader "on" nosearch ...
CategoryReengineeringWiki: Category of main topics (categories) in the ReengineeringWiki. SEARCH{search "CategoryReengineeringWiki" nosummary "on" scope "text" noheader ...
CategoryReverseEngineering: pages devoted to ReverseEngineering. SEARCH{search "CategoryReverseEngineering" nosummary "on" scope "text" noheader "on" nosearch "on ...
This is the category of paper reviews. SEARCH{"CategoryReview" format " $topic " nosearch "on"} CategoryCategory TransformationReviews
CategoryRigi: all pages containing the word "CategoryRigi" are devoted to the RigiSystem. SEARCH{search "CategoryRigi" nosummary "on" scope "text" noheader "on" nosearch ...
CategorySoftwareEvolution: Pages devoted to SoftwareEvolution SEARCH{search "CategorySoftwareEvolution" nosummary "on" scope "text" noheader "on" nosearch "on" format ...
The category of syntax related topics. Click on the title to get them all. CategoryCategory
The category of TransformationSystems. SEARCH{"CategorySystem" format " $topic " nosearch "on" noheader "on"} CategoryCategory
The category of taxonomies SEARCH{search "CategoryTaxonomy" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic " } CategoryCategory ...
CategoryTeaching: pages devoted to teaching ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTeaching" nosummary "on" scope "text" noheader "on ...
Category Theory is the mathematical theory of structure-respecting transformations. A category consists of arrows (or morphisms ) between objects . For example, we ...
The category of topics related to ProgramTransformation. Click on the title to get them all. CategoryCategory
The Category of TransformationParadigms. (Click on the title to see them all.) CategoryCategory
CategoryTutorial: Category of tutorial articles in the areas of ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTutorial" nosummary "on" scope ...
CategoryWcre: Pages on WCRE SEARCH{search "CategoryWcre" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory
Category of pages devoted to discussions of wiki style and techniques. SEARCH{search "CategoryWiki" nosummary "on" scope "text" header "" nosearch "on" format " $topic ...
http://www.iu.hioslo.no/cfengine/ cfengine is short for `configuration engine'. Although its primary goal is to `administrate and configure large computer networks ...
Homepage: http://brahms.fmi.uni-passau.de/cl/staff/lengauer/ CategoryPeople
Chris' information page is maintained at: Main.ChrisRussell
Chris Verhoef mr X X http://www.cs.vu.nl/~x/ SoftwareArchitecture, in particular archictural modification.
Homepage: http://research.microsoft.com/~cwfraser/ Christopher Fraser is one of the designers of BURG and many other things. CategoryPeople
Homepage: http://cs.hofstra.edu/~cscccl/ Construction in Higher Order Logic Programming Order Compilation Project CategoryPeople
The Australian company Mayon Software Research sells a visual Java decompiler called ClassCracker. ClassCracker contains 3 applications in one: a disassembler, a class ...
Homepage: http://www.loria.fr/~ckirchne/ ELAN RewritingCalculus CategoryPeople
This Claudio's own research home page. Soon I will upload my papers to this page! Claudio Riva test whether this works!
Homepage: http://www.cs.kun.nl/~clean/ Clean is a functional programming language. mailinglist: http://www.cs.kun.nl/mailman/listinfo/clean-list
Finding groups in data by computing distances or similarities between elements. In ReverseEngineering, typically used for remodularization, ObjectIdentification, and ...
CoSy is a compiler manufacturing Framework
Description Cocktail is a set of program generators or compiler construction tools for nearly all phases of a compiler. The compiler construction tools support the ...
CodeBeamer from IntlandCompany is a web-based source code comprehension product that enables enterprises or geographically dispersed groups of developers to analyze ...
http://codebreakers-journal.com/ "Journal for Algorithms, Virus-Research, Software-Protection and Reverse Code Engineering". Seems to be peer reviewed, published 3 ...
CodeBuildingEnvironment is a cvs like tool, which also stores some configuration stuff. The developers claim that it has got MAKE like features. It is written in Java ...
CodeCompaction is a class of ProgramOptimizations that reduce the size of a program. This is especially important for embedded software that is used on devices with ...
Code Complete by Steve McConnell. Microsoft Press, 1993. A practical handbook of software construction . 800 pages every developer should study. CategoryBook
A CodeCoverage tool discovers sections of code that are not being executed. CodeCoverage tools are used to examine how well the source-code of a project is being exercised ...
CodeCrawler is a language independent ReverseEngineering tool for systems written in ObjectOrientedProgrammingLanguages which combines metrics and SoftwareVisualization ...
Code generation (also called selection) is a transformation performed in the back-ends of compilers. At this state of compilation representation expressions are transformed ...
A code generator is a compiler component that translates intermediate representation expression trees to lists of machine instructions. See CodeGeneration. Main.EelcoVisser ...
Annotated Bibliography on Code Reading and ProgramComprehension Deimel and Naveda (1990) Reading Computer Programs: Instructor's Guide and Exercises. CMU/SEI-90-EM ...
This tool is a scripting language (distributed under LGPL at http://www.codeworker.org) dedicated to automate the development process, from requirements specification ...
Cognitive models of program comprehension model the mental processes involved in program understanding. In most cognitive models, hypotheses are key drivers of the ...
Colm: COmputer Language Manipulation Homepage: http://www.complang.org/colm/ Colm is a programming language designed for the analysis and transformation of computer ...
See FrontEndART for details. Main.RudolfFerenc 07 Jan 2003
Columbus/CAN is a reverse engineering tool devloped by FrontEndART. It is available as a free download. The system extracts C++ (ISO/IEC standard C++, Microsoft and ...
The following companies offer decompilation services (from binary code or assembly code). The techniques used by these companies are usually proprietary, but often ...
In the paradigm of Compilation by Transformation many aspects of compilation are implemented as a series of simple ProgramTransformations on the source code or intermediate ...
by ChuckLiang In S. Krishnamurthi, C.R. Ramakrishnan (Eds.) Aspects of Declarative Languages (LNCS http://link.springer.de/link/service/series/0558/tocs/t2257.htm ...
Name Component name. Synopsis Short usage of the component. Description Description of the functionality offered by the component, focussing on common usage. Options ...
Homepage: http://i44w3.info.uni-karlsruhe.de/~compost/ Compost is a framework for program transformation and analysis implemented in Java. UweAssman OPTIMIX
Compuware http://www.compuware.com Products offered include Xpeditor, a tool suite for COBOL test coverage analysis and system browsing. See http://www.compuware.com ...
ConceptAnalysis is a mathematical approach to building taxonomies. Given a set of objects, a set of attributes, and a feature table telling which object has which ...
A context-free grammar is a restricted form of a Grammar Closure Properties Context-free languages are closed under: union concatenation and these operations can thus ...
The compiler should effectively continuously transform a program from an interpreted to a fully optimized form. http://www.cs.wustl.edu/~plezbert/contcom/ RonCytron ...
Control flow analysis in decompilation convert conditional and non-conditional jump instructions into high-level language control constructs such as if/else, while ...
Various browsers have trouble with the tab character used in the TextFormattingRules. If you can't type a tab, or, if you are fixing up a page written by someone who ...
Cost-effective Maintenance Tools for Proprietary Languages by MerijnDeJonge Ramin Monajemi Available at: http://www.cwi.nl/~mdejonge/papers/#JM2001
CppETS is an extractor benchmarks for C++ (see ExtractorBenchmarks). The benchmark has been exercised at the following occasions: CASCON 2001 workshop (CppETS 1.0 ...
Fact extractors for C++: AcaCia ColumbusCAN cppx TkSeeSN vacppparse http://www.gccxml.org XML output extension to the C++ front-end to GCC. It produces an XML representation ...
C++ templates allow compile-time programming in the type system of C++.
CPPX is a free, open source fact extractor for C++. It is build on top of GNU g++, and produces a graph according to the Datrix fact model, in either GXL, TA, or VCG ...
Cristina Cifuentes http://www.csee.uq.edu.au/~cristina/ DeCompilation ProgramSlicing LegalIssues CategoryPeople
Homepage: http://www.cs.sfu.ca/~dbeyer/CrocoPat/ CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive ...
Crystal Systems http://www.crystal-sys.com/ Offers products based on C-SCAN, a unique and flexible engine for automating the conversion of system components. See also ...
Homepage: http://www.cs.cornell.edu/projects/cyclone/ Cyclone is a C-like language with built-in support for safety. CategoryLanguage Main.EelcoVisser 20 Nov 2001 ...
DERIVE: a tool to ReverseEngineering instruction encodings http://www.cs.utah.edu/~wilson/papers/derive-usenix01.html Source: http://www.cs.utah.edu/~wilson/derive ...
Homepage: http://www.semdesigns.com/Products/DMS/DMSToolkit.html DMSSoftwareReengineeringToolkit is a DesignMaintenanceSystem for software ReEngineering from SemanticDesigns ...
This page represents examples 69, 70, and 71 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ...
This page represents examples 72, 73, and 74 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ...
See DocumentObjectModel
DOME (the DOmain Modeling Environment) is a meta-CASE system. It has a graphical domain modeling evironment (DTS editor). With the DTS editor a meta-model is defined ...
Acronym for DomainSpecificLanguages
Domain-Specific Languages: An Annotated Bibliography. By ArieVanDeursen, PaulKlint and JoostVisser. We survey the literature available on the topic of DomainSpecificLanguages ...
The DSLAnnotatedBibliography was published in 2000. Since then, several authors have sent us additional references, which are collected here. If you feel that a reference ...
Several papers covering DSL design issues such as DomainEngineering are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions ...
A number of example DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions, presenting example DomainSpecificLanguages ...
Several papers covering ways of implementing DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions presenting implementation ...
Papers evaluating the risks and opportunities of DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions presenting ...
The DSLAnnotatedBibliography starts by definining the terminology used in the paper. This page collects comments, extensions, or additional references concerning DomainSpecificLanguages ...
DomainSpecificLanguages
The daVinci system uses terms to represent graphs, which distinguishes it from all other graph formats. Terms make the format not easy to read and hard to write. A ...
Seminar organized in Dagstuhl castle in the hills of the Saarland (Germany). Excellent wine cellar and music room, great way to get to know your fellow researchers ...
Description The `dbs' package implements an open framework for daily-builds (i.e. regular performed builds to continuously verify the consistence of all parts of ...
Collections of tools used for ArchitectureExtraction. Pointers: http://www.sei.cmu.edu/ata/ata extraction.html Rick Kazman, S. Jeromy Carrière, Playing Detective: ...
http://www.decompile.com The Database Managers company used to offer DataFlex Decompilers in two forms: as a stand-alone licensed program or as a service. Now, they ...
Data exchange formats are used to store and retrieve data in a structured and domain-independent way. Typically a binary format is used, but textual formats exist ...
Data flow analysis in decompilation covers the conversion from primitive machine code instructions to expressions in high-level language. Main.DavidEriksson 28 May ...
See DataFormats.
A DataFormat is a formal language for the representation of information. Unlike ProgrammingLanguages, DataFormats don't specify computations. Examples of data formats ...
In information systems, or data-oriented applications, i.e., in applications the central component of which is a database (or a set of permanent files), it is generally ...
Homepage: http://desquirr.sourceforge.net/ Main.DavidEriksson 13 Jun 2002
http://www.comlab.ox.ac.uk/oucl/work/david.lacey CategoryPeople
dcc is a research decompiler, written as a proof of concept for Cifuentes' PhD thesis. A complete distribution of dcc (executable, source, tools to generate signatures ...
TOC The tests performed here are downloaded from the file test.zip, part of the dcc distribution. It should be remembered that these tests were therefore chosen to ...
RESUME MAURICE HOWARD HALSTEAD BA University of California, Berkeley 1940 MS U. S. Naval academy1 pas (Annapolis) 1943 PhD Johns Hopkins (Baltimore) 1951 PROFESSIONAL ...
Decompilation is a ProgramTransformation by which a high-level source code for an executable program is discovered. Decompilation is the inverse of ProgramCompilation ...
Visual Basic Discompiler (Decompiler) Defeater This page only exists in archive.org for December 1996, which may be the boundary of the archive. In case it disappears ...
Deforestation is a ProgramTransformation that eliminates intermediate data-structures (trees). The technique was invented by PhilipWadler for optimization of functional ...
Dealing with Large Bananas by RalfLaemmel, JoostVisser, and JanKort Available: Draft 1 .
This information is pieced together from a few sources. I hope it is still accurate. In about 1985, Jim Reuter wrote decomp, a decompiler for the Vax BSD 4.2 (a.out ...
This is the readme file for the "decomp" decompiler by Jim Reuter. This README file describes the decompiler that resides in this directory. WHAT IT IS: The decompiler ...
Anakrino .NET to C# Decompiler Tests Anakrino is a .NET to C# decompiler, released under a BSD-like license. These tests refer to "Interim #9" (Anakrino9.zip). Anakrino ...
The colloquial use of "reverse engineering" and the formal one are somewhat different. Crackers speak of "reversing" a program, when they are talking about a quick ...
This page has been removed. You can access the pages it used to point to from the main DeCompilation page now. Main.MikeVanEmmerik 04 Dec 2004
The Boomerang Decompiler and Tests Boomerang is an attempt at a complete, retargetable decompiler for native executable programs, released under a BSD style (open ...
ClassCracker 3 Java Decompiler Simple Tests I performed some simple tests on ClassCracker 3 (version 3.01), purely as a decompiler. TOC Fibo For source code, see ...
Compiler-Specific or Pattern Matching Decompilers This approach tries to find the reverse mapping of the executable to the source based on analysing the output generated ...
McGill's "Dava" Java Decompiler TOC Dava tests The Sable group at McGill University, under the leadership of Professor Laurie Hendren, are working on a framework ...
Dava Java Decompiler Tests These tests were performed on the Dava decompiler which comes with Soot 2.0.1. The author stated in early 2003 that there is a newer version ...
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 ...
Main.FredHeltsley 07 Mar 2005
If you have a specific decompilation problem for which you need help, you can describe it here. Someone knowing the solution might visit the page and help you. (See ...
Jad Java Decompiler Simple Tests TOC This page performs some tests on JAD version 1.5.8e. Output has been trimmed slightly for ease of comparison to the original ...
jAscii Java Decompiler Simple Tests NOTE: Jascii seems to have gone out of business at the end of 2003. I tested jAscii 1.0.20 from http://www.jascii.com. TOC Fibo ...
JODE open source Java Decompiler Simple Tests TOC Fibo For source, see DecompilerFiboTestSource. Decompiled source from JODE: / Fibo Decompiled by JODE Visit http ...
JReversePro (Java Decompiler) Simple Tests I installed JReversePro version 1.4.1 (binary distribution; Sourceforge page is here). TOC Fibo For source, see DecompilerFiboTestSource ...
NMI Java Code Viewer This is a commercial bytecode to Java decompiler and disassembler. It runs under Windows only, even though it claims to have been written in ...
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 ...
The Decompilation Process The main problems with decompilation are the separation of data and code (i.e. obtaining a complete disassembly of the program), the reconstruction ...
Reflector .NET to C# Decompiler Tests Reflector is a .NET browser with an integrated C# decompiler. It will also display the code "translated" into Visual Basic or ...
This page contains links to projects peripherally related to decompilation. TOC Binary files Information on the internal format of binary files at the Wotsit's File ...
Source Again Java Decompiler Tests TOC Ahpah kindly provided a copy of Source Again Professional version 1.10j (a commercial decompiler). Earlier tests were based ...
Salamander .NET to C# Decompiler Tests Salamander is a commercial .NET to C# decompiler. TOC Fibo For source, see DecompilerFiboDotNetSource. Decompiled source from ...
SourceTec Java Decompiler Simple Tests SourceTec, also known as Jasmine, is an old decompiler; in fact it's a patch to Mocha, probably the very first Java decompiler ...
Are you wanting to set up a decompilation related company? He is a partial list of the URLs. RED Warning: URLs in italics could lock up your browser for at least 2 ...
The Andromeda Decompiler is not available to the public at present, so the only example of its use is usually limited to the very impressive demo program. I asked ...
This program is adapted from the book Decompiling Java, chapter 1. using System; public class Casting { public static void Main(String args){ for(char c (char)0; c ...
This program is from the book Decompiling Java, chapter 1. public class Casting { public static void main(String args ){ for(char c 0; c The only real trick here is ...
This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code as adapted to C# is: using System; class Foo ...
This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code is: public int foo(int i, int j) { while ...
These Fibonacci (286) and Palindrome results are from David's masters theses, Figure 5.2. The other tests are using the 20030507 binary of the desquirr plugin, as ...
Exe-2-C DOS/286 Decompiler Tests This is the beta version of an experimental decompiler. The tests are from test.zip in the dcc distribution. TOC Strlen The original ...
This is the Jasmin (essentially Java "assembly language") source code for the exceptions decompiler test. It is an attempt at the test program from Figure 6 of the ...
This is a simple program, compiled with the Mono C# compiler, no optimisation. Here is the original C# source code: using System; class Fibo { private static int fib ...
This is a simple program, compiled with Sun's javac, no optimisation. Here is the original Java source code: import java.lang. ; class Fibo { private static int fib ...
I found this sample program in a page called Sample gtk# applications. The program is already compiled (possibly with a now-obsolete version of the Microsoft C# compiler ...
This class is also from the book Decompiling Java, this time chapter 3: using System; public class Usa { public String name "Detroit"; public class England { public ...
This class is also from the book Decompiling Java, this time chapter 3: public class Usa { public String name "Detroit"; public class England { public String name ...
In a poorly designed decompiler (including all current decompilers and also disassemblers), a graphical user interface (GUI) or equivalent (e.g. Sourcer's specification ...
This is the Jasmin (essentially Java "assembly language" source code for the optimised bytecode decompiler tests. It was created with soot s O Main where soot is a ...
Reverse Engineering Compiler (REC) Tests Some simple tests were performed on REC 1.6 for Linux. TOC Fibo/286 This test file is the same one used to test the 286 decompilers ...
The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains a small but important test program (adapted from a concatenation of 4 Java source files ...
The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains this small but important test program (concatenation of 4 Java source files): public class ...
http://www.decompiler.org (Decompiler Technologies) Until May 2005, Decompiler Technologies offered mainly a Visual Basic 6 native-code decompilation (source code ...
PhilipWadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming (ESOP'88) , Nancy, France. Lecture Notes in Computer Science ...
Delphi I'm not all that familiar with Delphi. Additional pointers welcome. Decompiling Delphi Decompiling Delphi at http://delphi.about.com mentions a number of Delphi ...
Delta Software Technology is the leading developer of generative software tools for service-based integration to multiply the value of legacy applications and data ...
Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Presentation Slides for part 1: Introduction to reverse engineering ...
The ReverseAndReengineeringTaxonomy defines design recovery as a subset of ReverseEngineering in which domain knowledge, external information, and deduction or fuzzy ...
http://www.2good.com/software/desquirr Desquirr is a decompiler plugin for IDA Pro. It is written by Eriksson as part of a Master Thesis in Software Engineering. It ...
DiSTiL: A transformation library for data structures by YannisSmaragdakis and DonBatory ResearchIndex http://citeseer.nj.nec.com/smaragdakis96distil.html
Homepage: http://www.cs.vu.nl/~dick/ CompilerConstruction http://www.cs.vu.nl/~dick/CS Summaries.html CategoryPeople
Homepage: http://www.cse.ogi.edu/~dick/dick.html CategoryPeople
IEEE Digital Library: http://www.computer.org/publications/dlib/index.htm ACM Digital Library: http://www.acm.org/dl/
Digital Signal Processors are processors with special features for fast processing of signals. It is a challenge to write programs for these architectures that are ...
Diomidis Spinellis: http://softlab.icsd.aegean.gr/~dspin/ Topics: DomainSpecificLanguages
Disassembly Disassembly is the process of translating an executable program into its equivalent assembly representation. The greatest problem with disassembling is ...
http://www.debugmode.com/dcompile/disc.htm The disC page describes a crude decompiler for DOS Turbo C 2.0 and 2.01 programs. The source is free to download. The author ...
http://www.winsite.com/bin/Info?500000009137 disasm32 is a visual symbolic disassembler for Windows95 and WindowsNT 32 bit Portables Executables (PE). It runs under ...
Disinformation is a decompiler for Z-machine data files (Infocom or Inform), to decompile Infocom games to add rooms and objects to the game. It works best on Inform ...
Hans-Peter Diettrich, better known as DoDi, is author of a well-known set of Visual Basic decompilers (VBDis 3/4/5), and has worked on decompilers for executables ...
DocGen is a DocumentationGeneration tool aimed at redocumenting LegacySystems written in languages such as COBOL, DB2, JCL, as well as proprietary languages. It is ...
Document Object Model: a tree-based object-oriented API for XML document manipulation: see http://www.w3.org/DOM/
DocumentTypeDefinition (DTD) is the original SchemaLanguageForXML and is in fact part of the XML standard. DTD is a LocalTreeGrammar. This means that the same terminal ...
Deriving (on line) documentation from source code. The purpose is to help maintainers or developers understand the system they are working on. The article BuildingDocumentationGenerators ...
Domain Analysis is the first DomainEngineering step. Following GenerativeProgrammingBook, p. 23, the purpose of Domain Analysis is to: Select and define the domain ...
Following GenerativeProgrammingBook, p.24, the purpose of Domain Design is to develop a SoftwareArchitecture for the family of systems in the domain ; and to devise ...
Domain Engineering involves creating a set of reusable assets for building systems in a particular problem domain. These reusable assets are then assembled to customer ...
This page is intended to discuss the question Is Domain Engineering compatible with Agile Software Development? Given the current popularity of agile methodologies ...
Just one of the many DomainSpecificLanguages
Domain-Specific Language Design Requires Feature Descriptions ArieVanDeursen and PaulKlint Journal of Computing and Information Technology , 2002. Abstract A DomainSpecificLanguage ...
A little language, that helps in a particular application domain. A more formal definition from the DSLAnnotatedBibliography: A domain-specific language (DSL) is a ...
Homepage: http://www.cs.utexas.edu/users/dsb/ DiSTiL GenVoca CategoryPeople
Don Roberts homepage: http://st-www.cs.uiuc.edu/users/droberts/homePage.html SmalltalkRefactory ARefactoringToolForSmalltalk ProgramRefactoring CategoryPeople
Donald Knuth is a computer scientist that invented many techniques relevant for language processing, including: LR parsing AttributeGrammar(s) Literate programming ...
Description This page describes how to donate your grammar to the GrammarBase by email in case you don't have write access to the central GrammarBase CVS repository ...
Description This page describes how to donate your grammar to the GrammarBase by adding it to the central CVS repository. It requires write permission the the GrammarBase ...
Description The optimizer prototyping toolset Dora Farnum90 consists of a set of languages embedded in Lisp. One of the languages is the transformation language Tess ...
Dot and neato are two graph layout tools that share an almost identical graph format. Dot makes layouts of directed graphs whereas neato is for undirected graphs. ...
I have collected tests from various places, and tested .NET to C# decompilers that I could get access to for free. Salamander tests Anakrino tests Reflector tests ...
.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...
Designer/implementer of KIDS. Homepage: http://www.kestrel.edu/HTML/people/smith/
Homepage: http://www.cs.rice.edu/CS/PLT/packages/drscheme/ DrScheme is an interactive programming environment for SchemeLanguage. CategorySystem Main.EelcoVisser ...
Draco-PUC is a transformation system based on the original DracoSystem. http://www.inf.puc-rio.br/~draco/ Main.EelcoVisser 20 Feb 2004
The Draco system was the first to pioneer with DomainSpecificLanguages employing ProgramTransformation for their implementation. The system featured parser and pretty ...
http://www.bayfronttechnologies.com/manual.htm Documentation of the DracoSystem.
Conferences / Workshops / Journals / Special Issues devoted to DomainSpecificLanguages. (Listed in reverse chronological ordering of the submission date) Workshop ...
http://www.geocities.com/phoenixdis/ From the web page: DSM Studio is a application to aid disassembly and inspection of Windows based executables built for the Intel ...
Homepage: http://www.dynamicaspects.com Developing the domain/object platform. domain/object is a new kind of execution environment that blurs the traditional distinctions ...
A translator which performs its transformations as the program is running . Because the user is waiting for the program to actually run while the translation is happening ...
Homepage: http://www.ecoop.org/ European Conference on Object-Oriented Programming Dates Submission: October Conference: June Past Events : http://www.ecoop.org/conferences ...
ELAN is an algebraic specification formalism that first introduced RewritingStrategies. Homepage: http://elan.loria.fr Contact: ELAN elan@loria.fr Influences AlgebraicSpecification ...
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of existing and new conferences and other events that has ...
http://www.disi.unige.it/etaps2001/
The Electronic Tool Integration Platform (ETI) http://eti.informatik.uni-dortmund.de/ http://www.eti-service.org/
Homepage: http://www.haley.com/0288108556162049/Eclipse.html PaulHaley CategorySystem Main.EelcoVisser 20 Nov 2001
Homepage: http://www.cs.uu.nl/staff/eelco.html Stratego.RhoStratego CategoryPeople
Homepages http://eelcovisser.org Stratego.EelcoVisser ProgramTransformation interests Taxonomy Systems Strategies Organization on Rule Based Programming ProgramTransformationOrg ...
M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient Annotated Terms. Software Practice Experience , 30:259-291, 2000. Abstract How do distributed ...
Homepage: http://www.eiffel-nice.org Eiffel is an object-oriented programming language that supports multiple inheritance.
Homepage: http://www.research.philips.com/technologies/syst softw/elegant/ Elegant is a compiler implementation language originally built on the paradigm of AttributeGrammars ...
Elkhound is a parser generator based on the GLR algorithm. See http://www.cs.berkeley.edu/~smcpeak/elkhound/ Main.EelcoVisser 03 Jan 2003
Elliot Chikofsky http://pathbridge.net/chikofsky/ CategoryPeople
This ProgramTransformationOrg Wiki is a collaborative effort to collect and disseminate information on various aspects of ProgramTransformation, ranging from a general ...
Standards IEEE Std. 610.12 Standard Glossary of Software Engineering Terminology , 1990 IEEE Std. 1219 Standard for Software Maintenance , 1998 ISO/IEC 14764 Software ...
A data exchange format provides a formal notation for the linear description of data to be exchanged between tools. See the ExchangeFormatBibliography for an overview ...
Exchange Format Bibliography by HolgerKienle, JoergCzeranski and ThomasEisenbarth This paper gives a bibliographical overview and a classification of ExchangeFormats ...
ftp://ftp.microsoft.com/Softlib/MSLFILES/EXEFMT.EXE Self-extracting zipped file which contains a description of the New Executable (NE) 16-bit Windows format. Retrieved ...
http://sourceforge.net/projects/exetoc This is a decompiler for Win32 executable files, hosted on Windows. For a first release, it's quite good. It seems to have reasonable ...
A beta-release of the decompiler exec2c by Scott Guthery was distributed to beta testers in 1991. The program is copyrighted by `The Austin Code Works and Polyglot ...
Explicitly reloading pages is necessary in some cases to see updated links after adding new pages to the XT wiki. How to explicitly reload a page is browser specific ...
The Extensible Stylesheet Language (XSL) XSL is a language for expressing stylesheets. It consists of three parts: XSL Transformations (XSLT): a language for transforming ...
Links Leon Moonen's graph tools: http://www.cwi.nl/~leon/hacks/graph-tools/ Graphviz: http://www.research.att.com/sw/tools/graphviz/
ExtractorBenchmarks address the difficulties of FactsExtraction. A benchmark has many applications; it could be used by developers of extractors as a test suite; by ...
Fun way of developing software attracting a lot of attention these days. See http://www.c2.com/cgi/wiki?ExtremeProgrammingRoadmap for an extensive (and great!) wiki ...
Language-independent ExchangeFormat for representing object-oriented source code developed in the FamoosProject. See http://iamwww.unibe.ch/~famoos/FAMIX/ Concepts ...
Federated Logic Conference Copenhagen 2002: http://floc02.diku.dk/ Included conferences CADE CAV FME ICLP LICS RTA TABLEAUX Dates Submissions: January Conference ...
See FeatureOrientedDomainAnalysis
ACM SIGSOFT Symposium on the Foundations of SoftwareEngineering. Submissions: March Conference: September 2001: http://esec.ocg.at/ 2002: http://www.cs.pitt.edu/FSE ...
FSF is the Free Software Foundation. http://www.fsf.org http://www.gnu.org
Homepage: http://www.iasi.rm.cnr.it/~fioravan/ MAPTransformationSystem CategoryPeople
FactsExtraction is the first step of a ReverseEngineering or ReEngineering effort. An extractor (a.k.a. parser or analyzer) processes the LegacySystem's artifacts ...
Raimar Falke's Diploma Thesis is written in German. For English readers, I have translated the final section using Google's translation facility and some hand editing ...
The goal of the FAMOOS Esprit project is to support the evolution of first generation object-oriented software, built with current analysis and design methods and ...
The Father of Decompilation ATTACHURL /maury.jpg \ ATTACHURL /maurysig.jpg Permission Requested. IEEE Transactions of Software Engineering. \ Figure courtesy of Bill ...
Part of the FeatureModel giving a graphical representation of variable and common concept features. Feature diagrams distinguish between mandatory, optional, alternative ...
A feature model results from DomainAnalysis / DomainEngineering. It covers A description of the individual features The feature commonalities and variabilities of ...
GCSE`01 Feature Modeling Workshop Motivation and Goals The concept of features is becoming more and more popular in different areas of SoftwareEngineering, such as ...
Feature-Oriented DomainAnalysis (FODA). FODA is one of the first DomainEngineering methods. It was developed at the SEI in the early 1990s. It has introduced the FeatureModel ...
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 ...
INCLUDE{" TWIKIWEB .FileAttachment"}
Forms2.net by ATXSoftwareSA is a tool that allows companies to migrate existing Oracle©Forms applications to Microsoft©.NET http://www.atxsoftware.com/?sec products ...
Fortran ( Formula Translation ) is a language for numerical programming. Language definition http://cray-doc.jaist.ac.jp:8080/library/all/007-3694-004 Conversion from ...
The ReverseAndReengineeringTaxonomy defines forward engineering as the traditional process of moving from high-level abstractions and logical, implementation-independent ...
FoxBase/FoxPro/Clipper I don't know much about Foxbase. Pointers welcome. ReFox http://www.hieroglyphix.co.uk/refox.php from http://www.xitech-europe.co.uk (ReFox ...
Homepage: http://contraintes.inria.fr/~fages/ WorkshopOnRuleBasedProgramming CategoryPeople
Francoise Balmas http://www.ai.univ-paris8.fr/~fb/ CategoryPeople
I don't get it how this Wiki works. ;-) Anyway. See http://losser.st-lab.cs.uu.nl/~visser/cgi-bin/twiki/view/Main/FrankGerhardt Main.TWikiGuest 21 Oct 2001
This is my idea of how I would write a general decompiler: 1.Lets assume, we start with the assembler output of the disassemblers, which already contain the proper ...
The Free On-Line Dictionary of Computing on ProgramTransformation: http://www.foldoc.org/foldoc/foldoc.cgi?program+transformation
Description ``Free software is a matter of liberty, not price. To understand the concept, you should think of ``free speech , not ``free beer. ``Free software refers ...
Homepage: http://www.cl.cam.ac.uk/users/amp12/freshml/ FreshML is an extension of the programming language ML. The innovation of the language is the extension of ...
FrontEndART provides extractor front ends for the re/reverse engineering community in industry and academia. Our tools produce data that conform to a generally applicable ...
Functional Programming is a programming paradigm in which a program consists of a sequence of function definitions. See also: HaskellLanguage.
In functional ProgrammingLanguages computations are defined through functions that map argument values to result values. In pure functional languages this is the only ...
Description Functional programming languages can be used as a platform for program transformation in particular and transformational programming in general. A transformation ...
Functional Transformation Systems by JanKort, RalfLaemmel, and JoostVisser Available: Draft 1 . From Citeseer: paper.
Homepage: http://www.gnu.org/software/gcc/ The GNU Compiler Collection
A transformation framework for ANSI C and C with GCC extensions implemented in ANTLR. Included is a complete ANSI C lexer, GNU C lexer, ANSI C parser, GNU C parser ...
Homepage http://gcse2001.cs.rug.nl/ Conference on Generative and Component-Based Software Engineering Deadline: May Conference: September Description (from the conference ...
GDL is an acronym that stands for GraphDescriptionLanguage.
GEARS, a product of BigLeverSoftware, provides infrastructure and a development environment for creating software mass customization product lines. Main.JoostVisser ...
GEL is an acronym that stands for Graph Exchange Language. Be careful to not confuse with GXL, which also stands for GraphExchangeLanguage. Resources: ftp://ftp.cwi ...
GHC, the Glasgow Haskell Compiler, is implemented according to the CompilationByTransformation paradigm. http://www.haskell.org/ghc/
GML is an acronym that stands for GraphModelingLanguage.
GMake is the Gnu version of the MAKE tool. It has a different `dialect' compared to other versions of the MAKE tool (like the Solaris or Bsd versions). http://www ...
GNU is a recursive acronym for ``GNU's Not Unix .
GNU GENERAL(?) PUBLIC(?) LICENSE(?) Version 2, June 1991 Copyright (C) 1989, 1991 Free Software Foundation, Inc. 1.9 Temple Place, Suite 330, Boston, MA(?) 02111 ...
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 ...
GPL is short for the GNU General Public License. See http://gplv3.fsf.org for information on debate about the proposed new version.
Paper: Based Definition of Metaprogramming Systems Main.EelcoVisser 20 Jun 2002
Short for GraphExchangeLanguage
See http://www.unl.ac.uk/simt/staff/galal.shtml CategoryPeople
Homepage: http://web.comlab.ox.ac.uk/oucl/work/ganesh.sittampalam/ MAG IntentionalProgramming GaneshSittampalam 21 Aug 2001 CategoryPeople
Homepage: http://www.first.gmd.de/~ma/gemmex/ Gem-Mex is the support environment for the Montages method and stands for "Graphical Editor for Montages and Montages ...
GenVoca is an approach to building software system generators based on composing object-oriented layers. Rather than talking directly to a layer, used layers are included ...
Main.WardBekker 03 Jan 2006 With GenWise Studio, a unique template-based IDE, you can generate a professional database-driven Asp.Net 2.0 web application within ...
Generation of Software Renovation Factories from Compilers by Alex Sellink and Chris Verhoef. Available: postscript 1 html 2 pdf 3
Here are some companies that apply generative programming: BayfrontTechnologies BigLeverSoftware DeltaSoftwareTechnology MontagesSoftwareServices SemanticDesigns CategoryGenerativeProgrammingWiki ...
Generative Domain Model The key to automating the assembly of software systems is a generative domain model (GDM) that consists of a problem space, a solution space ...
Conferences, workshops, and other events related to Generative Programming Calendar The events are ordered reverse chronologically. Feel free to add missing events ...
This page lists some links related to Generative Programming Sites http://www.generative-programming.org, connected to the GenerativeProgrammingBook Wiki on Transform ...
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 ...
Here are some definitions of generative programming. 1 The goal of generative programming is to replace manual search, adaptation, and assembly of components with ...
Generative Programming: Methods, Tools, and Applications. KrzysztofCzarnecki and Ulrich W. Eisenecker. Addison-Wesley, 2000. http://www.generative-programming.org ...
Welcome to the Generative Programming Wiki! The purpose of this wiki is to provide a forum to the GenerativeProgramming community. Browsing and Editing Wiki Pages ...
TOC Introduction The lists below are generated automatically based on the Category mechanism it may take some time to construct the complete page. If you feel a ...
This page lists examples of successful application of GenerativeProgramming. The RislaLanguage is a DSL for interest rate products. It was initially developed in the ...
The first workshop on this topic was very successful, resulting in the GenerativeModelTransformer project. A second workshop is scheduled for 27 October at OOPSLA ...
This page lists tools that are relevant to generative programming. Only brief descriptions of tools are given. For further information on the various tools, links ...
Homepage: http://www.generic-haskell.org/ Generic Haskell is an extension of HaskellLanguage with PolyTypic functions. CategoryLanguage Main.EelcoVisser 13 May ...
The Generic Modeling Environment (GME) is a configurable toolkit for creating domain-specific modeling and program synthesis environments. http://www.isis.vanderbilt ...
Chapter 6 of GenerativeProgrammingBook defines Generic Programming as: Generic programming is a subdiscipline of computer science that deals with finding abstract ...
GenericSetup aims to replace Tools.AutoMake, Tools.AutoConf and LibTool. Development has stopped long ago. http://sourceforge.net/projects/gsetup/
Georgia Tech, College of Computing, http://www.cc.gatech.edu/ Topics: SoftwareVisualization SoftwareEvolution ProgramUnderstanding ReverseEngineering
Homepage: http://www.dsic.upv.es/~gvidal GermanVidal interests: multi-paradigm (functional logic) languages, program transformation, partial evaluation, slicing, ...
The GnuProjectToolKit packages Tools.AutoMake, LibTool, Tools.AutoConf, etc. in one package. http://sourceforge.net/projects/osdtk/
Homepage: http://www.cs.umn.edu/~gopalan TeyjusSystem LambdaProlog CategoryPeople
Cameron and Ito. Grammar-Based Definition of Metaprogramming Systems. ACM Transactions on Programming Languages and Systems Vol. 6, No. 1, January 1984, Pages 20-54 ...
Grammar engineering is a form of ProgramTransformation applied to grammars or SyntaxDefinitions to improve tree structure, to adapt the language defined, or to convert ...
The Graph Description Language (GDL) of the VCG tool and its successor aiSee describes graphs in terms of nodes, edges, subgraphs and their attributes. The GDL syntax ...
GraphEd is an Interactive, Extensible Editor For Graphs and Graph Grammars with lots of Layout and other Algorithms. Homepage: http://www.infosun.fmi.uni-passau.de ...
Originated from graph-based modeling research done in Koblenz see http://www.gupro.de/ and http://www.gupro.de/GXL/ The Graph Exchange Language (GXL) is designed ...
Graph drawing and editing tools typically have their own graph specification format. The format has typically a textual representation that is easy to read and write ...
The Graph Modeling Language (GML) (which is used by Graphlet) has a simple and orthogonal syntax. A GML file consists of key-value pairs. Values can be integers, floats ...
GraphXML is a graph description language in XML. For details see http://www.cwi.nl/InfoVisu/GraphXML (broken, but still available here). GraphXML An XML based graph ...
Name GraphXML2dot Synopsis GraphXML2dot i graph.gxml.af o graph.dot.af Description The component GraphXML2dot converts a graph in GraphXML format to dot format. Input ...
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 ...
HTML (Hypertext Markup Language) is the DataFormat used to specify the content of WWW pages. CategoryLanguage Transformation tools that can be applied to HTML: DMSSoftwareReengineeringToolkit ...
Homepage: http://www.cs.york.ac.uk/fp/HaXml/ HaXml is a domain-specific language for transforming XML documents embedded in HaskellLanguage.
Hacker Disassembling Uncovered, Kris Kaspersky. A-List Publishing, 2003. ISBN: 1931769222, 584pp, soft cover. The book is divided into two parts. Part 1 is "Getting ...
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 ...
The purpose of the Haskell Workshop is to discuss experience with Haskell, and possible future developments for the language. The scope of the workshop includes all ...
Hausi M ller http://webhome.cs.uvic.ca/~hausi/ CategoryPeople
One of the implementors of the Tools.ATermLibrary. CategoryPeople
HeVeA is a translator for LaTeX to HTML written in CAML. CategorySystem
Homepage: http://njutov.warande.net/~pretzel/ hhwestra@cs.uu.nl CobolX
Homepage: http://www.loria.fr/~hkirchne/ ELAN CategoryPeople
http://www.informatik.uni-ulm.de/pm/ CategoryPeople
Homepage: http://www.cs.uu.nl/people/henkp/ System administrator at Utrecht University CategoryPeople
Homepage: http://danae.uni-muenster.de/lehre/kuchen/ WorkshopOnRuleBasedProgramming CategoryPeople
http://www.hex-rays.com BR http://hexblog.com/2007/04/decompilation gets real.html BR http://www.hexblog.com/hexrays/manual Hex-Rays is a decompiler plug-in for the ...
by MichaelWolfe. Addison-Wesley, 1995. From the author: http://www.pgroup.com/~mwolfe/book/ From the publisher: http://www.awl-he.com/titles/0805327304.html http: ...
Generation of code for the FastFourierTransform DigitalSignalProcessors OctaveLanguage SAGA, Stratego.CodeBoost TAMPR http://www.netlib.org/ http://www.nhse.org/ ...
An ongoing project to use higher order abstract syntax and higher order logic programming for compiler implementation by ChuckLiang http://cs.hofstra.edu/~cscccl/hocompiler ...
History of Decompilation (1960-1979) Decompilers have been written for a variety of applications since the development of the first compilers. The very first decompiler ...
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 ...
History of Decompilation (2000-present) #TopicAsm21toc University of London's Asm21toc reverse compiler, 2000. This assembly language decompiler for Digital Signal ...
Home page: http://holgerkienle.wikispaces.com/ Topics: ExtractorBenchmarks DomainSpecificLanguages ExchangeFormatBibliography RigiSystem CategoryPeople
Homepage: http://www.loria.fr/~cirstea/ ELAN RewritingCalculus CategoryPeople
htmlrsf is a command line program that is part of the RigiSystem. If your Rigi environment is setup, docu is located at $RIGI/doc/rigiutils/htmlrsf.html executable ...
International Conference on Functional Programming Deadline: March Conference: October PLI, PPDP 2002: http://icfp2002.cs.brown.edu/CfP/ 2001: http://www.cs.luc.edu ...
ICON is a high-level programming language Resources http://www.cs.arizona.edu/icon/ http://www.nmt.edu/tcc/help/lang/icon/references.html Main.EelcoVisser 20 Feb ...
International Conference on Software Engineering. Submission: August Conference: May See: http://www.icse-conferences.org/ http://www.acm.org/pubs/contents/proceedings ...
The International Conference on Software Maintenance Deadline: March Conference: September Chicago Illinois, USA (2004) Homepage: http://conferences.computer.org ...
International Conference on SoftwareReuse 2002: http://asercweb.quase.ualberta.ca/Conferences/ICSR7 Deadline: October Conference: April CategoryConference
IDA Pro is a commercial program for disassembling a wide array of different file types for different processors, written by Ilfak Guilfanov. It can disassemble virtually ...
The Institue of Electrical and Electronic Engineers, an organisation representing engineering and computer professionsals. http://ieee.org http://computer.org/ (Computer ...
International Federation for Information Processing http://www.ifip.or.at/ Annual IFIP World Computer Congress: http://www.wcc2002.org/en/index.html
International Symposium on SoftwareTesting and Analysis Every two years. Call for papers: February Conference: July Proceedings: ACM SIGSOFT Software Engineering Notes ...
International Conference on Information Visualization, also dealing with SoftwareVisualization. http://www.graphicslink.demon.co.uk/IV2001/ DigitalLibrary proceedings ...
International Workshop on ProgramComprehension. Submission: January Conference: June 1999: http://www.computer.org/proceedings/iwpc/0179/0179toc.htm 2000: http://www ...
International Workshop on Principles of Software Evolution IWPSE 2004 IWPSE 2003 CategoryConference CategorySoftwareEvolution
Identifying Objects using Cluster and Concept Analysis ArieVanDeursen and TobiasKuipers. In 21st International Conference on Software Engineering, ICSE-99, 1999, ...
See http://www.computer.org/software/ http://www.computer.org/software/archives.htm CategoryJournal
Homepage: http://www.ilog.com/products/rules/ CategorySystem Main.EelcoVisser 20 Nov 2001
Imagix Corporation produces reverse engineering, quality metrics, and documentation solutions. Imagix provides provides tools and support to help developers work with ...
Imagix 4D is a ReverseEngineering, metrics and DocumentationGeneration tool for legacy C and C++ software. From ImagixCorporation, Imagix 4D is intended for developers ...
Implementation of Program Transformation Systems Here is a list of techniques that are used in the implementation of transformation systems LexicalAnalysis ProgramParsing ...
A paper on a VisualLanguage for RuleBasedProgramming URL: http://vision.unipv.it/research/papers/00tr-prbdfvl/prbdfvl.html CategoryPaper
There may be a few machine code patterns that are impossible to decompile automatically. These would therefore require expert human intervention to decompile successfully ...
Industrial Applications of ASF SDF MarkVanDenBrand, ArieVanDeursen, PaulKlint, S. Klusener and E. A. van der Meulen. Industrial Applications of ASF+SDF. I n M. Wirsing ...
IEEE Symposium on Information Visualization http://www.infovis.org/infovis2001/ Submission: April Conference: October Digital library proceedings: http://www.computer ...
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
See CodeGeneration Main.EelcoVisser 08 Jan 2002 CategoryTransformation ProgramOptimization
An IntegratedDevelopmentEnvironment is a tool for software development. Usually it is a graphical tool optimized for Rapid Application Development. It contains an ...
Description Intentional programming developed at Microsoft Research Ait98 is a method for extending a language with new constructs or intentions . The meaning of ...
http://www.legacy2web.com/ Established in 1997, Intercomp is a leading international tool developer and solution provider for analyzing, Web-enabling and re-engineering ...
The Interactive Decompiler http://idc.sourceforge.net/wiki/index.html This is an interactive, extensible assembly language decompiler written in Python. The interactivity ...
International Conference on Software Maintenance Homepage: 2001: http://www.dsi.unifi.it/icsm2001/ 2002: http://www.icsm2002.org 2003: http://www.cs.vu.nl/icsm2003 ...
Offers CodeBeamer, a product for browsing, understanding, reengineering Java and C++ systems. http://www.intland.com/ CategoryCompany
Way of bootstrapping the contents and discussions of a wiki web see http://c2.com/cgi/wiki?InvitedAuthors ArieVanDeursen 14 Oct 2001.
Homepage: http://www.semdesigns.com/Company/People/idbaxter/index.html SemanticDesigns DMSSoftwareReengineeringToolkit Coverage For Arbitrary Languages Made Easy ...
Description An island grammar only precisely defines small portions of the syntax of a language. The rest of the syntax is defined imprecisely, for instance as a ...
IBM's job control language the shell of the mainframe. Designed for easy processing from punch cards of the OS360 system. Significant source of LegacyProblems. The ...
JMK is an implementation of MAKE in Java. Its syntax is very make like but only Java is supported. http://sourceforge.net/projects/jmk/
Description JOIE is a system for Java bytecode transformation. References http://www.cs.duke.edu/ari/joie/ Automatic Program Transformation with JOIE: http://www ...
JQuery is query-based source code browser for Java, based on Eclipse. The tool is itself an Eclipse plugin and also uses the infrastructure of Eclipse for parsing ...
JReversePro is an open source Java Decompiler / Disassembler written entirely in Java. From the home page: "The utlimate objective of this project is to provide a ...
See JavaTreeBuilder
Transformation system for the Java programming language. Program transformation is a powerful technique for supporting software engineering activities: refactoring ...
Bali Bali generate from a single grammar specification: lexical analyzer (JLex) parser (CUP) class hierarchies for tree nodes, including unparsing methods (pretty ...
JamMR is a MAKE like tool. It has a MAKE like syntax, but it is `easier' to build Jam files. In my view they lost some of the power of make, though. It is aimed at ...
Homepage: http://www.cs.queensu.ca/~cordy/ TXL CategoryPeople
James Cross http://www.eng.auburn.edu/users/cross/ CategoryPeople
Homepages http://www.research.microsoft.com/~larus/ http://www.cs.wisc.edu/~larus/larus.html CategoryPeople
Homepage: http://www.cwi.nl/~jan/ ASFandSDF Stratego.CodeBoost CategoryPeople
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 ...
JavaCC (Java Compiler Compiler) is the most popular parser generator for use with Java applications. Website: https://javacc.dev.java.net/
For most parser generators there exists a grammar for the Language. Overview: SableCC 1.0.2 1.1 1.4 JavaCC 1.5 ANTLR: Parsers, Part III: A Parser For The Java Language ...
I have collected 9 tests from various places, and tested 9 bytecode to Java decompilers that I could get access to for free. The best one (JODE) only passes 6 of the ...
TOC Java Bytecode Decompilers Decompilers that read Java bytecode programs usually decompile to Java, since that is the language that the majority of such programs ...
Sun's HotSpot. See also their white paper and technical report "Mixed-mode Bytecode Execution". Overview of the IBM Java Just-in-Time Compiler. IBM's Jikes RVM (the ...
Not to be confused with IMake, JavaIMake is a platform independent make processor. It is written in Java and it requires Java to run. It is a commercial product. http ...
Java is an object-oriented language. http://www.java.sun.com/ Compilers Decompilers Dynamic Compilers Native Compilers Transformation Systems Parser Generators Transformation ...
It seems that most Java native compilers (which allow you to compile your Java source code to native machine instructions) actually read .class files, rather than ...
JonathanHardwick describes a number of Java optimizations at http://www.cs.cmu.edu/~jch/java/
JavaCC LL(1) parser generator producing Java code SableCC LALR parser generator. Generates parse tree and abstract syntax tree classes as well. CUP LALR parser ...
Description One of Java's strengths is that it was designed with the assumption that the environment in which it was running would be changing dynamically. Classes ...
contactinformatie: Matthias van Mourik (mmourik@cs.uu.nl) Vincent van Harmelen( vharmele@cs.uu.nl) projectomschrijving: argouml uitbreiden zodat de omzetting van ...
TOM is a pattern matching compiler, developed at INRIA Website: http://tom.loria.fr/
Homepage: http://www.cs.purdue.edu/jtb/ JTB is a syntax tree builder to be used with the Java Compiler Compiler (JavaCC) parser generator. JensPalsberg
Contact Information Laboratory of Database Application Engineering (LIBD) University of Namur rue grandgagnage 21d 5000 Namur Belgium e-mail : jean.henrard@info.fundp ...
home page http://www-adele.imag.fr/~jmfavre I've just understood how Wiki works. That's fun! (well, I still do not understand what is the parent of a page or at least ...
Jens Jahnke, University of Victoria http://www.csr.uvic.ca/~jens/ CategoryPeople
Homepage: http://www.cs.purdue.edu/people/palsberg JavaTreeBuilder CategoryPeople
Website: http://www.cs.utah.edu/plt/jiazzi/ Main.MartinBravenboer 08 May 2005
Designer/implementer of TAMPR. CategoryPeople
James M. Neighbors (Jim) is the designer of the DracoSystem. CategoryPeople
Homepage: http://www.cs.uu.nl/~johanj/ ProgramCalculation CategoryPeople
Homepage: http://www.notamusica.com/~jmartin/ Topics: RigiSystem
Designer/implementer of TAMPR.
John Brant homepage: http://st-www.cs.uiuc.edu/users/brant/ SmalltalkRefactory ARefactoringToolForSmalltalk CategoryPeople
Homepage: http://www.cs.wvu.edu/~callahan/ NewJacc CategoryPeople
John Gallagher works in program analysis and transformation of logic programs Homepage: http://www.cs.bris.ac.uk/~john/ CategoryPeople
Homepage: http://www.cs.cmu.edu/~jch/ JavaOptimization
Homepage: http://www.di.uminho.pt/~joost.visser On Stratego subweb: Stratego.JoostVisser On Main subweb: Main.JoostVisser Affiliation: Universidade do Minho Topics ...
Jorn Bettin joern.bettin@acm.org http://www.softmetaware.com Transform.CategoryPeople
Homepage: http://horru.lsi.uniovi.es/~labra/ LPS CategoryPeople
Homepage: http://qtj.dhs.org/JPM/ QuinTylerJackson
Journal published by John Wiley devoted to SoftwareMaintenance and SoftwareEvolution. See http://www.interscience.wiley.com/jpages/1040-550X/ CategoryJournal
Journal of Systems and Software http://www.elsevier.nl/locate/jss On line at: http://www.sciencedirect.com/science? ob JournalURL cdi 5651 auth y acct C000040419 version ...
http://juggersoft.com Also: http://www.sstglobal.com Originally: http://www.sourcecovery.com Note: No "re" and no hyphen; www.source-recovery.com is a different company ...
Homepage: http://www.cwi.nl/~jurgenv Main.JurgenVinju 22 Feb 2002
Just In Time dynamic compilers, also called JITs, are programs that postpone compilation (translation from some input language such as Java ByteCodes) until the code ...
The Khepera Transformation System A system for DSL implementation by source-to-source transformation Khepera is a tool kit for rapid implementation and long-term ...
KIDS (Kestrel Interactive Development System) is a prototype TransformationSystem. Homepage: http://www.kestrel.edu/HTML/prototypes/kids.html See also: DougSmith ...
Homepage: http://www.cs.uu.nl/staff/karina.html Stratego.StrategoLanguage CategoryPeople
Name : Karl Trygve Kalleberg Home Page : http://www.ii.uib.no/~karltk Research Interests: Program Representations, Domain-Specific Languages, Active Libraries, Program ...
Keith Bennet is one of the founders of the ResearchInstituteInSoftwareEvolution. http://www.dur.ac.uk/~dcs1elb/personnel/dcs0kb.html CategoryPeople
Kenny Wong http://www.cs.ualberta.ca/~kenw/ Topics: RigiSystem ProgramUnderstanding tools directory. CategoryPeople
Kevin D. Quitt wrote the following, about his compiler specific approach: 1. The executable has to be examined to see if it's a compressed executable (like what PKLITE ...
Krzysztof Czarnecki http://www.prakinf.tu-ilmenau.de/~czarn/ GenerativeProgrammingBook His currently a faculty member at Electrical and Computer Engineering, University ...
Homepage: http://www.cs.man.ac.uk/~kung-kiu/ CategoryPeople
Workshop on Language Descriptions, Tools and Applications Description The aim of this one day workshop is to bring together researchers from academia and industry ...
LEX is a lexical syntax definition formalism based on regular expressions. It was designed to be used in combination with the context-free syntax definition formalism ...
LNCS LectureNotesInComputerScience http://www.springer.de/comp/lncs/index.html
Homepage: http://www.ecs.soton.ac.uk/~mal/systems/logen.html LOGEN is an offline partial evaluation system for Prolog written using the so called "cogen approach ...
Homepage: http://lsi.uniovi.es/~labra/LPS/LPS.html LPS is a LanguagePrototyping System based on ModularMonadicSemantics and GenericProgramming A Language Prototyping ...
by JoseLabraGayo and M. C. Luengo Diez and J. M. Cueva Lovelle and A. Cernuda del Rio In Electronic Notes in Theoretical Computer Science 44 No. 2 (2001) http://www ...
LRR: A Laboratory for Rapid Term Rewriting by RakeshVerma CategorySystem Main.EelcoVisser 20 Nov 2001
LaTeX is a document preparation system. HeVeA is a translator for LaTeX to HTML written in CAML. CategoryLanguage
LamdaMake is an initiative to extend make with `user defined macro like functions, allowing dependencies to span makefiles'. However, this functionality can be achieved ...
Homepage: http://www.cse.psu.edu/~dale/lProlog/ LambdaProlog is a logic programming language with HigherOrderAbstractSyntax. TeyjusSystem GopalanNadathur CategorySystem ...
Homepage: http://www.kestrel.edu/HTML/people/meertens/index.html BirdMeertensFormalism CategoryPeople
Language Prototyping: An Algebraic Specification Approach ArieVanDeursen, JanHeering, PaulKlint (editors) World Scientific Publishing Co., 1996. AMAST Series in Computing ...
Homepage: http://www.lri.fr/Anglais/Recherche/demons/membres/puel.html ATypedPatternCalculus http://www.lri.fr/Francais/Recherche/demons/membres/Puel-all.html CategoryPeople ...
Lecture Notes in Computer Science (LNCS) is a series of conferenc proceedings published by SpringerVerlag. See http://www.springer.de/comp/lncs/index.html for details ...
"From Legacy Systems to Services in the Net" is a Marie-Curie TOK-IAP involving SoftSD and ATXSoftwareSA http://www.cs.le.ac.uk/SoftSD/Leg2Net/ Main.JoseLuizFiadeiro ...
L-CARE by ATXSoftwareSA http://www.atxsoftware.com/?sec products it 48
A legacy system is any information system that resists change . See M. L. Brodie and M. Stonebraker. Migrating Legacy Systems: Gateways, Interfaces and the Incremental ...
Legal aspects of ReverseEngineering can be complicated. CristinaCifuentes has collected some information on http://www.csee.uq.edu.au/~cristina/cal.html (now somewhat ...
If decompilation is possible to a certain extent, is it then also allowed? Decompilation can be used for a number of reasons (see WhyDecompilation for more), including ...
http://www.cwi.nl/~leon/ CategoryPeople
Linda Wills http://users.ece.gatech.edu/~linda/ CategoryPeople
Lisp stands for LISt Processing and was the first Programming Language. Resources: Lisp programming language at the Wikipedia Articles on Lisp at the site of Paul ...
Little Languages: Little Maintenance? By ArieVanDeursen and PaulKlint JournalOfSoftwareMaintenance, 10 :75-92, 1998 Abstract So-called little, or DomainSpecificLanguages ...
Liz Burd http://www.dur.ac.uk/liz.burd/ CategoryPeople
TWiki.TWikiRegistration is misused as login / authentication. This complicates stuff using htaccess now EelcoVisser 09 Nov 2001) In order to encourage people to ...
Kinds of loop optimizations LoopFusion LoopDistribution Systems and compilers that implement loop optimizations SUIF
Lua the Programming Language Lua is a powerful light-weight programming language designed for extending applications. Lua is also frequently used as a general-purpose ...
Homepage: http://www.eng.uerj.br/~ldmm/luiza.html PatternMatching CategoryPeople
LX is a general purpose compiled programming language, like C, C++, Pascal, Ada or Eiffel. As a language, LX has many interesting features. But what makes it interesting ...
Description MAG is a small transformation system for a subset of Haskell developed by OegeDeMoor and GaneshSittampalam. Homepage http://web.comlab.ox.ac.uk/oucl/research ...
The make tool is a tool to make software development easier. It gives the developer the possibility to define targets, with additional commands for compilation. Unfortunately ...
See MAPTransformationSystem
Homepage: http://www.iasi.rm.cnr.it/~proietti/system.html The MAP Transformation System is a tool which is designed to support the interactive transformation of logic ...
See ModelDrivenArchitecture. CategoryTransformation Main.MichaelLawley 29 Sep 2004
Homepage: http://www.mcs.le.ac.uk/merlin/ Workshop on Mechanized Reasoning about Languages with variable binding (MERLIN 2001) Deadline: March Conference: June
I have gathered a few tests for machine code decompilers. It's nowhere near as comprehensive as the JavaDecompilerTests. dcc tests REC tests Exe-2-c tests Boomerang ...
Decompilation of machine code programs usually requires a general approach. This approach analyses the semantics of the executable, and from this derives an equivalent ...
Homepage: http://www.ii.uib.no/~magne/ Stratego.CodeBoost SAGA CategoryPeople
Homepage: http://www.iit.demokritos.gr/~manolis CategoryPeople
Homepage: http://www.cs.indiana.edu/~mleone/ CategoryPeople
Homepage: http://www2.informatik.uni-erlangen.de/IMMD-II/Persons/Researchers/minas/ WorkshopOnRuleBasedProgramming CategoryPeople
Homepage: http://www.cs.yale.edu/homes/tullsen/ Works on a transformation system for transformation of HaskellLanguage programs, called PATH (Programmer Assistant ...
Homepage: http://www.cwi.nl/~markvdb/ ASFandSDF CategoryPeople
for Details see Main.MarkusVoelter Main.MarkusVoelter 22 Sep 2002
Homepage: http://www.cs.uu.nl/staff/martijn.html CategoryPeople
See Main.MartinBravenboer CategoryPeople
Homepage: http://www.martinfowler.com/ ProgramRefactoring RefactoringImprovingTheDesignOfExistingPrograms http://www.refactoring.com/ CategoryPeople
Homepage: http://www.cse.dmu.ac.uk/~mward/index.html Martin is the author of FermaT, a program transformation system. See also SoftwareMigrations. CategoryPeople ...
Homepage: http://maude.csl.sri.com/ Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming ...
Homepage: http://www.iasi.rm.cnr.it/~proietti/ MAPTransformationSystem CategoryPeople
Publications Maya: multiple-dispatch syntax extension in Java download Main.MartinBravenboer 08 May 2005
McCabe Associates http://www.mccabe.com Offers McCabe IQ2 tool suite for SoftwareTesting, ReEngineering, and quality assurance for LegacySystems. Founded by TomMcCabe ...
The MEMPHIS Tree Builder Tree Walker Tool http://www.combo.org/memphis/index.html
Merant ''MERANT Micro Focus provides the most comprehensive and scalable suite of COBOL application analysis, development, integration and testing, and deployment ...
Homepage: http://www.cs.mu.oz.au/research/mercury Mercury is a logic programming language with a high-performance compiler. CategoryLanguage
Contact information Homepage: http://www.cwi.nl/~mdejonge GenericPrettyPrinter XT GrammarTools GrammarBase XTSoftwareDevelopment ContributionToGB CategoryPeople ...
Meta-AspectJ (MAJ) allows the generation of AspectJ code in concrete syntax of AspectJ. Since AspectJ is a superset of Java, it can also be used for Java code generation ...
MetaEdit+ is a multi-user, multi-platform metaCASE tool that allows you to build your own development environment — without having to write a single line of code. ...
Homepage: http://www.cse.ogi.edu/PacSoft/projects/metaml/ MetaML is an extension of SMLofNJ with MetaProgramming features that support the construction, manipulation ...
MetaOCaml is a compiled, type-safe, multi-stage programming language. It is a multi-stage extension of the OCaml programming language, and provides three basic constructs ...
Staged Meta Programming Staged languages distinguish stages of execution. Many compile-time meta-programming systems distinguish only a run-time and a compile-time ...
MetaTool® is a specification-driven tool builder for creating tools that read textual languages and generate a variety of products such as programs, test tools, and ...
Homepage: http://www.ecs.soton.ac.uk/~mal/ Transformation of Logic Programs LOGEN CategoryPeople
Homepage: http://www.cs.wustl.edu/~plezbert/ ContinuousCompilers
MicroAPL Ltd. offer a variety of innovative porting tools and services. Relogix is an advanced new software conversion tool which can take assembly-language source ...
MicroAPL Ltd. http://www.microapl.co.uk MicroAPL Ltd. offer a variety of innovative porting tools and services. Relogix is claimed to be an advanced software conversion ...
Homepage: http://www.docs.uu.se/~mikpe/ PatternMatching aTermPatternMatchCompilerInspiredByFiniteAutomataTheory CategoryPeople
INCLUDE{Main.MikeVanEmmerik}
An affordable and easy to use software modelling tool (previously known as minUML). EctoSet offers a range of diagrams in an easy to use interface. Projects are stored ...
Producers of the Mips Architecture http://www.mips.com Main.EelcoVisser 01 Nov 2001
MixedCC (Mixed Compiler Compiler) is a generic parsing engine and parser generator. It is LL(1) capable of parsing and handling of inner layer stacks in multi-layer ...
ModelDrivenArchitecture (MDA) is often presented as a particular approach to ProgramRefinement or, more generally, ProgramSynthesis. Models are usually UML models ...
Model refactoring is the equivalent of ProgramRefactoring at model level. Instead of refactoring programs, models are being refactored. Model refactoring is a special ...
Model transformation is the equivalent of program transformation, but applied to models instead of programs. This encompasses design models (e.g., UML diagrams), architectural ...
Textbook on Compiler Construction by AndrewAppel. Used in a course on High-Performance Compilers. See the HPC0102 web. Main.EelcoVisser 29 Oct 2001 I've written ...
Homepage: http://www.mondrian-script.org MondrianInStratego
Montages form a visual framework for the formal description of syntax and semantics of object-oriented programming languages. It has now been transformed into a framework ...
Montages Software Services is a group of software engineers specializing in generative technologies and focused on the financial industry to increase their productivity ...
by PhilippKutter and AlfonsoPierantonio. In Journal of Universal Computer Science, vol. 3, no. 5 (1997), 416--442 Abstract Montages are a new way of describing all ...
The goal of the Morale project from GeorgiaTech is to facilitate SoftwareEvolution of LegacySystems. Facilitation takes the form of improved quality by requirements ...
The Mozart development environment (MozartDev) is a set of APIs that can be used to build user-extensible compilers. The APIs offer persistent and transient representation ...
Homepage: http://www.mozart-oz.org Announcement The Mozart Programming System 1.2.0 Available at: http://www.mozart-oz.org Systems supported: many Unix flavors, Windows ...
EelcoVisser. Multi-level specifications. In ArieVanDeursen, JanHeering, and PaulKlint, editors, LanguagePrototyping. An Algebraic Specification Approach , volume 5 ...
NDoc is source code documentation tool for C#, the language of the DotNet framework. Using NDoc: Adding World-Class Documentation to Your .NET Components Main.EelcoVisser ...
New-style EXE Format An executable (.EXE) file for the Windows operating system contains a combination of code and data or a combination of code, data, and resources ...
Tom Moran wrote: A working decompiler for NELIAC, an Algol 58 derivative language not too unlike C, is described (including source listing) in Appendix D in "Machine ...
Netron ''Accelerating e-business through legecy renewal'' http://www.netron.com/ Product: HotRod, for the purpose of application mining for COBOL systems, which is ...
Homepage: http://www.cs.wvu.edu/~callahan/software.html a parser generator system built upon Sun Microsystems JavaCC tool and the PurdueUniversity Java Tree Builder ...
http://www.eecs.harvard.edu/~nr/toolkit/ The New Jersey Machine-Code (NJMC) Toolkit helps programmers write applications that process machine code assemblers, disassemblers ...
Short for OrganizationDomainModeling Main.ArieVanDeursen 15 May 2001
Homepage: http://oopsla.acm.org/ Conference on Object-Oriented Programming, Systems, Languages and Applications Deadline: April Conference: October see also: TransformationConferences ...
Object-Oriented Reengineering Patterns is a book by Serge Demeyer, Stéphane Ducasse and Oscar Nierstrasz, published by Morgan Kaufmann and DPunkt. As the title says ...
Description OPTIMIX is a specification language for the specification of optimizers based on graph rewriting developed by UweAssman at the University of Karlsruhe ...
Description OPTRAN LMW88 is a specification language for attributed tree transformation written by Reinhard Wilhelm at the University of Saarlandes in the early 1980 ...
Object Identification is the search for candidate classes in a (procedural) LegacySystem See, for example, the following papers and their references: Maarit Haarsu ...
A framework is a set of classes that embodies an abstract design for solutions to a family of related problems (RalphJohnson and B. Foote, Journal of Object-Oriented ...
Examples of object-oriented programming languages are Simula67 BETA CPP JavaLanguage CategoryLanguage
Description of the language R++ from http://www.research.att.com/sw/tools/r++/ : R++ extends the C++ language with a single new programming construct the rule. In ...
Object-oriented Tree Traversal with Tools.JJForester TobiasKuipers, JoostVisser Abstract We want to use the advanced language processing technology available in the ...
Homepage: http://www.che.wisc.edu/octave/ Octave is a high-level language, primarily intended for numerical computations. It is an open source alternative to MatLab ...
Homepage: http://web.comlab.ox.ac.uk/oucl/people/oege.demoor.html CEO of Semmle, a company that develops .QL, an optimising implementation of Datalog for code queries ...
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 ...
Homepage: http://www.brics.dk/~danvy/ PartialEvaluation SimilixSystem CategoryPeople
ON THE INVERSE OF COMPILING W.L. Caudle Sperry-UNIVAC 26 April 1980 1. INTRODUCTION It is fitting that the subject of program conversion aids and portability be a ...
7. SUMMARY A decompiler model has been described which was implemented and which achieved a relatively high figure of merit. There are, however, many fundamental ...
Read: You can use this web site like any other. Navigate: This website has some extra features not found on most other websites. For example, all internal links are ...
Open C++ is a version of CPP with the Metaobject Protocol providing reflection capabilities. The programmer who want to use Open C++ writes a meta-level program, which ...
OpenJava: A Class-Based Macro System for Java (pdf) Additional resources: OpenJava website OpenJava tutorial Master thesis on OpenJava: An Extension Mechanism for ...
The OpenSource movement propagates distribution of software with its source code . http://www.opensource.org http://www.gnu.org/ http://www.gnu.org/philosophy/license ...
Abstract In an idealized world, researchers work together to incrementally build an edifice of knowledge, and to disseminate this knowledge in accesible and usable ...
DomainEngineering methodology devised by Mark Simos and co-authors. The major steps include Plan domain: Set objectives, analyze stakeholde Scope domain: selection ...
MerijnDeJonge EelcoVisser JoostVisser
A Case Study of Open Source Software Development The XT bundle of program transformation tools is an example of OpenSourceAcademicSoftware. Motivation for XT distribution ...
Why Researchers should produce Open Source Software Many research activities, escpecially in the field of computer science, involve the development of software. Sometimes ...
A Methodology for Developing Open Source Software integration tests configuration completeness / bundling of tools The CVS manual has the following to say: A true ...
Further Reading on Open Source and Tool Distribution Open Source Software The idea of free software originates in the Free Software Foundation (FSF). The GNU tools ...
Requirements of Academic Software For published software to be effective it should satisfy the following requirements. Open source Platform independent Testing Interface ...
Technology for Production of Open Source Distributions automake autoconf GNU tools build files package configuration bundle configuration WikiWiki CVS Next: OsasCaseStudy ...
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 ...
Homepage: http://www.ii.uib.no/~otto/ Stratego.CodeBoost CategoryPeople
Homepage: http://www.seclab.cs.sunysb.edu/padl/ Workshop on Practical Aspects of Declarative Languages Deadline: October 10 Workshop: March
Homepage: http://www.brics.dk/pado2/ Symposium on Programs as Data Objects Deadline: November Symposium: May
Homepage: http://www.semdesigns.com/Products/Parlanse/index.html A Parallel Language for Symbolic Expression Designed to support irregular parallel computations, ...
ACM SIGPLAN-SIGSOFT Workshop on ProgramAnalysis for Software Tools and Engineering 2002: http://www.cis.ksu.edu/~santos/paste2002/ 2001: http://www.infosun.fmi.uni ...
Programmer Assistant for Transforming Haskell A system for transformation of HaskellLanguage programs by MarkTullsen.
PortableBookShelf
PCCTS is the Purdue Compiler Construction Tool Set of TerenceParr that contains ANTLR and SORCERER.
Commercial tool. From the web page: PE Explorer is a tool for inspecting and editing the inner workings of Windows 32-bit executable files: EXE, DLL, OCX, and several ...
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 ...
Homepage: http://www.acm.org/sigs/sigplan/pldi.htm 2005 : http://www.research.ibm.com/pldi2005/ Programming Language Design and Implementation Deadline: November ...
Principles, Logics, and Implementations of high-level programming languages Submissions: March Conference: October Main conferences: ICFP, PPDP 2002: http://pli2002 ...
Homepage: http://www.acm.org/sigplan/popl.htm Principles of Programming Languages Deadline: July Conference: January 2002: http://www.cse.ogi.edu/PacSoft/conf/popl ...
The International Conference on Principles and Practice of Declarative Programming http://pauillac.inria.fr/~fages/PPDP/ Deadline: March Conference: September PLI ...
PREA Panel on Reverse Engineering and Architectural evolution Co-located with CSMR 2002 Tuesday 12 March 2002, 14:00 16:00 ReverseEngineering is the process of recovering ...
PROSPECTRA is the acronym for PROgram development by SPECification and TRAnsformation In the methodology of PROgram development by SPECification and TRAnsformation ...
Name Package name. Description Package description. Components List of components of the package. Documentation for these components can be formatted according to ...
Is it true that people find the current layout too full? Main.ArieVanDeursen The new layout only has a sidebar for navigation. Is this satisfactory? Main.EelcoVisser ...
Resources for programming for the PalmOS. Main.EelcoVisser 01 Aug 2002 Brian's Pilot Software Page
Homepage: http://conal.net/Pan Pan is a functional language for image manipulation designed by ConalElliott. ConalElliott and OegeDeMoor describe an implementation ...
Homepage: http://www.andrewcooke.free-online.co.uk/jara/pancito/index.html Pancito is a HaskellLanguage library for image manipulation created by AndrewCooke based ...
Panos Linos Home page: http://www.butler.edu/~linos/ CategoryPeople
Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ...
Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ...
A parse tree is a tree representation of the result of parsing a list of characters. A real parse tree contains the full inputstream. It then allows a yield operation ...
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 ...
Homepage: http://www.dickinson.edu/~johannp/ Stratego.WarmFusionInStratego Stratego.HSX Stratego.FusingLogicAndControl CategoryPeople
Pattern By Example (PBE) provides a mechanism to implement code patterns for any target language instead of applying the same theoretical concepts again and again ...
Resources Pattern Matching Pointers : http://www.cs.purdue.edu/homes/stelo/pattern.html Definition Term pattern matching comes in many variations. The basic problem ...
Homepage: http://www.haley.com EclipseLanguage RuleBasedProgramming CategoryPeople
Homepage: http://www.cwi.nl/~paulk/ ASFandSDF SoftwareImprovementGroup CategoryPeople
PC Executable Format Format of EXEC parameter block for AL 00h,01h,04h: Offset Size Description (Table 0877) 00h WORD segment of environment to copy for child process ...
Can be downloaded from a link near the top of An In-Depth Look into the Win32 Portable Executable File Format, Part 2. Self-extracting zipped file which contains a ...
I'm Peggy! http://www.csr.uvic.ca/~mstorey/ I'm interested in SoftwareVisualization SoftwareArchitecture InformationVisualization
Pennington Systems Incorporated was founded in 1977 to create and market systems software. Our main product is XTRAN, an expert system for manipulating computer languages ...
http://aiken.isy.vcu.edu/ CategoryPeople
Homepage: http://www.brics.dk/~pdm/ ActionSemantics CategoryPeople
Homepage: http://cm.bell-labs.com/cm/cs/who/wadler/ DeForestation CategoryPeople
Homepage: http://www.kutter.org/ MontagesFramework GemMex CategoryPeople
Homepage: http://dbs.cwi.nl:8080/cwwwi/owa/cwwwi.print people?ID 147 Tools.ATermLibrary CategoryPeople
The PILER Decompilation System TOC The PILER decompilation system is documented in Barb74 . However, this document is probably only available in Microfiche form, ...
Playing by the Rules: Rewriting as an Optimization Technique in GHC by SimonPeytonJones, AndrewTolmach and TonyHoare, In Proceedings of the 2001 Haskell Workshop ...
Extensible Compiler Framework Website: http://www.cs.cornell.edu/Projects/polyglot/ Polyglot is a Java class library that is easily extended through inheritance to ...
PPG is a parser generator for extensible grammars, based on the CUP parser generator. It provides the ability to extend an existing base language grammar written in ...
Homepage: http://www.isi.edu/software-sciences/wile/Popart/popart.html (Dead link, possible substitution: http://mr.teknowledge.com/wile/popart.html) Popart provides ...
PBS: The Portable Bookshelf Introduction The Software Bookshelf is a web-based paradigm for the presentation and navigation of information representing large software ...
http://www.microapl.co.uk/Porting/PortAsm.html PortAsm is a tool which translates assembly language source written for one processor into assembler source for another ...
The mother of all wiki's. See http://www.c2.com/cgi/wiki?WelcomeVisitors http://www.c2.com/cgi/wiki?WikiHistory
Frank Tip, Chris Laffra, Peter F. Sweeny, David Streeter. Practical Experience with an Application Extractor for Java . In Proceedings of the Fourteenth Annual Conference ...
Practical Reusable UNIX Software Krishnamurthy (editor) John Wiley Sons, 1995. Book about a collection of software from AT T Research Labs including AcaCia / CIAO ...
Practical Software Maintenance: Best Practices for Managing your Software Investment by Tom Pigoski, John Wiley, 1997. Text book on SoftwareMaintenance, with strong ...
Homepage: http://www.crpc.rice.edu/MSCP/preston.html CategoryPeople
Pretty-printing is mapping a structured (tree) representation of a program to a textual representation of that program in such a way that resulting program is readable ...
http://pvdasm.reverse-engineering.net/ ProView is a Pentium disassembler, PE (Windows Binary) editor, hex rditor, process manager, and it has a Plugin SDK. The whole ...
The idea is to find what procedures (functions, methods) call each other the most, and keep those near each other (in terms of virtual address). This maximizes the ...
With this technique, procedures are split into two parts, the main part (predicted to be executed frequently), and the "fluff" (code such as error recovery that is ...
ProgramAnalysis is the (automated) inspection of a program to infer some property. Program analysis is needed for most kinds of ProgramTransformation and can range ...
A methodology for deriving implementations from specifications. See also synthesis, refinement, Meertens Formalism. Main.EelcoVisser 01 Apr 2002
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 ...
See ProgramUnderstanding CategoryProgramUnderstanding
Program Comprehension Risks and Opportunities in Extreme Programming ArieVanDeursen , CWI, May 2001. Proceedings WCRE 2001, IEEE Computer Society. Abstract We investigate ...
See ProgramComprehensionRisksAndOpportunitiesInXP
Program derivation is a kind of ProgramTransformation in which an (efficient) implementation is derived from a (high-level) specification. If the specification can ...
The email list is described at: http://www.craigc.com/pg/email.html. This list is used for discussions on GenerativeProgramming, and postings of calls for papers for ...
by Main.CraigCleaveland Prentice-Hall, 2001 http://craigc.com/pg CategoryGenerativeProgrammingWiki CategoryBook Main.CraigCleaveland 02 May 2002
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 ...
A normalization reduces a program to a program in a sub-language, with the purpose of decreasing its syntactic complexity. Desugaring is a kind of normalization in ...
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 ...
TransformationSystems usually work on tree of graph structured ProgramRepresentations. A parser analyzes the syntactic structure of a program text and produces a structured ...
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 ...
ProgramRefinement is a special case of ProgramSynthesis in which an (efficient) implementation is derived from a high-level specification such that the implementation ...
Programs can be represented in various ways in ProgramTransformationTools. AbstractSyntaxTree DirectedAcyclicGraph Graph Objects Particularly important/problematic ...
ProgramSpecialization is used where a variable is known to often hold one particular value. In this case, it is possible to generate code taking advantage of this ...
Program synthesis is the derivation of a program from a specification. When the synthesis is done according to semantically correct TransformationRules the resulting ...
(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 ...
ProgramTransformationOrg was set up by EelcoVisser. Contributions are welcome.
Program-transformation.org is dedicated to collecting, organizing and disseminating information about all aspects of ProgramTransformation. The site is completely ...
http://www.cs.uu.nl/~visser/program-transformation/sol.gif The program-transformation.org domain is hosted by Universiteit Utrecht and managed by EelcoVisser. The ...
See TheOnlineSurveyOfProgramTransformation
Wiki Technology What is a good way to collect bibliographical information in a WikiWikiWeb? JoostVisser: One way to do it is to have one wiki page per publication ...
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
The UVicReverseEngineeringTutorial defines program understanding as The task of building mental models of the underlying software at various abstraction levels, ranging ...
Repository of program understanding tools set up by KennyWong. http://www.cs.ualberta.ca/~kenw/toolsdir/ Unfortunately not a very active site: it contains five tools ...
This is a collection of links to programming environments, either specific to a language or platform, or generic; either integrated or composed of command-line tools ...
Here is a list of programming languages and DataFormats that could be subject of ProgramTransformation BETA BibTeX CAML CProgrammingLanguage CleanLanguage COBOL CPP ...
Homepage: http://web.comlab.ox.ac.uk/oucl/research/areas/progtools/ The Programming Tools Group at Oxford University CategoryGroup
Anyone welcome to participate! Issues Ensure that all pages are reachable by google. LoginShouldBeSimple InvitedAuthors Announce on various email / news groups Present ...
Homepage: http://www.cs.nyu.edu/leunga/prop.html Prop is a multiparadigm extension of C++, and is designed for building high performance compiler and language transformation ...
This page lists some publications on, or strongly related to, GenerativeProgramming. For a full list of publications discussed on this wiki, have a look at CategoryPaper ...
Description Puma Grosch91 is the program transformation generator of the Coctail compiler toolkit. A Puma specification specifies a transformation of an abstract ...
The decompyle service decompiles Python byte-code (in .pyc or .pyo files) into python source code. It may be possible to license the decompiler for unlimited corporate ...
See QueryViewTransformation. CategoryTransformation Main.MichaelLawley 29 Sep 2004
QueryViewTransformation is the OMG's upcoming (due end 2004/start 2005) standard for specifying MOF model queries, views, and transformations. It's main significance ...
Homepage: http://qtj.dhs.org/~quinn/index.html JournalOfPatternMatching
Homepage: http://www.dsic.upv.es/~rdp03/ Federated Conference on Rewriting, Deduction and Programming (RDP) to be held in Valencia, Spain, in June 2003 Participating ...
REcursive Functions Algorithmic Language, the first language used to experimenting with SuperCompilation by ValentinTurchin. See: REFAL/Supercompilation Community ...
Homepage: http://www.openjit.org/reflection2001 International Conference on Metalevel Architectures and Separation of Crosscutting Concerns Deadline: March Conference ...
International Conference on Reverse Engineering for Information Systems http://lisi.insa-lyon.fr/~retis/ Submission: January Conference: July
Requests For Comments Requests For Comments, or RFCs, form the basis of the Internet's technical documentation. They are available at http://www.freesoft.org/CIE/RFC ...
RSF is an acronym that stands for Rigi standard format. The format was introduced by the RigiSystem, but other sytems have adopted/adapted it as well. Format: relationname ...
Conference on Rewriting Techniques and Applications Deadline: January Conference: July Permanent homepage http://rewriting.loria.fr/rta/ Event homepages 2002 in Copenhagen ...
WorkshopOnRuleBasedProgramming Submission: June Workshop: October 2002: http://www.program-transformation.org/rule02 2001: http://www.cwi.nl/~markvdb/RULE2001/ 2000 ...
http://www.raincode.com/ Distributes analysis tools for the COBOL, PL/I, CPP, and Ada. Analsyis includes standards conformance checking, automated modifications, metrics ...
Rainer Koschke Homepage: http://www.informatik.uni-stuttgart.de/ifi/ps/rainer/ Topics: WCRE, BauHaus, ReengineeringBibliography, ArchitectureExtraction CategoryPeople ...
Homepage: http://www.cs.uh.edu/~rmverma/ LRR TermRewriting CategoryPeople
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 ...
Homepage: http://st-www.cs.uiuc.edu/users/johnson/ ProgramRefactoring SmalltalkRefactory CategoryPeople
Redocumentation is the simplest and oldest form of ReverseEngineering. The ReverseAndReengineeringTaxonomy defines redocumentation as a form of ReStructuring where ...
The ReverseAndReengineeringTaxonomy defines reengineering as: the examination and alteration of a subject system to reconstitute it in a new form and the subsequent ...
ReFactoring is wiki for ProgramRefactoring.
The ReverseAndReengineeringTaxonomy defines restructuring as a transformation from one form of representation to another at the same relative level of abstraction ...
by RichardKelsey and PaulHudak Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (POPL'89) . 281--292, 1989, http://citeseer ...
http://www.glossa.co.uk/reap.html GRAY The REAP tools by InterGlossa Ltd support reverse engineering services, especially for microcontrollers such as the Zilog Z80 ...
Dongwon Lee, Murali Mani, Makoto Murata. Technical Report, IBM Almaden Research Center, RJ# 10197, Log# 95071 , November 16, 2000 Abstract A mathematical framework ...
Homepage: http://www.reasoning.com/ Offers automated software inspection services built using the Refine wide-spectrum language with explicit transformation support ...
http://www.comlab.ox.ac.uk:80/archive/redo/ From the site: "This archive contains information relevant to the ESPRIT II REDO project (no. 2487, 1989-1992) concerned ...
An on line bibliography on ReEngineering compiled by RainerKoschke is available via http://www.informatik.uni-stuttgart.de/ifi/ps/reengineering/index.html You can ...
The Reengineering Forum is an industry association to encourage combined industry/research review of the state of the art and the state of the practice in reengineering ...
German ReEngineering Mailing List Mailingliste der deutschsprachigen ReEngineering-Szene reengineering@uni-koblenz.de CategoryReengineeringPages
A systems ReEngineering pattern is a description of an expert solution to a common systems reengineering problem, including its name, context, and advantages and disadvantages ...
SpencerRugaber and LindaWills. Creating a research infrastructure for reengineering. In 3d Working Conference on Reverse Engineering, WCRE, 1996. http://www.cc.gatech ...
Welcome to the Reverse and Reengineering Roadmap! The purpose of this roadmap is to provide a forum where all sorts of topics related to ReverseEngineering and ReEngineering ...
The Reengineering Wiki ArieVanDeursen and EelcoVisser In Proceedings of the 5th European Conference on Software Maintenance and Reengineering ( CSMR ), 2002. IEEE ...
TOC Introduction Below the main pages of the ReengineeringWiki are listed. It provides an overview of the topics currently discussed. The map below is partly generated ...
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 ...
Refactoring: Improving the Design of Existing Code by MartinFowler published by Addison-Wesley in 1999. website: http://www.refactoring.com Introduces the concept ...
Refactoring: Improving the Design of Existing Programs by MartinFowler published by Addison-Wesley in 1999. The title actually is RefactoringImprovingTheDesignOfExistingCode ...
RefactoringPrograms is the activity of transforming a program to improve its desing while preserving its behaviour. The SmalltalkRefactory is a program that supports ...
Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Topics Progress Testing Programs Documents Links Ideas Progress ...
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 ...
Relativity Technologies is a leading supplier of legacy modernization solutions. Our technology offerings enable Information Technology organizations to take advantage ...
Standard : http://www.oasis-open.org/committees/relax-ng/ RelaxNG is a SchemaLanguageForXML based on RegularTreeGrammars. It is (suprisingly) more powerful and easier ...
https://sourceforge.net/projects/relipmoc The relipmoC decompiler translates i386 assembly language programs to C (the assembly language must have been generated with ...
http://www.microapl.co.uk/asm2c Relogix is an advanced new software conversion tool which can take assembly-language source files and automatically re-code them in ...
http://www.comp.lancs.ac.uk/projects/renaissance/index.html This web site is intended as a resource for the entire Software ReEngineering community. It also covers ...
Description ResearchIndex is a scientific literature digital library that aims to improve the dissemination and feedback of scientific literature, and to provide ...
Actually the ResearchInstituteInSoftwareEvolution.
The Research Institute in SoftwareEvolution formerly the Centre for SoftwareMaintenance was established in April 1987, at the University of Durham, England. More info ...
A parser is an essential component of a TransformationSystem. It is often a considerable investment to develop a good syntax definition for use in a transformation ...
Old name for the ReengineeringWiki
In 1990, ElliotChikofsky and JamesCross published Reverse Engineering and Design Recovery: A Taxonomy , IEEE Software 7(1):13-17, 1990. http://doi.ieeecomputersociety ...
The ReverseAndReengineeringTaxonomy defines reverse engineering as: The process of analyzing a subject system with two goals in mind: 1 to identify the system's components ...
Reverse Engineering: A Roadmap HausiMueller, JensJahnke, Dennis Smith, PeggyStorey, Scott Tilley, and KennyWong In A, Finkelstein (ed.) The Future of Software Engineering ...
http://www.backerstreet.com/rec/rec.htm REC, a Reverse Engineering Compiler by Giampiero Caprino (gcaprino@katamail.com), is a portable decompiler which supports a ...
Several surveys of reverse and reengineering research have been published. These include: ReverseAndReengineeringTaxonomy ReengineeringBibliography ReverseEngineeringARoadmap ...
A rewrite rule is a rule of the form lhs rhs where lhs and rhs are term patterns. It declares that any instance of lhs rewrites to the corresponding instance of rhs ...
The Rewriting Calculus provides a combination of functional programming and term rewriting. http://www.loria.fr/~ckirchne/ rho/rho.html HoratiuCirstea ClaudeKirchner ...
Homepage: http://www.loria.fr/~vigneron/RewritingHP/
RewritingStrategies are little programs that define the position and order of application of RewriteRules. Rules are identified by means of labels. Typical strategy ...
Ric Holt http://plg.uwaterloo.ca/~holt/ CategoryPeople
Homepage: http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html BirdMeertensFormalism CategoryPeople
A sample RCL script that is used to pre-process the RSF generated with cparse for Rigi has been written by JohannesMartin. The RCL script is generic and works for ...
The Rigi C parser, cparse , is no longer supported. However, you can still download cparse package; see RigiReleases. Kostas Kontogiannis has kindly written down his ...
This topic provides information for Rigi developers that work with source code. See RigiInstall if you work with Rigi's precompiled distributions. Compilation of RigiEdit ...
The Rigi user interface is a graph editor, called RigiEdit ( rigiedit ), which is used to browse, analyze, and modify a graph that models a given system. This graph ...
Rigi Q A In this document the following tools are frequently mentioned: sortrsf (See SortRSF) htmlrsf (See HtmlRSF) rigiedit (See RigiEdit) Q: rigiedit is dog-slow ...
Information if you are new to Rigi: Purpose Rigi is a ReverseEngineering environment. It consists of a set of tools: parsers, command-line utilities, and an interactive ...
Rigiedit uses GraphEd for graph layout: "The spring and Sugiyama layouts were done by exporting the graph representation and running the layout algorithms off-line ...
This topic provides information for users of Rigi binary distributions. See also RigiDevelopment if you work with Rigi's source code. Installing RigiEdit basically ...
Samples of Completed Reverse Engineering Projects Azureus (Java) for for VISSOFT Tool Demo Challenge (1st Prize): http://www.program-comprehension.org/vissoft07/VISSOFT2007 ...
Publication list (until ~1998, now outdated): http://www.rigi.csc.uvic.ca/Pages/publications.html More recent publications: Rigi An Environment for Software Reverse ...
Rigi Command Library (RCL) RCL is a Rigi-specific library written in Tcl/Tk. See RigiUserManual, Section 4.5. The RCL code distributed with rigiedit is located in ...
Specification: RigiRSFSpecification Errata: In a source-location the elements are separated with comma, not semicolon. Errata for "Appendix: Tool Support": rigiedit ...
The original specification was posted in the Rigi mailing list (now defunct): http://www.rigi.csc.uvic.ca/list-archives/rigi-developer-archive/2000-02-10-15.26.16 ...
The following systems are built on top of Rigi: BauHaus Atomic Architectural Component Recovery for Program Understanding and Evolution, Rainer Koschke. Dissertation ...
All official releases are downloadable at http://www.rigi.csc.uvic.ca/Pages/download.html Rigi is released in several packages. RigiEdit Package The only package that ...
ReverseEngineering system to extract, navigate, analyze and document the static structure of large software systems. http://rigi.uvic.ca/Media/howpic1.gif The topics ...
Rigi's User Manual , Kenny Wong. University of Victoria, 168 pages. The latest version is 5.4.4 and avilable here: PDF: http://www.rigi.cs.uvic.ca/downloads/rigi ...
Email: Rik.van.de.Wiel@philips.com CodeCompaction CategoryPeople
Risla is a DomainSpecificLanguage for interest rate products. It is an abbrevation for Rente Informatie Systeem Language. It's development started in the early 1990 ...
Homepage: http://www.cs.nyu.edu/cs/faculty/paige/ Developer of APTS Journal for Higher-Order and Symbolic Computation Special Issue Dedicated to Bob Paige CategoryPeople ...
Homepage: http://www.cs.wustl.edu/~cytron/ ContinuousCompilers CategoryPeople
BrueggeAndDutoit define round trip engineering as A model maintenance activity that combines forward and reverse engineering. Changes to the implementation model are ...
Visit my homepage: http://www.inf.u-szeged.hu/~ferenc Main.RudolfFerenc 07 Jan 2003
The following papers have been accepted for the on Rule Based Programming 2002. A program will be available soon. Ralf Laemmel Towards Generic Refactoring Olivier ...
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 ...
This page collects links to systems supporting RuleBasedProgramming. Feel free to add missing links. TermRewritingSystems TransformationSystems ObjectOrientedRules ...
Proceedings of the WorkshopOnRuleBasedProgramming 2002: to appear 2001: http://www.elsevier.nl/locate/entcs/volume59.html 2000: http://www.loria.fr/~ckirchne/ rule2000 ...
Program of the 2002 ACM SIGPLAN on Rule Based Programming (RULE'02) October 5, 2002, Pittsburgh, Pensylvania, USA. Time Title Authors 10:30 Design Patterns for Functional ...
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 ...
Semantics, Applications and Implementation of Program Generation Deadline: March Conference: September (with PLI) 2002: http://www.cs.yale.edu/homes/taha/saig 2001 ...
International Static Analysis Symposium Description Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification ...
See the SimpleAPIforXML
IEEE International Workshop on Source Code Analysis and Manipulation Deadline: April Conference: October Location: Chicago, USA (2004) Web: 2004: http://www.brunel ...
SDF is a formalism for the definition of the syntax of ProgrammingLanguages and DataFormats. Its features include: a module system, integration of lexical and context ...
SDFII is successor of the first Syntax Definition Formalism SDF. SDFII features Integration of lexical and context-free syntax Modules with parameters and renaming ...
Specification and Description Language http://www.tdr.dk/public/SDL/SDL.html
Maintainer MerijnDeJonge Description During a project in cooporation with Lucent Technologies, we used XT to re-engineer an SDL grammar from an operational YACC grammar ...
Software Design And Management AG. http://www.sdm.de/ Consulting firm which also does ReEngineering projects using its own hypertext repository called SHORE. SHORE ...
Software Engineering Institute http://www.sei.cmu.edu/ Topics: SoftwareArchitecture SoftwareProductLines SoftwareProcess
International Confernce on Software Engineering and Knowledge Engineering The conference aims at bringing together experts in knowledge engineering and knowledge ...
Interactive Software Development and Renovation Group (SEN1) (CWI, Amsterdam) http://www.cwi.nl/themes/sen1/ See also SoftwareRenovationAtCWI. Main.ArieVanDeursen ...
SHriMP: Simple Hierarchical Multi-Perspective views. Homepage: http://shrimp.cs.uvic.ca/shrimp More (historical) info at http://www.csr.uvic.ca/~mstorey/research/shrimp ...
ACM Special Interest Group on Programming Languages http://www.acm.org/sigplan/ CategoryConference
ACM Special Interest Group on SoftwareEngineering. See http://www.acm.org/sigsoft/
http://www.smlnj.org/ Standard ML of New Jersey is a free Standard ML compiler, ported to many platforms. It does not directly compile to stand alone applications ...
SMake is a tool to produce standard Makefiles from templates. It's not as advanced as Tools.AutoMake. http://freshmeat.net/projects/smake/
SORCERER is the tree parser generator of ANTLR. Papers TerenceParr. Language Translation Using PCCTS and CPP. A Reference Guide. Automata Publishing Company, San Jose ...
The SoftwareProductLine Conference 2000: http://www.sei.cmu.edu/plp/conf/SPLC.html 2002: http://www.sei.cmu.edu/SPLC2/ 2004: http://www.sei.cmu.edu/SPLC2004/ CategoryConference ...
STTT is the Journal on Software Tools for Technology Transfer
Software Engineering Body of Knowledge. The software engineering body of knowledge is an all-inclusive term that describes the sum of knowledge within the profession ...
SableCC is a compiler compiler framework for Java. Features: produces LALR(1) parser generation of strictly-typed abstract syntax trees generation of tree-walker classes ...
Sander Tichelaar Topics: ExchangeFormats ProgramRefactoring SoftwareVisualization Home page: http://www.iam.unibe.ch/~tichel/ CategoryPeople
Scaffolding for Software Renovation by Alex Sellink and Chris Verhoef. Available: ps 1 html 2 pdf 3
EelcoVisser. Scannerless Generalized-LR parsing . Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Online: http://www.cs.uu ...
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 ...
DocumentTypeDefinition was introduced in the XML standard as the schema language for XML. Because of the limited power of DTD and because it cannot handle XMLNamespaces ...
Scheme is a dialect of LispLanguage, i.e., another FunctionalProgrammingLanguage. http://www.schemers.org DrScheme: a programming environment for Scheme Teach Yourself ...
Homepage: http://www.scicomp.com SciComp is specialized in ProgramSynthesis of numerical programs from PartialDifferentialEquations, especially in the domain of financial ...
The ProgramSynthesis system of SciComp CategorySystem Contributions by Main.EelcoVisser
Scientific Toolworks, Inc. We make tools that help developers understand, document, and maintain impossibly large or complex amounts of source code. What our tools ...
ScpJ Project: SuperCompilation for JavaLanguage See: http://www.keldysh.ru/dpt 16/ScpJ/index.htm http://www.supercompilers.com/scpj.htm Main.MaD 18 Sep 2001
Sculptor and Realizer Here is information about two decompilers which were written in Spain. The first is a decompiler written in 1989 for a 4th generation language ...
Searching the wiki is done using regular expressions. See man perlre for the syntax. Searching is case insensitive, so searching for 'asf' finds 'ASF', 'Asf' and ...
SemanticDesigns is a company that provides the DMSSoftwareReengineeringToolkit. Homepage: http://www.semdesigns.com IraBaxter CategoryCompany
Similix is an autoprojector (self-applicable partial evaluator) for a large higher-order subset of the strict functional language Scheme. Similix treats source programs ...
Homepage: http://research.microsoft.com/Users/simonpj/ GHC CompilationByTransformation CategoryPeople
Homepage : http://www.saxproject.org/ The Simple API for XML (SAX) is a standard interface for event-based XML parsing. Because of the event-based approach the interface ...
INCLUDE{ TWIKIWEB .SiteMap}
SmalltalkRefactoringBrowser is wiki for SmalltalkRefactory Main.MartinBravenboer 31 Oct 2001
Smalltalk Refactory The (Smalltalk) Refactoring Browser is an interactive program for ProgramRefactoring, i.e., behaviour preserving transformations that improve ...
SoftMetaWare provides consulting services on-site as required, or remotely via web-based collaboration tools when appropriate. We specialise in implementing model ...
The Software Specification and Design Group at the University of Leicester. The host of the LegToNet project. http://www.cs.le.ac.uk/SoftSD Main.JoseLuizFiadeiro ...
OOPSLA 2001 Workshop Software Archeology: Understanding Large Systems Ward Cunningham, Andrew Hunt, Brian Marick, and Dave Thomas How do you come to grips with 1 ...
A survey of software architecture is provided by David Garlan, in SoftwareArchitectureARoadMap. Garlan loosely defines architecture as a software system's gross organization ...
Software Architecture: a Roadmap David Garlan In A, Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event colocated with ICSE 2000). Roadmap ...
Definitions of Software Architecture. There are many definitions of what SoftwareArchitecture is: an overview of these is given at http://www.sei.cmu.edu/architecture ...
Software configuration is concerned with creating different specializations of a software artifact for different environments. (See also VariabilityManagement) Configuration ...
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 ...
ICGT 2002 Workshop on Software Evolution Through Transformations (SET 2002) Towards uniform support throughout the software life-cycle Transformations of artefacts ...
Software generation is a class of transformations in which software implementations are generated from high-level specifications or (broadly interpreted) of generating ...
According to Chapter 9 of GenerativeProgrammingBook: a generator is a program that takes a higher-level specification of piece of software and produces its implementation ...
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 ...
Definitions Software maintenance is defined by the ANSI/IEEE Std. 729-1983 and IEEE Std. 1219-1998 as: modification of a software product after delivery to correct ...
Software Maintenance And Evolution: A Roadmap By KeithBennett and VaclavRajlich. In A Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event ...
Software Migrations Ltd Software Migrations Ltd (SML) use formal transformations to convert one form of code to another; they can work on anything from assembly language ...
From W. Humphrey, Managing the Software Process , Addison-Wesley, 1989: The software process is the set of tools, methods, and practices used to produce a software ...
Software product line Group of products, sharing a common, managed set of features to satisfy the needs of a selected market. J. Withey, Investment Analysis of Software ...
The ReverseAndReengineeringTaxonomy defines software renovation as a synonym for ReEngineering. In CWI parlance, it is covers research in the areas of ReverseEngineering ...
The SEN1 research group at CWI works on the following SoftwareRenovation topics: DocumentationGeneration for COBOL systems ArchitectureExtraction Type inferencing ...
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 ...
Charles W. Krueger provides a survey in the ACM Computing Surveys 24(2):131-183, June 1992. Software reuse is the process of creating software systems from existing ...
Chapter 5 of the SWEBOK guide defines testing as follows: Software testing consists of the dynamic verification of the behavior of a program on a finite set of test ...
The software visualization 1 group at GeorgiaTech describes software visualization as: the use of computer graphics and animation to help illustrate and present computer ...
Java Optimization Framework http://www.sable.mcgill.ca/soot/ People Project of the Sable research group (McGill University, Montreal) Components Intermediate representations ...
Description Sort graphs are graphs that represent the dependencies between sorts in a grammar. Visual clues The following example sort graph provides a legend for ...
sortrsf is a command line program that is part of the RigiSystem. If your Rigi environment is setup: documentation is located at $RIGI/doc/rigiutils/sortrsf.html ...
SourceAgain is a commercial Java decompiler by Ahpah Software. SourceAgain correctly recovers Java control structures and optimizations from the bytecode. Further ...
See FrontEndART for details. Main.RudolfFerenc 10 Aug 2004
http://www.source-recovery.com Note the hyphen: www.sourcerecovery.com is a different company (see JuggerSoft). From the Source Recovery Company's web page: We use ...
http://www.v-com.com/product/devsopr.html Sourcer is a commercial program, for disassembling x86 binaries (EXE, NE and PE). Sourcer 8.0, includes the BIOS Preprocessor ...
SpecWare is a ProgramSynthesis system based on CategoryTheory. Homepage: http://www.kestrel.edu/HTML/prototypes/specware.html
Spencer Rugaber, GeorgiaTech, Atlanta Topics: ReverseEngineering ProgramUnderstanding See http://www.cc.gatech.edu/fac/Spencer.Rugaber/ CategoryPeople
HomePage: http://www.mcs.drexel.edu/~smancori Research Web Page: http://serg.mcs.drexel.edu Main.TWikiGuest 08 Apr 2001 CategoryPeople
Static Analysis Techniques for Equational Logic Programming RakeshVerma http://arXiv.org/abs/cs/0010034
A translator (typically a compiler) which performs its transformations before the program is run. Usually, the translator is unaware of any dynamic aspects of the ...
Stephen F. Heffner entered the computer field in 1963 as a Customer Engineer for IBM. He has been involved in systems analysis, design, and programming since 1964 ...
Strategic programming is an idiom for generic programming where the concept of a strategy plays a central role. A strategy is a generic, data-processing action. Strategies ...
Ralf Lämmel and Eelco Visser and Joost Visser. Strategic Programming Meets Adaptive Programming . In Proceedings of Aspect-Oriented Software Development (AOSD'03) ...
Strategies as Updatable Fold Algebras by RalfLaemmel and JoostVisser Available: .Extended abstract 1 .
Homepage: http://www.logic.at/strategies/ Series of workshops on strategies in automated deductions. The page contains links to systems providing strategies. Copenhagen ...
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 ...
StrategoXT is the combination of the transformation language Stratego with the XT toolset for constructing transformation systems. Capabilities include: rewrite rules ...
(supervised compilation) A ProgramOptimization technique, due to ValentinTurchin and colleagues, a source-to-souce ProgramTransformation (rephrasings), more powerful ...
SuperCompilers, Llc Homepage: http://www.supercompilers.com/ ValentinTurchin Main.MaD 16 Jun 2003 CategoryCompany
Dagstuhl Seminar 3061 Software Architecture: Recovery and Modelling More information on this seminar: http://www.dagstuhl.de/03061/ http://www.bauhaus-stuttgart.de ...
Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 Software architecture recovery aims at presenting existing software ...
Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 Software architecture recovery aims at presenting existing software ...
Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 SwarmForum Call for Participation Software architecture recovery ...
A syntax definition is a high-level description of the syntax of a language, usually in the form of a context-free grammar. Languages for syntax definition include ...
EelcoVisser, PhD thesis, University of Amsterdam, 1997. Abstract LanguagePrototyping is the activity of designing and testing definitions of new or existing computer ...
2003-01-31 FrontEndART released Columbus/CAN 3.5 final. (see http://www.frontendart.com) Apart from the usual bug fixes, this final version contains new features ...
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 ...
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 ...
The University of Berne (Stephane Ducasse and Oscar Nierstrasz) together with the University of Antwerp (Serge Demeyer) created a tutorial on object-oriented reengineering ...
University of California, San Diego SoftwareEvolution Group http://www-cse.ucsd.edu/users/wgg/swevolution.html Software is changed--maintained and evolved--more often ...
Unified Modeling Language see http://www.rational.com/uml/index.jsp for tool and SoftwareProcess support see http://www.visual-paradigm.ocm/vpuml.php for powerful ...
Introduction Unicode is an effort to create a single character set that includes every single character needed by a written human language on our the planet. An important ...
The uniform resource locator ...
International Workshop on Unanticipated SoftwareEvolution Techniques and technologies that offer support for software evolution are still far from ideal. In particular ...
USENIX is the Advanced Computing Systems Association. http://www.usenix.org/
Understanding Software Systems Using Reverse Engineering Technologies: Research and Practice HausiMueller , Department of Computer Science, University of Victoria ...
There are many tools for editing UML diagrams. I conducted a little comparison to find a good tool to use in a software engineering course in the Spring of 2000. This ...
http://www.autistici.org/uncc/ Was at http://www.uncc.info (now for sale) uncc is a tiny decompiler for X86 binary files. It uses objdump as a disassembler, and uses ...
Web site collecting all sorts of resources on ProgramUnderstanding, set up by FrancoiseBalmas. http://www.ai.univ-paris8.fr/UPU/repository.html CategoryProgramUnderstanding ...
Introduction UnitTesting is one of the key practices of ExtremeProgramming. A unit test exercises an isolated unit of sourcecode instead of the complete sourcecode ...
250 Machine-Independent Computer Programming TABLE XIII MACHINE LANGUAGE INSTRUCTION REPERTOIRE OF THE UNIVAC M-46O COUNTESS COMPUTER FF Function FF Function 00 Illegal ...
Description Updatable folds are a notion connected to FunctionalTransformationSystems. Explanation The bottom-up traversal scheme associated to a multi-sorted signature ...
Edit this page to retire all pages in the cache for this web. Don't do this too often since it degrades performance.
Homepage: http://www-theory.dcs.st-and.ac.uk/~um/ CategoryPeople
Homepage: http://i44s11.info.uni-karlsruhe.de/~assmann/ OPTIMIX CompostFramework Transform.CategoryPeople
http://www.decompiler-vb.net http://www.decompiler-vb.net/vbreformer.aspx (professional version) Begun in 1999, VBReFormer is a Visual Basic (V5/6) decompiler. There ...
http://sourceforge.net/projects/nktspeview VX Portable Executable Viewer is an open source project hosted on Sourceforge. From the web page: Browse the structure of ...
Vaclav Ralich, http://www.cs.wayne.edu/~vip/VaclavRajlich.html Topics: SoftwareMaintenance DocumentationGeneration CategoryPeople
vacppparse is the C++ extractor of the RigiSystem. It is based on IBM VisualAge C++. (It runs under AIX only?)
Russian philosopher-scientist, developer of REFAL language and SuperCompilation, a ProgramOptimization technique. See http://pespmc1.vub.ac.be/TURCHIN.html Main.MaD ...
SoftwareVariability is an important source of complexity in software. Variability management is concerned controlling the versions and configurations of a software ...
Homepage: http://www.cs.ut.ee/people/vene/ WarmFusionTransformation CategoryPeople
As the name implies, a Virtual Machine is not a real machine, such as a Pentium, but rather a machine, specified almost as precisely as a real machine, that is realized ...
VISSOFT: Visualising Software for Understanding and Analysis Deadline: February Conference: June Colocated with IWPC. URL: http://www.dur.ac.uk/vissoft.2002/ Topics ...
Visitor Combination and Traversal Control by Transform.JoostVisser This paper describes VisitorCombinators. These are implementations of the Visitor interface that ...
Visitor combinators are described in VisitorCombinationAndTraversalControl. Visitor combinators are supported by the visitor combinator framework JJTraveler, and the ...
For Visual Basic programs compiled to .NET (e.g. with Visual Studio .NET 2003 or later), see DotNetDecompilers. JosephCo wrote a decompiler called Exdec. VBDis 3/4 ...
A visual language is a ProgrammingLanguage that uses pictures to depict the instructions of a program and their relations. ControlFlowDiagram Visual languages can ...
Homepage: http://wasdett.wikispaces.com/ International Workshop on Advanced Software Development Tools and Techniques (WASDeTT) CategoryConference TransformationConferences ...
IFIPWG21 Working Conference on Generic Programming http://www.generic-programming.nl/wcgp/ Deadline: February Conference: July CategoryConference
Working Conference on ReverseEngineering Submission: May (varies slightly) Conference: October (varies slightly) Pointers Upcoming conference web site: http://swerl ...
Workshop on Empirical Studies in SoftwareMaintenance. Usually colocated with the InternationalConferenceonSoftwareMaintenance. Deadline: May 2002: http://www.info ...
Workshop on Generic Programming
The Working IEEE / IFIP Conference on Software Architecture WICSA 2001 is the first joint IEEE / IFIP conference devoted to SoftwareArchitecture. Its purpose is to ...
Homepage: http://www.ldl.jaist.ac.jp/WRLA2000/ Workshop on Rewriting Logic and its Applications
Homepage: http://www.logic.at/wrs01/ International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) Deadline: March Conference: May Background ...
International Workshop on Website Evolution WSE 2004 WSE 2003 WSE 2002 Proceedings Details CategoryConference CategorySoftwareEvolution
JohnLaunchbury and TimSheard. Warm Fusion: Deriving Build-Catas from Recursive Definitions. Conference Record 7th ACM SIGPLAN/SIGARCH Int.Conf. on Functional Programming ...
Background If you are involved in extracting information, artifacts, architectural components (or anything else of value) from existing systems then you should be ...
WCRE Call for Workshop Proposals NOTE: This page is obviously obsolete, as it refers to the 2002 conference. However, it can be reworked for future conferences. WCRE ...
Submission of Papers Step 1: Authors are requested to notify the program committee of intent to submit a paper by May 1, 2002. This is optional but allows the committee ...
Topics Topics discussed at WCRE include but are not limited to: SoftwareMaintenance and SoftwareEvolution DeCompilation and BinaryTranslation ProgramComprehension ...
Workshop Proposals Continuing the successful extension of WCRE with workshops in the last two years, WCRE 2002 offers you the opportunity to organize a workshop devoted ...
SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...
SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "100" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...
SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "200" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...
SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "500" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...
WebETS is an extractor benchmarks for Web sites (see ExtractorBenchmarks). It has similar structure and objectives to CppETS. Call for Participation The development ...
INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ...
SEARCH{"\. " scope "topic" regex "on" nosearch "on" format " $topic " noheader "on"}
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 ...
WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Transform web. This is a convenient service, so you do not ...
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"}
Simple search: Topic text (body) All webs (not only TWiki.Transform web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...
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 ...
Useful twiki things to do are: Keep track of WebChanges Get a WebNotify of changes Check the WebStatistics Browse the WebIndex Do a WebSearch See the other Main.TWikiUsers ...
From the DSLAnnotatedBibliography: Our definition of DomainSpecificLanguages inherits the vagueness of one of its defining terms: problem domain . Rather than attempting ...
Why decompilation? Why not just disassemble? Consider the Java world, where there are simple disassemblers and sophisticated decompilers that often work well and ...
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 ...
The software on which this WikiWikiWeb runs is starting to become antiquated. It lacks many features that would be useful in a Wiki. It is also a problem that it does ...
Useful twiki things to do are: Keep track of WebChanges Get a WebNotify of changes Check the WebStatistics Browse the WebIndex Do a WebSearch See the other Main.TWikiUsers ...
MAINWEB : Portal of Program-Transformation.Org Transform: Surveys of program transformation Stratego: A language for program transformation Tools: Program transformation ...
Yes, please, press the Edit button and add text! Add a link: http://www.program-transformation.org/re/ Very Interesting Site. Item 1 Item 2 Item 3 Item 4 Who wants ...
See OneMinuteWiki, and the Main.WikiWikiWeb page in the main web.
http://msdn.microsoft.com/msdnmag/issues/02/02/PE/default.aspx (part 1) http://msdn.microsoft.com/msdnmag/issues/02/03/pe2/default.aspx (part 2) "An In-Depth Look ...
http://www.geocities.com/SiliconValley/Foothills/4078/ Win32 Program Disassembler is a straight line disassembler of Windows 32-bit executables (i.e. PE) by Sang Cho ...
Homepage: http://www.cas.mcmaster.ca/~kahl/ HOPS CategoryPeople
If the title you want is just one word, how can you "smash" it together? 1. You can add some other word(s). For example, instead of Z , use ZSpecificationLanguage ...
Description (from call for papers) Rule-based formalisms are ubiquitous in computer science, and even more so in constraint reasoning and programming. In constraint ...
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 ...
http://www.actworld.com/tools/index.shtml XACT by Applied Conversion Technologies, Inc. is a tool for transforming assembly language to C, which is part of X4MR-Based ...
Publications An extensible system for domain-specific aspect languages Macneil Shonle, Karl Lieberherr, Ankit Shah Companion of the 18th annual ACM SIGPLAN conference ...
The External Data Representation Standard is available as RFC 1832: http://www.freesoft.org/CIE/RFC/1832/
Homepage: http://xduce.sourceforge.net/ A typed language for processing XML documents. XDuce uses regular expression types ( SchemaLanguageForXML ) to describe the ...
Homepage: http://www.w3.org/XML/ XML is the Extensible Markup Language, a format for the exchange of structured data. XML, which is a simplified subset of SGML, was ...
Java: http://www.xmlpull.org/ JSR 173: http://www.jcp.org/jsr/detail/173.jsp Microsoft's XmlReader Main.MartinBravenboer 30 May 2002
The XML Query Algebra is a proposal from the WorldWideWebConsortium as a formal basis for query languages for XML. http://www.w3.org/TR/query-algebra/ CategoryLanguage ...
Standard : http://www.w3.org/XML/Schema XMLSchema is the new SchemaLanguageForXML standard of the W3C. It should replace DocumentTypeDefinition. Main.MartinBravenboer ...
Abbreviation for ExtremeProgramming.
Homepage: http://www.xref-tech.com/ XRefactory is a refactoring browser/editor for C and Java based on XEmacs CategorySystem Main.EelcoVisser 03 May 2001
ExtensibleStylesheetLanguage
Quoting from http://www.xtran-llc.com/xtran.html : XTRAN is a proprietary expert system for symbolic manipulation of computer languages, including: Assemblers Third ...
The design and evaluation of appropriate SoftwareArchitectures is key to the effective development, management, evolution, and reuse of software systems. However, ...
Y2K is the techies term for the year 2000. The year in which power plants, nuclear rocket installations and the like where supposed to blow up. Nothing big happend ...
Homepage: http://www.cs.utexas.edu/users/smaragd/ DiSTiL CategoryPeople
YAXX an extension to YACC grammar parser Bison, capable of output syntax tree into an XML document and its corresponding DTD rules. http://sourceforge.net/projects ...
YACC is a grammar formalism and parser generator. The class of context-free grammars accepted by YACC is LALR(1) with disambiguating rules.
Homepage: http://www.cse.ogi.edu/~benaissa/ MetaML Stratego.StrategoLanguage CategoryPeople
A Term Pattern-Match Compiler Inspired by Finite Automata Theory by MikaelPettersson In International Workshop on Compiler Construction (CC'92) LNCS 641, SpringerVerlag ...
Number of topics: 1152