Topics in Transform web: Changed: now 10:21 Changed by:
5ESS 29 Mar 2001 - 16:32 - NEW EelcoVisser
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 ...  
ACM 07 May 2001 - 09:50 - NEW ArieVanDeursen
Association for Computing Machinery http://www.acm.org/ The ACM Computing Classification System 1998 Version : http://info.acm.org/class/1998/  
ADATE 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
AMAST 10 Oct 2001 - 14:44 - r1.3 TWikiGuest
See AlgebraicMethodologyAndSoftwareTechnology Conference: Submission in January Conference in May Proceedings in LNCS http://www.cs.uiowa.edu/amast2000/ http://www ...  
ANGIEGenerationNow 17 Oct 2003 - 16:46 - NEW ReengineeringGuest
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 13 Dec 2001 - 01:57 - r1.3 MartinBravenboer
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 09 Mar 2004 - 10:55 - r1.3 MartinBravenboer
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 02 Apr 2002 - 19:48 - r1.2 ArieVanDeursen
AOOP is short for: AdaptiveObjectOrientedProgramming  
AOOPForPresentationPage 09 May 2001 - 21:56 - NEW EelcoVisser
java Source 1 C++ Source 2  
API 20 Mar 2001 - 17:02 - NEW EelcoVisser
API is the acronym of ApplicationProgrammersInterface  
APTS 28 Apr 2005 - 22:24 - r1.2 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 ...  
ARefactoringToolForSmalltalk 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
ASE 13 Mar 2001 - 17:17 - NEW EelcoVisser
Homepage: http://ase.informatik.uni-essen.de Conference on Automated Software Engineering Deadline: June Conference: November Description (from the call for papers ...  
ASF 25 Apr 2001 - 10:59 - r1.2 ArieVanDeursen
ASF is the abbreviation of the Algebraic Specification Formalism developed at Transform.CWI and the University of Amsterdam. The formalism is used in combination ...  
ASFandSDF 18 May 2001 - 11:10 - r1.5 TWikiGuest
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 ...  
ASFandSDFMetaEnvironment 02 Jan 2002 - 13:57 - r1.7 EelcoVisser
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 ...  
AST2001 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.reengineer.org/wcre2001/ast/ Analysis, Slicing, and Transformation Deadline: May Conference: October  
ASTLOG 09 May 2001 - 21:56 - NEW EelcoVisser
ASTLOG is A language for examining abstract syntax trees. Homepage: http://www.research.microsoft.com/~rfc/astlog/  
ASurveyOfRewritingStrategiesInProgramTransformationSystems 12 Mar 2004 - 10:40 - r1.5 EelcoVisser
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 ...  
ASurveyOfStrategiesInRuleBasedProgramTransformationSystems 02 Sep 2005 - 12:11 - r1.6 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 ...  
ATXSoftwareIntegrationArchitecture 06 Jul 2005 - 17:34 - r1.2 KarlTrygveKalleberg
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 ...  
ATXSoftwareSA 13 Nov 2004 - 00:41 - NEW JoseLuizFiadeiro
ATX Software SA offers an integrated set of architectural and re-engineering technologies that includes the ATXSoftwareIntegrationArchitecture ASIA , LegacyCare L ...  
ATermFormat 30 Aug 2001 - 00:03 - NEW TWikiGuest
See also EfficientAnnotatedTerms.  
ATypedPatternCalculus 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
AboutDecompilation 05 Sep 2007 - 23:44 - r1.5 MikeVanEmmerik
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 ...  
AbsInt 29 Jan 2002 - 14:11 - NEW EelcoVisser
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 ...  
AbsoftCompany 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.absoft.com/ Produces high performance Fortran toolsets.  
AbstractSyntaxDescriptionLanguage 26 Feb 2002 - 06:28 - NEW MikeVanEmmerik
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 25 Sep 2004 - 01:04 - r1.4 MikeVanEmmerik
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 ...  
ActionSemantics 09 May 2001 - 21:46 - NEW Main.visser
Homepage: http://www.brics.dk/Projects/AS/ PeterMosses  
AdaptiveObjectOrientedProgramming 09 May 2001 - 21:55 - r1.3 Main.visser
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 ...  
AdaptivePatternMatching 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
AddingSubSites 09 May 2001 - 21:48 - NEW Main.visser
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 ...  
AlbertoPettorossi 06 Dec 2001 - 13:05 - r1.2 EelcoVisser
Homepage: http://www.iasi.rm.cnr.it/~adp/ MAPTransformationSystem CategoryPeople  
AlexAiken 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.cs.berkeley.edu/~aiken/ AlexAiken is the designer of BANE. CategoryPeople  
AlfonsoPierantonio 24 Jun 2005 - 16:23 - r1.3 PhilippKutter
Homepage: http://www.di.univaq.it/alfonso MontagesFramework CategoryPeople  
AlgebraicMethodologyAndSoftwareTechnology 10 Oct 2001 - 14:43 - NEW TWikiGuest
Homepage: http://www.loria.fr/conferences/amast2002 International Conference on Algebraic Methodology And Software Technology Goals The major goal of the AMAST Conferences ...  
AllenSystemsGroup 18 Jun 2001 - 13:11 - NEW ArieVanDeursen
ASG. http://www.asg.com Acquired Viasoft, offering the Existing Systems Workbench for analysis and ReEngineering of COBOL systems. CategoryCompany  
Amphion 04 Nov 2003 - 20:22 - NEW PinkuSurana
An attempt to automate software reuse at NASA, particularly for domain specialists who are unfamiliar with available software libraries. They implemented a system ...  
AnAlgebraicProgrammingStyleForNumericalSoftwareAndItsOptimization 02 Feb 2002 - 08:48 - NEW EelcoVisser
T. B. Dinesh, MagneHaveraaen, and JanHeering, An algebraic programming style for numerical software and its optimization, Scientific Programming , 8(4), 2000. 247 ...  
AnatomizerDecompiler 03 Feb 2006 - 22:41 - r1.4 MikeVanEmmerik
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: ...  
AnatomizerDecompilerTest 14 Apr 2007 - 07:15 - r1.3 MikeVanEmmerik
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 ...  
AndresLoeh 13 May 2001 - 21:56 - NEW EelcoVisser
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.  
AndrewAppel 09 May 2001 - 21:56 - NEW EelcoVisser
http://www.cs.princeton.edu/~appel/  
AndrewCooke 06 Dec 2001 - 12:51 - r1.2 EelcoVisser
Homepage: http://www.andrewcooke.free-online.co.uk/andrew/index.html Author of PancitoLibrary (among other things). CategoryPeople  
AndrewPitts 06 Dec 2001 - 13:06 - r1.2 EelcoVisser
Homepage: http://www.cl.cam.ac.uk/~amp12/ FreshML CategoryPeople  
AndrewTolmach 11 Dec 2001 - 12:19 - NEW EelcoVisser
Homepage: http://www.cs.pdx.edu/~apt/ Stratego.BuildingProgramOptimizersWithRewritingStrategies by the Rules CategoryPeople  
AndrewWalenstein 04 May 2004 - 05:16 - NEW AndrewWalenstein
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 ...  
AndromedaDecompiler 24 Mar 2007 - 08:24 - r1.2 MikeVanEmmerik
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 ...  
AnnotatedTerms 09 Apr 2002 - 18:49 - r1.2 ArieVanDeursen
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 ...  
AnnotationProcessingTool 08 Dec 2005 - 22:44 - r1.2 MartinBravenboer
Annotations Official Documentation Java Guide: Annotations Online Articles JavaWorld: Taming Tiger, Part 3: Decorate your code with Java annotations IBM DeveloperWorks ...  
ApplicationExtraction 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
AppliedComputingReview 26 Nov 2001 - 19:36 - NEW ArieVanDeursen
ACM Applied Computing Review http://www.acm.org/sigapp/acr/ CategoryJournal  
ArchitectureExtraction 24 Jan 2003 - 13:20 - r1.16 ArieVanDeursen
ArchitectureExtraction is an attempt to recover SoftwareArchitecture from, for example, the source of a LegacySystem. ArchitectureExtraction typically starts with ...  
ArieVanDeursen 24 Apr 2002 - 14:21 - r1.14 JoostVisser
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 ...  
ArneDeBruijn 06 Dec 2001 - 12:49 - r1.2 EelcoVisser
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 ...  
ArthurVanDam 17 Sep 2003 - 14:55 - NEW ArthurVanDam
See Main.ArthurVanDam Main.ArthurVanDam 17 Sep 2003  
ArvindArvind 06 Dec 2001 - 12:43 - r1.2 EelcoVisser
Homepage: http://foothill.lcs.mit.edu/~arvind/ Hardware synthesis via term rewriting Transform.CategoryPeople  
Asm21ToC 26 Aug 2004 - 01:30 - NEW MikeVanEmmerik
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 ...  
AspectBenchCompiler 08 May 2005 - 19:41 - NEW MartinBravenboer
Extensible Compiler for AspectJ Website: http://abc.comlab.ox.ac.uk Application of Framework and Framework Main.MartinBravenboer 08 May 2005  
AspectJ 08 May 2005 - 20:16 - r1.3 MartinBravenboer
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 ...  
AspectOrientedProgramming 09 May 2005 - 12:07 - r1.8 MartinBravenboer
Description Functional decomposition is good for flexibility, maintainance and modularity of programs. However, it is not necessarily good for other aspects of programming ...  
AspectOrientedProgrammingReview 09 May 2001 - 21:56 - NEW EelcoVisser
Aspect-Oriented Programming by GregorKiczales, JohnLamping, AnuragMendhekar, ChrisMaeda, ChristinaVideiraLopes, JeanMarcLoingtie and JohnIrwin. In Proceedings of ...  
AssemblyDecompilers 13 Aug 2007 - 10:19 - r1.6 MikeVanEmmerik
Decompilation from assembly language is easier than decompiling native executable (machine code) programs, but harder than decompiling programs compiled to virtual ...  
AttributeGrammar 05 Mar 2004 - 20:21 - r1.2 EelcoVisser
Attribute grammars were introduced by DonaldKnuth in 1968 for the definition of the semantics of (programming) languages. An attribute grammar is a specification that ...  
AutomatedSoftwareEngineering 29 Jan 2002 - 18:38 - NEW ArieVanDeursen
Automated Software Engineering http://www.kluweronline.com/issn/0928-8910 CategoryJournal  
AutomaticDecompiler 20 Aug 2003 - 01:20 - NEW MikeVanEmmerik
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 ...  
AutomaticRetargeting 04 Aug 2002 - 19:58 - r1.2 ArieVanDeursen
Automatic Retargeting http://www.cs.arizona.edu/~collberg/Research/AutomaticRetargeting/index.html Main.MaD 24 Jul 2002 Often includes BinaryTranslation techniques ...  
BAKE 29 May 2001 - 11:37 - NEW TWikiGuest
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/  
BANE 09 May 2001 - 21:56 - NEW EelcoVisser
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 02 Apr 2002 - 11:06 - r1.2 ArieVanDeursen
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 ...  
BENEVOL 20 Feb 2007 - 12:56 - r1.9 TomMens
Belgisch-Nederlandse Evolution Workshop Editions BenevolTwoThousandThree BenevolTwoThousandFour BenevolTwoThousandFive Benevol 2006 Main.TomMens 20 Feb 2007 Main ...  
BETA 10 Apr 2001 - 16:17 - NEW EelcoVisser
Homepage: http://www.daimi.aau.dk/~beta/ BETA is an ObjectOrientedProgrammingLanguage. It is the succesor of Simula67. CategoryLanguage  
BUILD 28 May 2001 - 11:54 - NEW TWikiGuest
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 18 Sep 2001 - 06:27 - r1.2 TWikiGuest
BURG is a system for CodeGeneration from IntermediateRepresentation expression trees developed by ChristopherFraser, ToddProebsting and others in the early 90's. Papers ...  
BadHonnefReengineeringWorkshop 19 Feb 2002 - 15:51 - r1.3 ArieVanDeursen
Annual German Workshop on ReEngineering in Bad Honnef. Held in May. See http://www.uni-koblenz.de/ist/WSR2001/ CategoryConference CategoryReengineeringPages  
BasLuttik 11 Dec 2001 - 12:13 - NEW EelcoVisser
Homepage: http://www.cwi.nl/~luttik/ Stratego.SpecificationOfRewritingStrategies CategoryPeople  
BasicBlockPositioning 04 Dec 2001 - 10:46 - r1.2 EelcoVisser
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 ...  
BauHaus 01 Jan 2002 - 14:51 - r1.5 ArieVanDeursen
Software architecture, Software ReEngineering, and ProgramUnderstanding Research project at the University of Stuttgart, see http://www.informatik.uni-stuttgart.de ...  
BayfrontTechnologies 28 Apr 2001 - 13:19 - NEW EelcoVisser
Homepage: http://www.bayfronttechnologies.com Provides CAPE tools for engineering communication protocols and other cooperating processes. (Provides documentation ...  
BdasmDisassembler 02 Jul 2005 - 17:30 - r1.4 DHughRedelmeier
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 ...  
BeNeVol2003 09 Jul 2004 - 13:29 - NEW PieterVanGorp
Location: CWI, Amsterdam Date: Thu 19 Fri 20 June, 2003 Sponsors: Partially financed by Wetenschappelijke Onderzoeksgemeenschap "Fundamenten van software-evolutie ...  
BeneloveTwoThousandFive 24 Mar 2005 - 08:47 - r1.2 TomTourwe
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 ...  
BenevolTwoThousandFive 11 Aug 2005 - 12:46 - r1.16 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 ...  
BenevolTwoThousandFour 30 Sep 2004 - 11:43 - r1.7 PieterVanGorp
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 ...  
BenevolTwoThousandThree 09 Jul 2004 - 13:58 - NEW PieterVanGorp
BENEVOL 2003 Location: CWI, Amsterdam Date: Thu 19 Fri 20 June, 2003 Sponsors: Partially financed by Wetenschappelijke Onderzoeksgemeenschap "Fundamenten van software ...  
BerndFischer 14 Jul 2014 - 08:36 - r1.2 EelcoVisser
Homepage: http://www.cs.sun.ac.za/~bfischer/ WorkshopOnRuleBasedProgramming CategoryPeople  
BibTeX 05 Nov 2003 - 21:17 - r1.2 EelcoVisser
BibTeX is a DataFormat for bibliographical information that is used in conjunction with LaTeX. The Stratego.BibtexTools package provides a syntax definition for BibTeX ...  
BigLeverSoftware 25 Apr 2002 - 14:49 - NEW JoostVisser
Homepage : http://www.biglever.com/ CategoryCompany  
Bigwig 08 May 2005 - 20:21 - NEW MartinBravenboer
Bigwig combines several ideas: Domain specific language for web services Syntax macros Publications Growing Languages with Metamorphic Syntax Macros Related projects ...  
BilyzKid 03 Mar 2005 - 04:00 - r1.3 MikeVanEmmerik
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 ...  
BinaryOptimisers 26 May 2005 - 03:15 - r1.5 StephenCheng
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 ...  
BinaryTranslation 24 Oct 2004 - 04:47 - r1.22 MikeVanEmmerik
Binary Translation What is binary translation Binary tanslation is the process of automatically translating binary object code from one machine Mi to another. The ...  
BinaryTranslationLinks 11 Aug 2002 - 21:16 - r1.4 MikeVanEmmerik
Links to pages containing mainly links to pages related to BinaryTranslation. http://www.codeonthefly.com/products.html Run time code generation: http://members.fortunecity ...  
BinaryTranslationProcessors 11 Jul 2003 - 00:38 - r1.4 MikeVanEmmerik
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 ...  
BinaryTranslationProducts 08 Feb 2002 - 02:38 - r1.3 MikeVanEmmerik
Commercial products related to Translation Dynamite from Transitive Technologies is a binary translation product with various front ends, back ends, and a "Dynamite ...  
BinaryTranslationResearch 07 Dec 2004 - 01:32 - r1.13 MikeVanEmmerik
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 ...  
BinaryTranslationWorkshops 28 Mar 2003 - 12:54 - r1.5 MikeVanEmmerik
The Workshop on Binary Translation (WBT) is usually held in conjunction with the International Conference on Parallel Architectures and Compilation Techniques (PACT ...  
BirdMeertensFormalism 09 May 2001 - 21:56 - NEW EelcoVisser
The Bird-Meertens Formalism (also called Squiggol) is a calculus for deriving programs from specifications (in a functional program setting) devised by RichardBird ...  
BobStoutOnDecompilation 29 Dec 2005 - 22:24 - NEW MikeVanEmmerik
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: ...  
BobStoutRefutation 29 Dec 2005 - 22:47 - NEW MikeVanEmmerik
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 ...  
BorgDisassembler 24 Oct 2004 - 03:18 - NEW MikeVanEmmerik
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 ...  
BranchCoverageForArbitraryLanguagesMadeEasy 17 Mar 2002 - 04:31 - r1.4 TWikiGuest
Branch Coverage For Arbitrary Languages Made Easy: Transformation Systems To The Rescue! by IraBaxter of SemanticDesigns, Inc. http://www.semdesigns.com Abstract ...  
BrianMitchell 18 Nov 2001 - 19:41 - r1.3 ArieVanDeursen
HomePage: http://www.mcs.drexel.edu/~bmitchel Research Web Page: http://serg.mcs.drexel.edu email: bmitchel@mcs.drexel.edu Research Interests: ReverseEngineering ...  
BroadwayCompiler 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.cs.utexas.edu/users/less/broadway.html  
BrueggeAndDutoit 17 Mar 2001 - 20:35 - NEW TWikiGuest
Bernd Bruegge and Allen H. Dutoit Object-Oriented Software Engineering: Conquering complex and changing systems Prentice-Hall, 2000. A textbook on software engineering ...  
BuildFile 09 May 2001 - 21:56 - NEW EelcoVisser
Description Buildfiles are used in combination with AutoBuild and define how to build particular software packages. See Also AutoBuild  
BuildingDocumentationGenerators 07 Nov 2001 - 11:10 - r1.2 ArieVanDeursen
Building Documentation Generators ArieVanDeursen, TobiasKuipers. In Proceedings International Conference on Software Maintenance ( ICSM 99). IEEE Computer Society ...  
BuildingProgramUnderstandingToolsUsingVisitorCombinators 21 Feb 2002 - 14:25 - r1.2 JoostVisser
Building Program Understanding Tools Using Visitor Combinators by Transform.ArieVanDeursen and Transform.JoostVisser This paper describes how Transform.VisitorCombinators ...  
ByteCodes 17 Jun 2005 - 13:15 - r1.2 MikeVanEmmerik
"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 ...  
CAML 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://caml.inria.fr/consortium/ CAML is a dialect of the FunctionalProgrammingLanguage ML.  
CC 09 May 2001 - 21:56 - NEW EelcoVisser
CC Compiler Construction, a series of conferences. The 2001 version is to be held as part of ETAPS'01 CategoryConference  
CCSE 26 Aug 2002 - 15:26 - r1.6 ArieVanDeursen
IEEE-CS/ACM Computing Curricula: Software Engineering. Part of the IEEE/ACM Computer Curriculum activity, aimed at developing the software engineering volume. Computer ...  
CCompilerHistory 13 Feb 2003 - 22:28 - r1.2 MikeVanEmmerik
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 29 Aug 2001 - 22:42 - NEW TWikiGuest
CDIF is an acronym that stands for CaseDataExchangeFormat.  
CIAO 02 Jan 2002 - 13:57 - r1.3 EelcoVisser
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 09 May 2001 - 21:56 - NEW EelcoVisser
CIP HelmutPartsch  
CKIT 02 Jan 2002 - 13:57 - NEW EelcoVisser
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 09 Feb 2004 - 13:31 - r1.8 MartinBravenboer
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 23 Dec 2001 - 11:41 - r1.2 ArieVanDeursen
COMPSAC is the major international forum for researchers, practitioners, managers, and policy makers interested in computer software and applications. It was first ...  
CONS 29 May 2001 - 11:06 - r1.2 TWikiGuest
CONS is a replacement for make, written in Perl. It is not compatible with make. http://www.dsmit.com/cons/  
COOK 28 May 2001 - 11:38 - NEW TWikiGuest
http://www.canb.auug.org.au/~millerp/cook/cook.html Cook is a replacement for make.  
CPP 13 Mar 2003 - 12:56 - r1.14 MartinBravenboer
C++ is an object-oriented extension of CProgrammingLanguage. Transformation of C++ programs is supported by AcaCia / CIAO OpenCpp Stratego.CodeBoost DMSSoftwareReengineeringToolkit ...  
CPPML 20 Feb 2003 - 11:02 - NEW RudolfFerenc
See http://www.frontendart.com and http://www.frontendart.com/cppml/cppml-2.0.dtd for details. Main.RudolfFerenc 20 Feb 2003  
CProgrammingLanguage 13 Mar 2003 - 12:19 - r1.8 MartinBravenboer
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 ...  
CSEET 27 Aug 2002 - 20:04 - r1.2 TWikiGuest
Conference on Software Engineering Education and Training 2002: http://www.site.uottawa.ca/cseet2002 Submission deadline: September Conference: February CategoryConference ...  
CSL 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.lsv.ens-cachan.fr/csl01/ Annual Conference of the European Association for Computer Science Logic Deadline: March Conference: September  
CSMR 09 Aug 2004 - 13:33 - r1.7 TomMens
European Conference on SoftwareMaintenance and ReEngineering Conference: 2005: http://www.rcost.unisannio.it/csmr2005/ 2004: http://www.cs.tut.fi/~csmr2004 2003: http ...  
CUP 03 Feb 2004 - 14:08 - NEW MartinBravenboer
CUP (Constructor of Useful Parsers) is a LALR parser generator for Java. Website: http://www.cs.princeton.edu/~appel/modern/java/CUP/  
CVS 09 May 2001 - 21:56 - NEW EelcoVisser
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 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
CaseDataExchangeFormat 29 Aug 2001 - 22:41 - NEW TWikiGuest
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 ...  
CastSoftware 27 Feb 2002 - 13:55 - NEW ArieVanDeursen
http://www.castsoftware.com/ CAST is a software company committed to simplifying the complexity of software engineering through Application Mining solutions. CategoryCompany ...  
CataMorphism 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
CategoryAnalysis 19 Feb 2002 - 15:33 - r1.2 ArieVanDeursen
The category of pages related to ProgramAnalysis. SEARCH{search "CategoryAnalysis" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ...  
CategoryArchitecture 19 Feb 2002 - 15:01 - r1.2 ArieVanDeursen
Pages dealing with SoftwareArchitecture the title gives them all. SEARCH{search "CategoryArchitecture" nosummary "on" scope "text" noheader "on" nosearch "on" format ...  
CategoryBinaryTranslation 05 Mar 2002 - 15:54 - r1.2 ArieVanDeursen
CategoryBinaryTranslation: pages devoted to BinaryTranslation. SEARCH{search "CategoryBinaryTranslation" nosummary "on" scope "text" header "" nosearch "on" web "Transform ...  
CategoryBook 25 Apr 2002 - 16:30 - r1.3 JoostVisser
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 ...  
CategoryCategory 30 Jan 2006 - 21:56 - r1.9 MikeVanEmmerik
The category of all categories. Categories are a way to organize Wiki pages: see Wiki:CategoryCategory SEARCH{search "Category" nosummary "on" scope "topic" header ...  
CategoryCollection 05 Mar 2002 - 14:41 - r1.3 EelcoVisser
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 ...  
CategoryCompany 11 May 2002 - 11:42 - r1.3 ArieVanDeursen
The category of companies offering ProgramTransformation products or services. Click on the title to get them. SEARCH{search "CategoryCompany" nosummary "on" scope ...  
CategoryConference 07 Dec 2001 - 10:53 - r1.3 EelcoVisser
The category of conferences in the area of ProgramTransformation. TransformationConferences has conferences ordered by submission deadline. SEARCH{search "CategoryConference ...  
CategoryDSL 03 Dec 2001 - 12:42 - r1.2 ArieVanDeursen
Category of pages related to DomainSpecificLanguages. SEARCH{search "CategoryDSL" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic ...  
CategoryDataFormat 31 Oct 2001 - 22:42 - NEW EelcoVisser
The Category of data formats. Click on the title. CategoryCategory  
CategoryDecompilation 05 Mar 2002 - 15:53 - r1.3 ArieVanDeursen
CategoryDecompilation: pages devoted to DeCompilation. SEARCH{search "CategoryDecompilation" nosummary "on" scope "text" header "" nosearch "on" web "Transform" format ...  
CategoryDomainEngineering 19 Feb 2002 - 20:10 - r1.2 ArieVanDeursen
Pages devoted to DomainEngineering. SEARCH{search "CategoryDomainEngineering" nosummary "on" scope "text" noheader "on" nosearch "on"} CategoryCategory  
CategoryEntryPoint 22 Jan 2002 - 08:48 - r1.6 EelcoVisser
All EntryPoints into ProgramTransformationOrg. SEARCH{search "CategoryEntryPoint" nosummary "on" scope "text" header "" nosearch "on" nototal "on" format " $web / ...  
CategoryGenerativeProgrammingWiki 25 Apr 2002 - 16:46 - r1.3 JoostVisser
All pages belonging to the GenerativeProgrammingWiki: SEARCH{search "CategoryGenerativeProgrammingWiki" nosummary "on" scope "text" noheader "on" nosearch "on"} See ...  
CategoryGroup 09 May 2001 - 21:56 - NEW EelcoVisser
Click on the title to find all research groups. (Ehhh, all pages containing the word CategoryGroup) CategoryCategory  
CategoryJournal 19 Nov 2001 - 12:42 - r1.2 ArieVanDeursen
The category of TransformationJournals. Click on the title to see them SEARCH{search "CategoryJournal" nosummary "on" scope "text" noheader "on" nosearch "on" nototal ...  
CategoryLanguage 16 Jul 2002 - 13:23 - r1.2 TWikiGuest
CategoryLanguage is the category of ProgrammingLanguages that are subject to ProgramTransformation. SEARCH{search "CategoryLanguage" nosummary "on" scope "text" noheader ...  
CategoryOptimization 02 Dec 2001 - 22:20 - r1.2 EelcoVisser
The category of ProgramOptimizations. SEARCH{search "CategoryOptimization" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ...  
CategoryPaper 25 Apr 2002 - 16:36 - r1.3 JoostVisser
The category of pages about a paper. SEARCH{"CategoryPaper" header "" format " $topic" nototal "on" nosearch "on" web "Transform Stratego Tools"} See also CategoryBook ...  
CategoryParadigm 25 Oct 2001 - 14:43 - NEW EelcoVisser
The category of computing paradigms. Click on the title to get them all. CategoryCategory  
CategoryPeople 19 Jan 2002 - 15:38 - r1.6 EelcoVisser
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 05 Mar 2002 - 15:52 - r1.4 ArieVanDeursen
CategoryProgramUnderstanding: pages devoted to ProgramUnderstanding. SEARCH{search "CategoryProgramUnderstanding" nosummary "on" scope "text" noheader "on" nosearch ...  
CategoryProject 13 Nov 2004 - 01:14 - r1.2 JoseLuizFiadeiro
Category of pages describing transformation research projects. LegToNet, Marie-Curie TOK-IAP 003169 CategoryCategory  
CategoryReengineeringPages 05 Mar 2002 - 15:49 - r1.4 ArieVanDeursen
CategoryReengineeringPages: pages dealing with ReEngineering topics. SEARCH{search "CategoryReengineeringPages" nosummary "on" scope "text" noheader "on" nosearch ...  
CategoryReengineeringWiki 05 Mar 2002 - 15:46 - r1.2 ArieVanDeursen
CategoryReengineeringWiki: Category of main topics (categories) in the ReengineeringWiki. SEARCH{search "CategoryReengineeringWiki" nosummary "on" scope "text" noheader ...  
CategoryReverseEngineering 05 Mar 2002 - 15:50 - r1.4 ArieVanDeursen
CategoryReverseEngineering: pages devoted to ReverseEngineering. SEARCH{search "CategoryReverseEngineering" nosummary "on" scope "text" noheader "on" nosearch "on ...  
CategoryReview 23 Dec 2001 - 20:38 - r1.2 EelcoVisser
This is the category of paper reviews. SEARCH{"CategoryReview" format " $topic " nosearch "on"} CategoryCategory TransformationReviews  
CategoryRigi 26 Oct 2002 - 12:40 - r1.2 ArieVanDeursen
CategoryRigi: all pages containing the word "CategoryRigi" are devoted to the RigiSystem. SEARCH{search "CategoryRigi" nosummary "on" scope "text" noheader "on" nosearch ...  
CategorySoftwareEvolution 05 Mar 2002 - 15:51 - r1.4 ArieVanDeursen
CategorySoftwareEvolution: Pages devoted to SoftwareEvolution SEARCH{search "CategorySoftwareEvolution" nosummary "on" scope "text" noheader "on" nosearch "on" format ...  
CategorySyntax 20 Oct 2001 - 12:13 - NEW EelcoVisser
The category of syntax related topics. Click on the title to get them all. CategoryCategory  
CategorySystem 05 Dec 2001 - 20:13 - r1.2 EelcoVisser
The category of TransformationSystems. SEARCH{"CategorySystem" format " $topic " nosearch "on" noheader "on"} CategoryCategory  
CategoryTaxonomy 11 Dec 2001 - 12:08 - NEW EelcoVisser
The category of taxonomies SEARCH{search "CategoryTaxonomy" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic " } CategoryCategory ...  
CategoryTeaching 26 Aug 2002 - 15:28 - r1.2 ArieVanDeursen
CategoryTeaching: pages devoted to teaching ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTeaching" nosummary "on" scope "text" noheader "on ...  
CategoryTheory 09 May 2001 - 21:56 - NEW EelcoVisser
Category Theory is the mathematical theory of structure-respecting transformations. A category consists of arrows (or morphisms ) between objects . For example, we ...  
CategoryTransformation 14 Mar 2001 - 15:42 - NEW EelcoVisser
The category of topics related to ProgramTransformation. Click on the title to get them all. CategoryCategory  
CategoryTransformationParadigm 26 Mar 2001 - 07:52 - NEW EelcoVisser
The Category of TransformationParadigms. (Click on the title to see them all.) CategoryCategory  
CategoryTutorial 05 Mar 2002 - 15:56 - r1.2 ArieVanDeursen
CategoryTutorial: Category of tutorial articles in the areas of ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTutorial" nosummary "on" scope ...  
CategoryWcre 05 Mar 2002 - 16:06 - r1.4 ArieVanDeursen
CategoryWcre: Pages on WCRE SEARCH{search "CategoryWcre" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory  
CategoryWiki 19 Feb 2002 - 20:11 - r1.4 ArieVanDeursen
Category of pages devoted to discussions of wiki style and techniques. SEARCH{search "CategoryWiki" nosummary "on" scope "text" header "" nosearch "on" format " $topic ...  
CfEngine 25 May 2001 - 14:51 - NEW TWikiGuest
http://www.iu.hioslo.no/cfengine/ cfengine is short for `configuration engine'. Although its primary goal is to `administrate and configure large computer networks ...  
ChrisLenguaer 06 Dec 2001 - 13:01 - r1.2 EelcoVisser
Homepage: http://brahms.fmi.uni-passau.de/cl/staff/lengauer/ CategoryPeople  
ChrisRussell 01 Feb 2003 - 13:59 - r1.2 ChrisRussell
Chris' information page is maintained at: Main.ChrisRussell  
ChrisVerhoef 04 Oct 2001 - 14:15 - NEW ArieVanDeursen
Chris Verhoef mr X X http://www.cs.vu.nl/~x/ SoftwareArchitecture, in particular archictural modification.  
ChristopherFraser 30 Apr 2001 - 12:53 - NEW EelcoVisser
Homepage: http://research.microsoft.com/~cwfraser/ Christopher Fraser is one of the designers of BURG and many other things. CategoryPeople  
ChuckLiang 21 Dec 2001 - 17:11 - NEW EelcoVisser
Homepage: http://cs.hofstra.edu/~cscccl/ Construction in Higher Order Logic Programming Order Compilation Project CategoryPeople  
ClassCracker 25 Sep 2004 - 01:56 - NEW MikeVanEmmerik
The Australian company Mayon Software Research sells a visual Java decompiler called ClassCracker. ClassCracker contains 3 applications in one: a disassembler, a class ...  
ClaudeKirchner 06 Dec 2001 - 12:59 - r1.2 EelcoVisser
Homepage: http://www.loria.fr/~ckirchne/ ELAN RewritingCalculus CategoryPeople  
ClaudioRiva 04 Oct 2001 - 14:22 - NEW ArieVanDeursen
This Claudio's own research home page. Soon I will upload my papers to this page! Claudio Riva test whether this works!  
CleanLanguage 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.cs.kun.nl/~clean/ Clean is a functional programming language. mailinglist: http://www.cs.kun.nl/mailman/listinfo/clean-list  
ClusterAnalysis 30 Mar 2002 - 13:32 - r1.5 TWikiGuest
Finding groups in data by computing distances or similarities between elements. In ReverseEngineering, typically used for remodularization, ObjectIdentification, and ...  
CoSy 09 May 2001 - 21:56 - NEW EelcoVisser
CoSy is a compiler manufacturing Framework  
CocktailToolbox 09 May 2001 - 21:56 - NEW EelcoVisser
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 02 Dec 2001 - 12:12 - NEW ArieVanDeursen
CodeBeamer from IntlandCompany is a web-based source code comprehension product that enables enterprises or geographically dispersed groups of developers to analyze ...  
CodeBreakersJournal 15 Aug 2004 - 12:56 - NEW MikeVanEmmerik
http://codebreakers-journal.com/ "Journal for Algorithms, Virus-Research, Software-Protection and Reverse Code Engineering". Seems to be peer reviewed, published 3 ...  
CodeBuildingEnvironment 29 May 2001 - 15:28 - NEW TWikiGuest
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 17 Mar 2002 - 14:39 - NEW EelcoVisser
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 ...  
CodeComplete 11 Mar 2001 - 10:58 - NEW TWikiGuest
Code Complete by Steve McConnell. Microsoft Press, 1993. A practical handbook of software construction . 800 pages every developer should study. CategoryBook  
CodeCoverage 02 Sep 2002 - 22:35 - NEW MartinBravenboer
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 25 Nov 2004 - 06:46 - r1.2 ReengineeringGuest
CodeCrawler is a language independent ReverseEngineering tool for systems written in ObjectOrientedProgrammingLanguages which combines metrics and SoftwareVisualization ...  
CodeGeneration 03 Jan 2006 - 21:59 - r1.6 MikeVanEmmerik
Code generation (also called selection) is a transformation performed in the back-ends of compilers. At this state of compilation representation expressions are transformed ...  
CodeGenerator 08 Jan 2002 - 14:08 - NEW EelcoVisser
A code generator is a compiler component that translates intermediate representation expression trees to lists of machine instructions. See CodeGeneration. Main.EelcoVisser ...  
CodeReadingAndProgramComprehensionBibliography 19 Jan 2002 - 12:08 - NEW ArieVanDeursen
Annotated Bibliography on Code Reading and ProgramComprehension Deimel and Naveda (1990) Reading Computer Programs: Instructor's Guide and Exercises. CMU/SEI-90-EM ...  
CodeWorker 01 Aug 2003 - 05:28 - r1.2 CedricLemaire
This tool is a scripting language (distributed under LGPL at http://www.codeworker.org) dedicated to automate the development process, from requirements specification ...  
CognitiveModels 18 Feb 2002 - 13:27 - NEW ArieVanDeursen
Cognitive models of program comprehension model the mental processes involved in program understanding. In most cognitive models, hypotheses are key drivers of the ...  
Colm 03 Nov 2008 - 20:04 - NEW JamesCordy
Colm: COmputer Language Manipulation Homepage: http://www.complang.org/colm/ Colm is a programming language designed for the analysis and transformation of computer ...  
Columbus 07 Jan 2003 - 09:21 - NEW RudolfFerenc
See FrontEndART for details. Main.RudolfFerenc 07 Jan 2003  
ColumbusCAN 21 Oct 2002 - 19:42 - NEW HolgerKienle
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 ...  
CompaniesOfferingDecompilationServices 28 Apr 2006 - 23:01 - r1.30 MikeVanEmmerik
The following companies offer decompilation services (from binary code or assembly code). The techniques used by these companies are usually proprietary, but often ...  
CompilationByTransformation 03 Jan 2002 - 13:45 - r1.2 EelcoVisser
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 ...  
CompilerConstructionInHigherOrderLogicProgramming 21 Dec 2001 - 17:17 - NEW EelcoVisser
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 ...  
ComponentDocumentationTemplate 09 May 2001 - 21:56 - NEW EelcoVisser
Name Component name. Synopsis Short usage of the component. Description Description of the functionality offered by the component, focussing on common usage. Options ...  
CompostFramework 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://i44w3.info.uni-karlsruhe.de/~compost/ Compost is a framework for program transformation and analysis implemented in Java. UweAssman OPTIMIX  
CompuWare 26 Jun 2001 - 15:59 - NEW ArieVanDeursen
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 28 Feb 2003 - 09:21 - r1.7 RobVermaas
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 ...  
ContextFreeGrammar 09 Mar 2004 - 12:46 - NEW MartinBravenboer
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 ...  
ContinuousCompilers 09 May 2001 - 21:56 - NEW EelcoVisser
The compiler should effectively continuously transform a program from an interpreted to a fully optimized form. http://www.cs.wustl.edu/~plezbert/contcom/ RonCytron ...  
ControlFlowAnalysis 28 May 2002 - 13:01 - NEW DavidEriksson
Control flow analysis in decompilation convert conditional and non-conditional jump instructions into high-level language control constructs such as if/else, while ...  
ConvertSpacesToTabs 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
CostEffectiveMaintenanceToolsForProprietaryLanguages 24 May 2002 - 11:32 - NEW JoostVisser
Cost-effective Maintenance Tools for Proprietary Languages by MerijnDeJonge Ramin Monajemi Available at: http://www.cwi.nl/~mdejonge/papers/#JM2001  
CppETS 10 Oct 2002 - 16:49 - NEW HolgerKienle
CppETS is an extractor benchmarks for C++ (see ExtractorBenchmarks). The benchmark has been exercised at the following occasions: CASCON 2001 workshop (CppETS 1.0 ...  
CppFactExtractors 16 Mar 2004 - 21:18 - r1.5 YijunYu
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 ...  
CppTemplates 20 Apr 2004 - 21:35 - NEW MartinBravenboer
C++ templates allow compile-time programming in the type system of C++.  
Cppx 21 Oct 2002 - 19:47 - NEW HolgerKienle
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 ...  
CristinaCifuentes 21 Nov 2001 - 07:31 - r1.3 MikeVanEmmerik
Cristina Cifuentes http://www.csee.uq.edu.au/~cristina/ DeCompilation ProgramSlicing LegalIssues CategoryPeople  
CrocoPat 20 Nov 2008 - 10:05 - NEW HolgerKienle
Homepage: http://www.cs.sfu.ca/~dbeyer/CrocoPat/ CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive ...  
CrystalSystems 31 Mar 2002 - 11:27 - r1.2 ArieVanDeursen
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 ...  
CycloneLanguage 20 Nov 2001 - 13:12 - NEW EelcoVisser
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 23 Jul 2002 - 22:19 - NEW MaD
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 ...  
DMSSoftwareReengineeringToolkit 18 Mar 2002 - 15:44 - r1.7 TWikiGuest
Homepage: http://www.semdesigns.com/Products/DMS/DMSToolkit.html DMSSoftwareReengineeringToolkit is a DesignMaintenanceSystem for software ReEngineering from SemanticDesigns ...  
DNeliacExample69 23 Aug 2004 - 04:00 - NEW MikeVanEmmerik
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 ...  
DNeliacExample72 23 Aug 2004 - 07:01 - r1.2 MikeVanEmmerik
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 ...  
DOM 20 Mar 2001 - 20:12 - r1.2 TWikiGuest
See DocumentObjectModel  
DOME 21 Oct 2002 - 17:17 - r1.2 HolgerKienle
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 ...  
DSL 09 May 2001 - 21:56 - NEW EelcoVisser
Acronym for DomainSpecificLanguages  
DSLAnnotatedBibliography 04 Mar 2005 - 09:53 - r1.5 MerijnDeJonge
Domain-Specific Languages: An Annotated Bibliography. By ArieVanDeursen, PaulKlint and JoostVisser. We survey the literature available on the topic of DomainSpecificLanguages ...  
DSLBibliographyAdditions 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
DSLBibliographyDesign 20 Oct 2002 - 01:11 - r1.6 HolgerKienle
Several papers covering DSL design issues such as DomainEngineering are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions ...  
DSLBibliographyExamples 01 Jan 2004 - 07:24 - r1.6 JeffGray
A number of example DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions, presenting example DomainSpecificLanguages ...  
DSLBibliographyImplementation 17 Aug 2005 - 15:29 - r1.5 JeffGray
Several papers covering ways of implementing DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions presenting implementation ...  
DSLBibliographyRisksOpportunities 22 Mar 2001 - 10:09 - NEW TWikiGuest
Papers evaluating the risks and opportunities of DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions presenting ...  
DSLBibliographyTerminology 28 Aug 2002 - 13:08 - r1.4 ArieVanDeursen
The DSLAnnotatedBibliography starts by definining the terminology used in the paper. This page collects comments, extensions, or additional references concerning DomainSpecificLanguages ...  
DSLs 09 May 2001 - 21:56 - NEW EelcoVisser
DomainSpecificLanguages  
DaVinciSystem 29 Aug 2001 - 21:50 - r1.2 TWikiGuest
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 ...  
DagstuhlSeminar 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
DailyBuildSystem 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
DaliWorkbench 24 Sep 2002 - 12:11 - r1.2 ArieVanDeursen
Collections of tools used for ArchitectureExtraction. Pointers: http://www.sei.cmu.edu/ata/ata extraction.html Rick Kazman, S. Jeromy Carrière, Playing Detective: ...  
DataBaseManagers 16 Aug 2004 - 01:38 - NEW MikeVanEmmerik
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 ...  
DataExchangeFormats 29 Aug 2001 - 22:16 - NEW TWikiGuest
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 ...  
DataFlowAnalysis 28 May 2002 - 13:00 - NEW DavidEriksson
Data flow analysis in decompilation covers the conversion from primitive machine code instructions to expressions in high-level language. Main.DavidEriksson 28 May ...  
DataFormat 14 Mar 2001 - 08:03 - NEW EelcoVisser
See DataFormats.  
DataFormats 14 Mar 2001 - 08:03 - NEW EelcoVisser
A DataFormat is a formal language for the representation of information. Unlike ProgrammingLanguages, DataFormats don't specify computations. Examples of data formats ...  
DatabaseReverseEngineering 05 May 2004 - 12:48 - r1.2 JeanHenrard
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 ...  
DavidEriksson 13 Jun 2002 - 21:07 - r1.3 DavidEriksson
Homepage: http://desquirr.sourceforge.net/ Main.DavidEriksson 13 Jun 2002  
DavidLacey 06 Dec 2001 - 13:00 - r1.2 EelcoVisser
http://www.comlab.ox.ac.uk/oucl/work/david.lacey CategoryPeople  
DccDecompiler 08 Aug 2005 - 06:55 - r1.5 MikeVanEmmerik
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 ...  
DccDecompilerTests 01 Aug 2005 - 03:45 - r1.2 MikeVanEmmerik
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 ...  
DeCompResume 22 Nov 2001 - 02:46 - r1.3 MikeVanEmmerik
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 14 Apr 2007 - 07:17 - r1.83 MikeVanEmmerik
Decompilation is a ProgramTransformation by which a high-level source code for an executable program is discovered. Decompilation is the inverse of ProgramCompilation ...  
DeFeater 13 Feb 2003 - 22:19 - r1.3 MikeVanEmmerik
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 04 Dec 2001 - 10:45 - r1.3 EelcoVisser
Deforestation is a ProgramTransformation that eliminates intermediate data-structures (trees). The technique was invented by PhilipWadler for optimization of functional ...  
DealingWithLargeBananas 09 May 2001 - 21:56 - NEW EelcoVisser
Dealing with Large Bananas by RalfLaemmel, JoostVisser, and JanKort Available: Draft 1 .  
DecompDecompiler 10 Oct 2005 - 01:38 - r1.2 MikeVanEmmerik
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 ...  
DecompReadMe 13 Feb 2003 - 22:21 - r1.3 MikeVanEmmerik
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 ...  
DecompilationAnakrinoTest 12 Mar 2003 - 22:55 - r1.4 MikeVanEmmerik
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 ...  
DecompilationAndReverseEngineering 28 Sep 2005 - 00:17 - r1.8 MikeVanEmmerik
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 ...  
DecompilationApplicationSpecificApproach 04 Dec 2004 - 22:24 - NEW MikeVanEmmerik
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  
DecompilationBoomerang 28 Jul 2004 - 06:59 - r1.7 MikeVanEmmerik
The Boomerang Decompiler and Tests Boomerang is an attempt at a complete, retargetable decompiler for native executable programs, released under a BSD style (open ...  
DecompilationCcTest 13 Feb 2003 - 22:17 - r1.10 MikeVanEmmerik
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 ...  
DecompilationCompilerSpecific 04 Dec 2004 - 09:00 - r1.21 MikeVanEmmerik
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 ...  
DecompilationDava 17 Aug 2005 - 10:27 - r1.35 MikeVanEmmerik
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 ...  
DecompilationDavaTest 05 Jul 2006 - 05:04 - r1.6 MikeVanEmmerik
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 ...  
DecompilationDisassembly 16 May 2005 - 13:05 - r1.28 MikeVanEmmerik
Please see DisAssembly.  
DecompilationFaqRefutation 30 Dec 2005 - 00:17 - r1.5 MikeVanEmmerik
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 ...  
DecompilationGeneralApproach 07 Mar 2005 - 07:01 - NEW FredHeltsley
Main.FredHeltsley 07 Mar 2005  
DecompilationHelpWanted 29 Sep 2005 - 08:16 - r1.6 MikeVanEmmerik
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 ...  
DecompilationJadTest 15 Nov 2003 - 07:21 - r1.14 MikeVanEmmerik
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 ...  
DecompilationJasciiTest 26 Sep 2007 - 03:05 - r1.10 MikeVanEmmerik
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 ...  
DecompilationJodeTest 23 Feb 2003 - 12:04 - r1.18 MikeVanEmmerik
JODE open source Java Decompiler Simple Tests TOC Fibo For source, see DecompilerFiboTestSource. Decompiled source from JODE: / Fibo Decompiled by JODE Visit http ...  
DecompilationJrpTest 24 Feb 2003 - 13:07 - r1.23 MikeVanEmmerik
JReversePro (Java Decompiler) Simple Tests I installed JReversePro version 1.4.1 (binary distribution; Sourceforge page is here). TOC Fibo For source, see DecompilerFiboTestSource ...  
DecompilationNmiTest 24 Feb 2003 - 02:45 - r1.5 MikeVanEmmerik
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 ...  
DecompilationPossible 29 Dec 2005 - 22:16 - r1.13 MikeVanEmmerik
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 ...  
DecompilationProcess 22 Nov 2001 - 02:27 - r1.2 MikeVanEmmerik
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 ...  
DecompilationReflectorTest 25 Sep 2004 - 00:21 - r1.3 MikeVanEmmerik
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 ...  
DecompilationResources 11 Dec 2007 - 00:08 - r1.79 MikeVanEmmerik
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 ...  
DecompilationSATest 24 Oct 2003 - 08:15 - r1.16 MikeVanEmmerik
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 ...  
DecompilationSalamanderTest 13 Mar 2003 - 22:24 - r1.10 MikeVanEmmerik
Salamander .NET to C# Decompiler Tests Salamander is a commercial .NET to C# decompiler. TOC Fibo For source, see DecompilerFiboDotNetSource. Decompiled source from ...  
DecompilationStTest 13 Feb 2003 - 22:17 - r1.7 MikeVanEmmerik
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 ...  
DecompilationUrls 11 Dec 2007 - 10:29 - r1.6 MikeVanEmmerik
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 ...  
DecompilerAndromedaTest 24 Mar 2007 - 08:20 - NEW MikeVanEmmerik
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 ...  
DecompilerCastingDotNetSource 11 Mar 2003 - 02:48 - r1.2 MikeVanEmmerik
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 ...  
DecompilerCastingTestSource 13 Feb 2003 - 22:17 - r1.2 MikeVanEmmerik
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 ...  
DecompilerControlFlowDotNetSource 11 Mar 2003 - 02:50 - r1.2 MikeVanEmmerik
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 ...  
DecompilerControlFlowTestSource 13 Feb 2003 - 22:17 - r1.2 MikeVanEmmerik
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 ...  
DecompilerDesquirrTest 20 Jul 2005 - 01:31 - r1.4 MikeVanEmmerik
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 ...  
DecompilerE2cTest 20 Mar 2003 - 03:08 - r1.5 MikeVanEmmerik
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 ...  
DecompilerExceptionTestSource 13 Feb 2003 - 22:17 - r1.3 MikeVanEmmerik
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 ...  
DecompilerFiboDotNetSource 13 Mar 2003 - 04:02 - r1.3 MikeVanEmmerik
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 ...  
DecompilerFiboTestSource 06 Mar 2003 - 10:49 - r1.3 MikeVanEmmerik
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 ...  
DecompilerImageViewerDotNetSource 13 Mar 2003 - 04:02 - r1.4 MikeVanEmmerik
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 ...  
DecompilerInnerClassesDotNetSource 11 Mar 2003 - 02:49 - r1.2 MikeVanEmmerik
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 ...  
DecompilerInnerClassesTestSource 13 Feb 2003 - 22:17 - r1.2 MikeVanEmmerik
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 ...  
DecompilerInteraction 12 Sep 2006 - 00:37 - r1.2 MikeVanEmmerik
In a poorly designed decompiler (including all current decompilers and also disassemblers), a graphical user interface (GUI) or equivalent (e.g. Sourcer's specification ...  
DecompilerOptimisedTestSource 13 Feb 2003 - 22:17 - r1.3 MikeVanEmmerik
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 ...  
DecompilerRecTest 20 Mar 2003 - 03:06 - r1.7 MikeVanEmmerik
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 ...  
DecompilerSableDotNetSource 11 Mar 2003 - 02:49 - r1.2 MikeVanEmmerik
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 ...  
DecompilerSableTestSource 13 Feb 2003 - 22:17 - r1.2 MikeVanEmmerik
The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains this small but important test program (concatenation of 4 Java source files): public class ...  
DecompilerTechnologies 29 Apr 2006 - 00:15 - r1.6 MikeVanEmmerik
http://www.decompiler.org (Decompiler Technologies) Until May 2005, Decompiler Technologies offered mainly a Visual Basic 6 native-code decompilation (source code ...  
DeforestationTransformingProgramsToEliminateTrees 08 Jun 2001 - 12:33 - r1.2 TWikiGuest
PhilipWadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming (ESOP'88) , Nancy, France. Lecture Notes in Computer Science ...  
DelphiDecompilers 24 Jan 2008 - 23:11 - r1.2 MikeVanEmmerik
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 ...  
DeltaSoftwareTechnology 17 Oct 2003 - 16:21 - NEW ReengineeringGuest
Delta Software Technology is the leading developer of generative software tools for service-based integration to multiply the value of legacy applications and data ...  
DesignPatternRecovery 20 Oct 2001 - 18:21 - r1.2 ArieVanDeursen
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 ...  
DesignRecovery 09 May 2001 - 21:56 - NEW EelcoVisser
The ReverseAndReengineeringTaxonomy defines design recovery as a subset of ReverseEngineering in which domain knowledge, external information, and deduction or fuzzy ...  
DesquirrPlugin 20 Jul 2005 - 02:02 - r1.2 MikeVanEmmerik
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 09 May 2001 - 21:56 - NEW EelcoVisser
DiSTiL: A transformation library for data structures by YannisSmaragdakis and DonBatory ResearchIndex http://citeseer.nj.nec.com/smaragdakis96distil.html  
DickGrune 27 Aug 2001 - 23:42 - NEW EelcoVisser
Homepage: http://www.cs.vu.nl/~dick/ CompilerConstruction http://www.cs.vu.nl/~dick/CS Summaries.html CategoryPeople  
DickKieburtz 06 Dec 2001 - 12:59 - r1.2 EelcoVisser
Homepage: http://www.cse.ogi.edu/~dick/dick.html CategoryPeople  
DigitalLibrary 10 Oct 2001 - 13:01 - NEW ArieVanDeursen
IEEE Digital Library: http://www.computer.org/publications/dlib/index.htm ACM Digital Library: http://www.acm.org/dl/  
DigitalSignalProcessors 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
DiomidisSpinellis 09 May 2001 - 21:56 - NEW EelcoVisser
Diomidis Spinellis: http://softlab.icsd.aegean.gr/~dspin/ Topics: DomainSpecificLanguages  
DisAssembly 07 Jun 2007 - 22:04 - r1.8 MikeVanEmmerik
Disassembly Disassembly is the process of translating an executable program into its equivalent assembly representation. The greatest problem with disassembling is ...  
DisC 16 Aug 2004 - 11:18 - NEW MikeVanEmmerik
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 ...  
Disasm32VisualSymbolicDisassembler 24 Oct 2004 - 03:59 - NEW MikeVanEmmerik
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 ...  
DisinformationDecompiler 03 May 2005 - 01:35 - r1.2 MikeVanEmmerik
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 ...  
DoDi 16 Aug 2004 - 02:07 - NEW MikeVanEmmerik
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 16 Aug 2002 - 07:56 - r1.4 ArieVanDeursen
DocGen is a DocumentationGeneration tool aimed at redocumenting LegacySystems written in languages such as COBOL, DB2, JCL, as well as proprietary languages. It is ...  
DocumentObjectModel 20 Mar 2001 - 20:11 - NEW TWikiGuest
Document Object Model: a tree-based object-oriented API for XML document manipulation: see http://www.w3.org/DOM/  
DocumentTypeDefinition 29 May 2002 - 22:30 - NEW MartinBravenboer
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 ...  
DocumentationGeneration 06 Jul 2005 - 19:44 - r1.4 JohnBlattner
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 ...  
DomainAnalysis 24 Apr 2002 - 14:21 - r1.9 JoostVisser
Domain Analysis is the first DomainEngineering step. Following GenerativeProgrammingBook, p. 23, the purpose of Domain Analysis is to: Select and define the domain ...  
DomainDesign 24 Apr 2002 - 14:21 - r1.3 JoostVisser
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 ...  
DomainEngineering 30 Jan 2006 - 21:58 - r1.17 MikeVanEmmerik
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 ...  
DomainEngineeringAndAgileSoftwareDevelopment 02 Mar 2003 - 12:51 - r1.3 ArieVanDeursen
This page is intended to discuss the question Is Domain Engineering compatible with Agile Software Development? Given the current popularity of agile methodologies ...  
DomainSpecificLanguage 18 May 2001 - 10:10 - NEW ArieVanDeursen
Just one of the many DomainSpecificLanguages  
DomainSpecificLanguageDesignRequiresFeatureDescriptions 03 Dec 2001 - 20:42 - NEW ArieVanDeursen
Domain-Specific Language Design Requires Feature Descriptions ArieVanDeursen and PaulKlint Journal of Computing and Information Technology , 2002. Abstract A DomainSpecificLanguage ...  
DomainSpecificLanguages 30 Jan 2006 - 21:59 - r1.12 MikeVanEmmerik
A little language, that helps in a particular application domain. A more formal definition from the DSLAnnotatedBibliography: A domain-specific language (DSL) is a ...  
DonBatory 06 Dec 2001 - 12:45 - r1.2 EelcoVisser
Homepage: http://www.cs.utexas.edu/users/dsb/ DiSTiL GenVoca CategoryPeople  
DonRoberts 31 Oct 2001 - 08:07 - r1.2 ArieVanDeursen
Don Roberts homepage: http://st-www.cs.uiuc.edu/users/droberts/homePage.html SmalltalkRefactory ARefactoringToolForSmalltalk ProgramRefactoring CategoryPeople  
DonaldKnuth 09 May 2001 - 21:56 - NEW EelcoVisser
Donald Knuth is a computer scientist that invented many techniques relevant for language processing, including: LR parsing AttributeGrammar(s) Literate programming ...  
DonatingAGrammarByEmail 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
DonatingAGrammarWithCVS 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
DoraTools 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
DotLanguage 31 Oct 2001 - 22:41 - r1.2 EelcoVisser
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. ...  
DotNetDecompilerTests 20 Aug 2004 - 09:07 - r1.8 MikeVanEmmerik
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 ...  
DotNetDecompilers 08 Mar 2008 - 00:06 - r1.14 MikeVanEmmerik
.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...  
DougSmith 09 May 2001 - 21:56 - NEW EelcoVisser
Designer/implementer of KIDS. Homepage: http://www.kestrel.edu/HTML/people/smith/  
DrScheme 04 May 2001 - 23:15 - NEW EelcoVisser
Homepage: http://www.cs.rice.edu/CS/PLT/packages/drscheme/ DrScheme is an interactive programming environment for SchemeLanguage. CategorySystem Main.EelcoVisser ...  
DracoPUC 20 Feb 2004 - 11:45 - NEW EelcoVisser
Draco-PUC is a transformation system based on the original DracoSystem. http://www.inf.puc-rio.br/~draco/ Main.EelcoVisser 20 Feb 2004  
DracoSystem 30 Jan 2006 - 21:59 - r1.9 MikeVanEmmerik
The Draco system was the first to pioneer with DomainSpecificLanguages employing ProgramTransformation for their implementation. The system featured parser and pretty ...  
DracoUsersManual 28 Apr 2001 - 13:24 - NEW EelcoVisser
http://www.bayfronttechnologies.com/manual.htm Documentation of the DracoSystem.  
DslConferences 23 Feb 2003 - 16:44 - r1.7 ArieVanDeursen
Conferences / Workshops / Journals / Special Issues devoted to DomainSpecificLanguages. (Listed in reverse chronological ordering of the submission date) Workshop ...  
DsmStudioDisassembler 24 Oct 2004 - 03:39 - NEW MikeVanEmmerik
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 ...  
DynamicAspects 24 Jun 2005 - 09:34 - NEW JeffFoster
Homepage: http://www.dynamicaspects.com Developing the domain/object platform. domain/object is a new kind of execution environment that blurs the traditional distinctions ...  
DynamicTranslator 01 Dec 2001 - 13:14 - NEW MikeVanEmmerik
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 ...  
ECOOP 14 Nov 2008 - 18:26 - r1.2 HolgerKienle
Homepage: http://www.ecoop.org/ European Conference on Object-Oriented Programming Dates Submission: October Conference: June Past Events : http://www.ecoop.org/conferences ...  
ELAN 20 Apr 2004 - 07:18 - r1.2 PierreEtienneMoreau
ELAN is an algebraic specification formalism that first introduced RewritingStrategies. Homepage: http://elan.loria.fr Contact: ELAN elan@loria.fr Influences AlgebraicSpecification ...  
ETAPS 18 Nov 2001 - 08:47 - r1.2 EelcoVisser
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 ...  
ETAPS2001 09 May 2001 - 21:56 - NEW EelcoVisser
http://www.disi.unige.it/etaps2001/  
ETI 09 May 2001 - 21:56 - NEW EelcoVisser
The Electronic Tool Integration Platform (ETI) http://eti.informatik.uni-dortmund.de/ http://www.eti-service.org/  
EarleyParser 09 Mar 2004 - 13:06 - NEW MartinBravenboer
Resources Wikipedia  
EclipseLanguage 05 Dec 2001 - 00:07 - r1.2 EelcoVisser
Homepage: http://www.haley.com/0288108556162049/Eclipse.html PaulHaley CategorySystem Main.EelcoVisser 20 Nov 2001  
EelcoDolstra 11 Dec 2001 - 12:09 - NEW EelcoVisser
Homepage: http://www.cs.uu.nl/staff/eelco.html Stratego.RhoStratego CategoryPeople  
EelcoVisser 30 May 2012 - 10:56 - r1.6 EelcoVisser
Homepages http://eelcovisser.org Stratego.EelcoVisser ProgramTransformation interests Taxonomy Systems Strategies Organization on Rule Based Programming ProgramTransformationOrg ...  
EfficientAnnotatedTerms 29 Apr 2002 - 07:44 - r1.3 EelcoVisser
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 ...  
EiffelLanguage 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.eiffel-nice.org Eiffel is an object-oriented programming language that supports multiple inheritance.  
ElegantLanguage 06 Jul 2005 - 17:59 - r1.2 KarlTrygveKalleberg
Homepage: http://www.research.philips.com/technologies/syst softw/elegant/ Elegant is a compiler implementation language originally built on the paradigm of AttributeGrammars ...  
ElkHound 03 Jan 2003 - 13:31 - NEW EelcoVisser
Elkhound is a parser generator based on the GLR algorithm. See http://www.cs.berkeley.edu/~smcpeak/elkhound/ Main.EelcoVisser 03 Jan 2003  
ElliotChikofsky 14 Mar 2002 - 15:05 - NEW TWikiGuest
Elliot Chikofsky http://pathbridge.net/chikofsky/ CategoryPeople  
EntryPoint 22 Jan 2002 - 09:05 - r1.6 EelcoVisser
This ProgramTransformationOrg Wiki is a collaborative effort to collect and disseminate information on various aspects of ProgramTransformation, ranging from a general ...  
EvolutionResources 12 Oct 2006 - 12:30 - r1.4 TomMens
Standards IEEE Std. 610.12 Standard Glossary of Software Engineering Terminology , 1990 IEEE Std. 1219 Standard for Software Maintenance , 1998 ISO/IEC 14764 Software ...  
ExchangeFormat 02 Mar 2002 - 13:50 - r1.6 ArieVanDeursen
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 ...  
ExchangeFormatBibliography 20 Feb 2003 - 11:04 - r1.10 RudolfFerenc
Exchange Format Bibliography by HolgerKienle, JoergCzeranski and ThomasEisenbarth This paper gives a bibliographical overview and a classification of ExchangeFormats ...  
ExeFmt 15 Aug 2004 - 12:14 - NEW MikeVanEmmerik
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 ...  
ExeToC 04 Aug 2005 - 01:26 - NEW MikeVanEmmerik
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 ...  
Exec2cDecompiler 12 Aug 2005 - 10:06 - r1.2 MikeVanEmmerik
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 ...  
ExplicitReload 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
ExtensibleStylesheetLanguage 31 Oct 2001 - 15:25 - NEW TWikiGuest
The Extensible Stylesheet Language (XSL) XSL is a language for expressing stylesheets. It consists of three parts: XSL Transformations (XSLT): a language for transforming ...  
ExternalGraphTools 09 May 2001 - 21:56 - NEW EelcoVisser
Links Leon Moonen's graph tools: http://www.cwi.nl/~leon/hacks/graph-tools/ Graphviz: http://www.research.att.com/sw/tools/graphviz/  
ExtractorBenchmarks 10 Oct 2002 - 16:41 - NEW HolgerKienle
ExtractorBenchmarks address the difficulties of FactsExtraction. A benchmark has many applications; it could be used by developers of extractors as a test suite; by ...  
ExtremeProgramming 10 May 2001 - 07:46 - r1.2 ArieVanDeursen
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 ...  
FAMIX 02 Mar 2002 - 13:50 - NEW ArieVanDeursen
Language-independent ExchangeFormat for representing object-oriented source code developed in the FamoosProject. See http://iamwww.unibe.ch/~famoos/FAMIX/ Concepts ...  
FLOC 18 Dec 2001 - 12:36 - NEW EelcoVisser
Federated Logic Conference Copenhagen 2002: http://floc02.diku.dk/ Included conferences CADE CAV FME ICLP LICS RTA TABLEAUX Dates Submissions: January Conference ...  
FODA 01 Jul 2001 - 14:08 - NEW ArieVanDeursen
See FeatureOrientedDomainAnalysis  
FSE 25 Sep 2002 - 08:55 - r1.3 ArieVanDeursen
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 09 May 2001 - 21:56 - NEW EelcoVisser
FSF is the Free Software Foundation. http://www.fsf.org http://www.gnu.org  
FabioFioravanti 06 Dec 2001 - 12:54 - r1.2 EelcoVisser
Homepage: http://www.iasi.rm.cnr.it/~fioravan/ MAPTransformationSystem CategoryPeople  
FactsExtraction 21 Oct 2002 - 19:22 - r1.2 HolgerKienle
FactsExtraction is the first step of a ReverseEngineering or ReEngineering effort. An extractor (a.k.a. parser or analyzer) processes the LegacySystem's artifacts ...  
FalkeDiplomaSummary 13 Jan 2005 - 12:00 - r1.2 MikeVanEmmerik
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 ...  
FamoosProject 02 Mar 2002 - 13:39 - r1.2 ArieVanDeursen
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 ...  
FastFourierTransform 09 May 2001 - 21:56 - NEW EelcoVisser
http://www.fftw.org/  
FatherOfDecompilation 23 Nov 2001 - 00:30 - r1.6 MikeVanEmmerik
The Father of Decompilation ATTACHURL /maury.jpg \ ATTACHURL /maurysig.jpg Permission Requested. IEEE Transactions of Software Engineering. \ Figure courtesy of Bill ...  
FeatureDiagram 24 Apr 2002 - 14:21 - r1.4 JoostVisser
Part of the FeatureModel giving a graphical representation of variable and common concept features. Feature diagrams distinguish between mandatory, optional, alternative ...  
FeatureModel 24 Apr 2002 - 14:21 - r1.5 JoostVisser
A feature model results from DomainAnalysis / DomainEngineering. It covers A description of the individual features The feature commonalities and variabilities of ...  
FeatureModelingWorkshop 24 Apr 2002 - 14:24 - r1.3 JoostVisser
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 ...  
FeatureOrientedDomainAnalysis 05 Jan 2002 - 13:04 - r1.5 ArieVanDeursen
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 ...  
FermaT 11 Jul 2003 - 07:53 - r1.3 MikeVanEmmerik
Description FermaT is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming ...  
FermatTransformationSystem 16 Aug 2004 - 13:00 - NEW MikeVanEmmerik
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 ...  
FileAttachment 09 May 2001 - 21:56 - NEW EelcoVisser
INCLUDE{" TWIKIWEB .FileAttachment"}  
FormsToDotNet 13 Nov 2004 - 00:54 - NEW JoseLuizFiadeiro
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 ...  
FortranLanguage 18 Mar 2002 - 16:00 - r1.4 TWikiGuest
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 ...  
ForwardEngineering 14 Apr 2002 - 03:22 - r1.2 ElliotChikofsky
The ReverseAndReengineeringTaxonomy defines forward engineering as the traditional process of moving from high-level abstractions and logical, implementation-independent ...  
FoxbaseDecompilers 09 Aug 2005 - 21:40 - r1.3 MikeVanEmmerik
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 ...  
FrancoisFages 26 Feb 2002 - 22:46 - NEW EelcoVisser
Homepage: http://contraintes.inria.fr/~fages/ WorkshopOnRuleBasedProgramming CategoryPeople  
FrancoiseBalmas 23 Dec 2001 - 20:39 - NEW ArieVanDeursen
Francoise Balmas http://www.ai.univ-paris8.fr/~fb/ CategoryPeople  
FrankGerhardt 21 Oct 2001 - 12:40 - NEW TWikiGuest
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  
FransFaase 16 Aug 2004 - 12:30 - NEW MikeVanEmmerik
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 ...  
FreeOnLineDictionaryOfComputing 09 May 2001 - 21:56 - NEW EelcoVisser
The Free On-Line Dictionary of Computing on ProgramTransformation: http://www.foldoc.org/foldoc/foldoc.cgi?program+transformation  
FreeSoftware 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
FreshML 08 May 2005 - 20:07 - r1.2 MartinBravenboer
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 10 Aug 2004 - 13:15 - r1.3 RudolfFerenc
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 ...  
FunctionalProgramming 09 May 2001 - 21:56 - NEW EelcoVisser
Functional Programming is a programming paradigm in which a program consists of a sequence of function definitions. See also: HaskellLanguage.  
FunctionalProgrammingLanguage 28 Apr 2005 - 22:24 - r1.2 Main.wiki
In functional ProgrammingLanguages computations are defined through functions that map argument values to result values. In pure functional languages this is the only ...  
FunctionalTransformationSystems 09 May 2001 - 21:56 - NEW EelcoVisser
Description Functional programming languages can be used as a platform for program transformation in particular and transformational programming in general. A transformation ...  
FunctionalTransformationSystemsPaper 18 Dec 2004 - 22:16 - r1.2 MikeVanEmmerik
Functional Transformation Systems by JanKort, RalfLaemmel, and JoostVisser Available: Draft 1 . From Citeseer: paper.  
GCC 03 May 2001 - 11:25 - NEW EelcoVisser
Homepage: http://www.gnu.org/software/gcc/ The GNU Compiler Collection  
GCCTransformationFramework 02 Aug 2002 - 17:11 - NEW MontyZukowski
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 ...  
GCSE 24 Apr 2002 - 14:25 - r1.3 JoostVisser
Homepage http://gcse2001.cs.rug.nl/ Conference on Generative and Component-Based Software Engineering Deadline: May Conference: September Description (from the conference ...  
GDL 29 Aug 2001 - 22:23 - NEW TWikiGuest
GDL is an acronym that stands for GraphDescriptionLanguage.  
GEARS 25 Apr 2002 - 14:48 - r1.2 JoostVisser
GEARS, a product of BigLeverSoftware, provides infrastructure and a development environment for creating software mass customization product lines. Main.JoostVisser ...  
GEL 30 Aug 2001 - 00:07 - r1.2 TWikiGuest
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 09 May 2001 - 21:56 - NEW EelcoVisser
GHC, the Glasgow Haskell Compiler, is implemented according to the CompilationByTransformation paradigm. http://www.haskell.org/ghc/  
GML 09 May 2001 - 21:56 - NEW EelcoVisser
GML is an acronym that stands for GraphModelingLanguage.  
GMake 29 May 2001 - 17:43 - NEW TWikiGuest
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 09 May 2001 - 21:56 - NEW EelcoVisser
GNU is a recursive acronym for ``GNU's Not Unix .  
GNUGeneralPublicLicense 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
GPCE 24 May 2002 - 09:01 - NEW EelcoVisser
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 12 Sep 2006 - 11:52 - r1.2 MikeVanEmmerik
GPL is short for the GNU General Public License. See http://gplv3.fsf.org for information on debate about the proposed new version.  
GRAMPS 20 Jun 2002 - 14:20 - NEW EelcoVisser
Paper: Based Definition of Metaprogramming Systems Main.EelcoVisser 20 Jun 2002  
GXL 09 May 2001 - 21:56 - NEW EelcoVisser
Short for GraphExchangeLanguage  
GalalGalal 12 Apr 2002 - 10:10 - NEW ArieVanDeursen
See http://www.unl.ac.uk/simt/staff/galal.shtml CategoryPeople  
GaneshSittampalam 06 Dec 2001 - 13:07 - r1.2 EelcoVisser
Homepage: http://web.comlab.ox.ac.uk/oucl/work/ganesh.sittampalam/ MAG IntentionalProgramming GaneshSittampalam 21 Aug 2001 CategoryPeople  
GemMex 24 Jun 2005 - 16:23 - r1.2 PhilippKutter
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 24 Apr 2002 - 14:21 - r1.2 JoostVisser
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 ...  
GenWise 03 Jan 2006 - 20:38 - NEW WardBekker
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 ...  
GenerationOfSoftwareRenovationFactoriesFromCompilers 09 May 2001 - 21:56 - NEW EelcoVisser
Generation of Software Renovation Factories from Compilers by Alex Sellink and Chris Verhoef. Available: postscript 1 html 2 pdf 3  
GenerativeCompanies 17 Oct 2003 - 16:16 - r1.5 ReengineeringGuest
Here are some companies that apply generative programming: BayfrontTechnologies BigLeverSoftware DeltaSoftwareTechnology MontagesSoftwareServices SemanticDesigns CategoryGenerativeProgrammingWiki ...  
GenerativeCoreConcepts 28 Nov 2002 - 13:22 - r1.6 KrzysztofCzarnecki
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 ...  
GenerativeEvents 28 Jul 2003 - 00:13 - r1.11 JornBettin
Conferences, workshops, and other events related to Generative Programming Calendar The events are ordered reverse chronologically. Feel free to add missing events ...  
GenerativeLinks 31 Jan 2003 - 06:09 - r1.6 ChrisRussell
This page lists some links related to Generative Programming Sites http://www.generative-programming.org, connected to the GenerativeProgrammingBook Wiki on Transform ...  
GenerativePeople 09 Nov 2005 - 23:40 - r1.11 GordonNovak
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 ...  
GenerativeProgramming 24 Nov 2002 - 22:31 - r1.4 KrzysztofCzarnecki
Here are some definitions of generative programming. 1 The goal of generative programming is to replace manual search, adaptation, and assembly of components with ...  
GenerativeProgrammingBook 24 Apr 2002 - 14:21 - r1.7 JoostVisser
Generative Programming: Methods, Tools, and Applications. KrzysztofCzarnecki and Ulrich W. Eisenecker. Addison-Wesley, 2000. http://www.generative-programming.org ...  
GenerativeProgrammingWiki 30 Jan 2006 - 22:01 - r1.9 MikeVanEmmerik
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 ...  
GenerativeProgrammingWikiSiteMap 25 Apr 2002 - 15:00 - r1.2 JoostVisser
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 ...  
GenerativeSuccessStories 02 May 2002 - 15:08 - r1.2 IraBaxter
This page lists examples of successful application of GenerativeProgramming. The RislaLanguage is a DSL for interest rate products. It was initially developed in the ...  
GenerativeTechniquesInTheContextOfModelDrivenArchitecture 28 Jul 2003 - 00:22 - r1.6 JornBettin
The first workshop on this topic was very successful, resulting in the GenerativeModelTransformer project. A second workshop is scheduled for 27 October at OOPSLA ...  
GenerativeTools 09 May 2004 - 17:45 - r1.17 ChrisRussell
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 ...  
GenericHaskell 13 May 2001 - 22:00 - NEW EelcoVisser
Homepage: http://www.generic-haskell.org/ Generic Haskell is an extension of HaskellLanguage with PolyTypic functions. CategoryLanguage Main.EelcoVisser 13 May ...  
GenericModelingEnvironment 21 Oct 2002 - 17:10 - NEW HolgerKienle
The Generic Modeling Environment (GME) is a configurable toolkit for creating domain-specific modeling and program synthesis environments. http://www.isis.vanderbilt ...  
GenericProgramming 24 Apr 2002 - 14:21 - r1.2 JoostVisser
Chapter 6 of GenerativeProgrammingBook defines Generic Programming as: Generic programming is a subdiscipline of computer science that deals with finding abstract ...  
GenericSetup 02 Apr 2002 - 11:07 - r1.2 ArieVanDeursen
GenericSetup aims to replace Tools.AutoMake, Tools.AutoConf and LibTool. Development has stopped long ago. http://sourceforge.net/projects/gsetup/  
GeorgiaTech 23 Mar 2001 - 10:02 - NEW ArieVanDeursen
Georgia Tech, College of Computing, http://www.cc.gatech.edu/ Topics: SoftwareVisualization SoftwareEvolution ProgramUnderstanding ReverseEngineering  
GermanVidal 11 Nov 2002 - 18:16 - NEW GermanVidal
Homepage: http://www.dsic.upv.es/~gvidal GermanVidal interests: multi-paradigm (functional logic) languages, program transformation, partial evaluation, slicing, ...  
GnuProjectToolKit 02 Apr 2002 - 11:07 - r1.2 ArieVanDeursen
The GnuProjectToolKit packages Tools.AutoMake, LibTool, Tools.AutoConf, etc. in one package. http://sourceforge.net/projects/osdtk/  
GopalanNadathur 06 Dec 2001 - 13:03 - r1.2 EelcoVisser
Homepage: http://www.cs.umn.edu/~gopalan TeyjusSystem LambdaProlog CategoryPeople  
GrammarBasedDefinitionOfMetaprogrammingSystems 20 Jun 2002 - 14:57 - NEW EelcoVisser
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 ...  
GrammarEngineering 12 May 2001 - 19:15 - NEW EelcoVisser
Grammar engineering is a form of ProgramTransformation applied to grammars or SyntaxDefinitions to improve tree structure, to adapt the language defined, or to convert ...  
GraphDescriptionLanguage 14 Oct 2001 - 00:06 - r1.3 TWikiGuest
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 20 Oct 2002 - 04:28 - NEW HolgerKienle
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 ...  
GraphExchangeLanguage 02 Mar 2002 - 13:51 - r1.3 ArieVanDeursen
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 ...  
GraphFormats 29 Aug 2001 - 22:14 - NEW TWikiGuest
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 ...  
GraphModelingLanguage 29 Aug 2001 - 21:45 - r1.2 TWikiGuest
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 09 Feb 2005 - 07:44 - r1.2 MartinBravenboer
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 ...  
GraphXML2dot 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
GuestBook 17 Mar 2002 - 04:31 - r1.15 TWikiGuest
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. ...  
HATS 06 Jul 2005 - 18:21 - r1.2 KarlTrygveKalleberg
Homepage: http://faculty.ist.unomaha.edu/winter/hats-uno/HATSWEB/index.html A framework for doing higher-order strategic programming. Supports rules and strategies ...  
HOPS 19 Apr 2004 - 21:32 - r1.2 MaratBoshernitsan
Homepage: http://www.cas.mcmaster.ca/~kahl/HOPS/ HOPS (the Higher Order Programming System) is a graphically interactive program development and program transformation ...  
HTML 18 Mar 2002 - 15:56 - r1.2 TWikiGuest
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 ...  
HaXml 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.cs.york.ac.uk/fp/HaXml/ HaXml is a domain-specific language for transforming XML documents embedded in HaskellLanguage.  
HackerDisassemblingUncovered 30 Jul 2004 - 03:18 - NEW MikeVanEmmerik
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 ...  
HaskellLanguage 08 May 2005 - 20:01 - r1.2 MartinBravenboer
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 ...  
HaskellWorkshop 31 Dec 2001 - 01:04 - NEW EelcoVisser
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 ...  
HausiMueller 14 Nov 2008 - 19:03 - r1.2 HolgerKienle
Hausi M ller http://webhome.cs.uvic.ca/~hausi/ CategoryPeople  
HaycoDeJong 22 Nov 2001 - 11:37 - NEW EelcoVisser
One of the implementors of the Tools.ATermLibrary. CategoryPeople  
HeVeA 14 Mar 2001 - 07:52 - NEW EelcoVisser
HeVeA is a translator for LaTeX to HTML written in CAML. CategorySystem  
HedzerWestra 25 Mar 2001 - 12:01 - NEW TWikiGuest
Homepage: http://njutov.warande.net/~pretzel/ hhwestra@cs.uu.nl CobolX  
HeleneKirchner 06 Dec 2001 - 12:59 - r1.2 EelcoVisser
Homepage: http://www.loria.fr/~hkirchne/ ELAN CategoryPeople  
HelmutPartsch 06 Dec 2001 - 13:04 - r1.2 EelcoVisser
http://www.informatik.uni-ulm.de/pm/ CategoryPeople  
HenkPenning 22 Nov 2001 - 14:19 - NEW EelcoVisser
Homepage: http://www.cs.uu.nl/people/henkp/ System administrator at Utrecht University CategoryPeople  
HerbertKuchen 11 Dec 2001 - 12:11 - NEW EelcoVisser
Homepage: http://danae.uni-muenster.de/lehre/kuchen/ WorkshopOnRuleBasedProgramming CategoryPeople  
Hex-RaysPlugin 06 Nov 2007 - 21:54 - r1.4 MikeVanEmmerik
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 ...  
HighPerformanceCompilersForParallelComputing 02 Dec 2001 - 22:31 - r1.2 EelcoVisser
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: ...  
HighPerformanceComputing 02 Dec 2001 - 22:24 - r1.2 EelcoVisser
Generation of code for the FastFourierTransform DigitalSignalProcessors OctaveLanguage SAGA, Stratego.CodeBoost TAMPR http://www.netlib.org/ http://www.nhse.org/ ...  
HigherOrderCompilationProject 21 Dec 2001 - 17:13 - NEW EelcoVisser
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 ...  
HistoryOfDecompilation1 26 Oct 2009 - 22:59 - r1.19 MikeVanEmmerik
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 ...  
HistoryOfDecompilation2 24 Nov 2005 - 08:18 - r1.20 MikeVanEmmerik
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 ...  
HistoryOfDecompilation3 13 Dec 2007 - 02:28 - r1.6 MikeVanEmmerik
History of Decompilation (2000-present) #TopicAsm21toc University of London's Asm21toc reverse compiler, 2000. This assembly language decompiler for Digital Signal ...  
HolgerKienle 25 Nov 2007 - 07:56 - r1.7 HolgerKienle
Home page: http://holgerkienle.wikispaces.com/ Topics: ExtractorBenchmarks DomainSpecificLanguages ExchangeFormatBibliography RigiSystem CategoryPeople  
HoratiuCirstea 06 Dec 2001 - 12:50 - r1.2 EelcoVisser
Homepage: http://www.loria.fr/~cirstea/ ELAN RewritingCalculus CategoryPeople  
HtmlRSF 26 Oct 2002 - 12:40 - r1.2 ArieVanDeursen
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 ...  
ICFP 09 May 2001 - 21:56 - NEW EelcoVisser
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 20 Feb 2002 - 11:33 - NEW EelcoVisser
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 ...  
ICSE 21 Aug 2001 - 08:57 - r1.4 ArieVanDeursen
International Conference on Software Engineering. Submission: August Conference: May See: http://www.icse-conferences.org/ http://www.acm.org/pubs/contents/proceedings ...  
ICSM 12 Sep 2004 - 23:41 - r1.6 MikeVanEmmerik
The International Conference on Software Maintenance Deadline: March Conference: September Chicago Illinois, USA (2004) Homepage: http://conferences.computer.org ...  
ICSR 10 Oct 2001 - 09:39 - NEW TWikiGuest
International Conference on SoftwareReuse 2002: http://asercweb.quase.ualberta.ca/Conferences/ICSR7 Deadline: October Conference: April CategoryConference  
IDAPro 10 Oct 2009 - 23:11 - r1.8 MikeVanEmmerik
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 ...  
IEEE 30 Jan 2006 - 22:01 - r1.5 MikeVanEmmerik
The Institue of Electrical and Electronic Engineers, an organisation representing engineering and computer professionsals. http://ieee.org http://computer.org/ (Computer ...  
IFIP 08 Sep 2001 - 18:52 - NEW ArieVanDeursen
International Federation for Information Processing http://www.ifip.or.at/ Annual IFIP World Computer Congress: http://www.wcc2002.org/en/index.html  
ISSTA 06 Feb 2002 - 09:37 - NEW ArieVanDeursen
International Symposium on SoftwareTesting and Analysis Every two years. Call for papers: February Conference: July Proceedings: ACM SIGSOFT Software Engineering Notes ...  
IV 09 May 2001 - 21:56 - NEW EelcoVisser
International Conference on Information Visualization, also dealing with SoftwareVisualization. http://www.graphicslink.demon.co.uk/IV2001/ DigitalLibrary proceedings ...  
IWPC 09 Sep 2004 - 03:31 - r1.6 MikeVanEmmerik
International Workshop on ProgramComprehension. Submission: January Conference: June 1999: http://www.computer.org/proceedings/iwpc/0179/0179toc.htm 2000: http://www ...  
IWPSE 09 Jul 2004 - 10:10 - r1.5 TomMens
International Workshop on Principles of Software Evolution IWPSE 2004 IWPSE 2003 CategoryConference CategorySoftwareEvolution  
IdentifyingObjectsUsingClusterAndConceptAnalysis 17 Nov 2001 - 19:58 - r1.3 ArieVanDeursen
Identifying Objects using Cluster and Concept Analysis ArieVanDeursen and TobiasKuipers. In 21st International Conference on Software Engineering, ICSE-99, 1999, ...  
IeeeSoftware 14 Nov 2001 - 14:55 - NEW ArieVanDeursen
See http://www.computer.org/software/ http://www.computer.org/software/archives.htm CategoryJournal  
IlogRules 20 Nov 2001 - 12:54 - NEW EelcoVisser
Homepage: http://www.ilog.com/products/rules/ CategorySystem Main.EelcoVisser 20 Nov 2001  
ImagixCorporation 06 Jul 2005 - 19:05 - NEW JohnBlattner
Imagix Corporation produces reverse engineering, quality metrics, and documentation solutions. Imagix provides provides tools and support to help developers work with ...  
ImagixFourD 06 Jul 2005 - 19:43 - NEW JohnBlattner
Imagix 4D is a ReverseEngineering, metrics and DocumentationGeneration tool for legacy C and C++ software. From ImagixCorporation, Imagix 4D is intended for developers ...  
ImplementationOfTransformation 09 May 2001 - 21:56 - NEW EelcoVisser
Implementation of Program Transformation Systems Here is a list of techniques that are used in the implementation of transformation systems LexicalAnalysis ProgramParsing ...  
ImplementingaProductionRuleBasedProgrammingSystemthroughaGeneralPurposeDataFlowVL 25 Oct 2001 - 15:51 - NEW EelcoVisser
A paper on a VisualLanguage for RuleBasedProgramming URL: http://vision.unipv.it/research/papers/00tr-prbdfvl/prbdfvl.html CategoryPaper  
ImpossibleToDecompile 05 Jul 2006 - 05:42 - r1.2 MikeVanEmmerik
There may be a few machine code patterns that are impossible to decompile automatically. These would therefore require expert human intervention to decompile successfully ...  
IndustrialApplicationsOfASFandSDF 18 May 2001 - 10:18 - NEW ArieVanDeursen
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 ...  
InfoVis 09 May 2001 - 21:56 - NEW EelcoVisser
IEEE Symposium on Information Visualization http://www.infovis.org/infovis2001/ Submission: April Conference: October Digital library proceedings: http://www.computer ...  
InjectJ 08 May 2005 - 20:36 - NEW MartinBravenboer
Inject/J Weaving scripts Source-to-Source Transformation In The Large Additional resources: Website Inject/J Tutorial Inject/J Ein Werkzeug zur skriptgesteuerten ...  
InliningStrategies 11 Jun 2001 - 07:58 - NEW ArneDeBruijn
Ways to perform the program transformation (function) inlining. Is being worked on as masters project by Master.ArneDeBruijn. Main.ArneDeBruijn 11 Jun 2001  
InstructionSelection 08 Jan 2002 - 11:00 - NEW EelcoVisser
See CodeGeneration Main.EelcoVisser 08 Jan 2002 CategoryTransformation ProgramOptimization  
IntegratedDevelopmentEnvironment 29 May 2001 - 11:13 - NEW TWikiGuest
An IntegratedDevelopmentEnvironment is a tool for software development. Usually it is a graphical tool optimized for Rapid Application Development. It contains an ...  
IntentionalProgramming 24 Apr 2002 - 14:21 - r1.7 JoostVisser
Description Intentional programming developed at Microsoft Research Ait98 is a method for extending a language with new constructs or intentions . The meaning of ...  
InterComp 31 Mar 2002 - 11:30 - NEW ArieVanDeursen
http://www.legacy2web.com/ Established in 1997, Intercomp is a leading international tool developer and solution provider for analyzing, Web-enabling and re-engineering ...  
InteractiveDecompiler 13 Aug 2007 - 10:33 - NEW MikeVanEmmerik
The Interactive Decompiler http://idc.sourceforge.net/wiki/index.html This is an interactive, extensible assembly language decompiler written in Python. The interactivity ...  
InternationalConferenceonSoftwareMaintenance 04 Feb 2005 - 12:51 - r1.9 ReneKrikhaar
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 ...  
IntlandCompany 02 Dec 2001 - 12:09 - NEW ArieVanDeursen
Offers CodeBeamer, a product for browsing, understanding, reengineering Java and C++ systems. http://www.intland.com/ CategoryCompany  
InvitedAuthors 14 Oct 2001 - 12:16 - NEW ArieVanDeursen
Way of bootstrapping the contents and discussions of a wiki web see http://c2.com/cgi/wiki?InvitedAuthors ArieVanDeursen 14 Oct 2001.  
IraBaxter 18 Mar 2002 - 15:46 - r1.6 TWikiGuest
Homepage: http://www.semdesigns.com/Company/People/idbaxter/index.html SemanticDesigns DMSSoftwareReengineeringToolkit Coverage For Arbitrary Languages Made Easy ...  
IslandGrammars 28 Feb 2002 - 23:15 - r1.6 EelcoVisser
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 ...  
JCL 09 May 2001 - 21:56 - NEW EelcoVisser
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 29 May 2001 - 13:58 - NEW TWikiGuest
JMK is an implementation of MAKE in Java. Its syntax is very make like but only Java is supported. http://sourceforge.net/projects/jmk/  
JOIE 19 Apr 2004 - 21:41 - r1.2 MaratBoshernitsan
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 08 May 2005 - 20:55 - NEW MartinBravenboer
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 25 Sep 2004 - 01:47 - NEW MikeVanEmmerik
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 ...  
JTB 09 May 2001 - 21:56 - NEW EelcoVisser
See JavaTreeBuilder  
JaTS 29 Jun 2004 - 22:29 - r1.4 AdelineSousa
Transformation system for the Java programming language. Program transformation is a powerful technique for supporting software engineering activities: refactoring ...  
JakartaToolSuite 09 Mar 2004 - 10:39 - NEW MartinBravenboer
Bali Bali generate from a single grammar specification: lexical analyzer (JLex) parser (CUP) class hierarchies for tree nodes, including unparsing methods (pretty ...  
JamMR 29 May 2001 - 12:23 - NEW TWikiGuest
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 ...  
JamesCordy 06 Dec 2001 - 12:52 - r1.3 EelcoVisser
Homepage: http://www.cs.queensu.ca/~cordy/ TXL CategoryPeople  
JamesCross 28 Dec 2001 - 13:07 - NEW ArieVanDeursen
James Cross http://www.eng.auburn.edu/users/cross/ CategoryPeople  
JamesLarus 04 Nov 2001 - 21:41 - NEW EelcoVisser
Homepages http://www.research.microsoft.com/~larus/ http://www.cs.wisc.edu/~larus/larus.html CategoryPeople  
JanHeering 06 Dec 2001 - 12:57 - r1.2 EelcoVisser
Homepage: http://www.cwi.nl/~jan/ ASFandSDF Stratego.CodeBoost CategoryPeople  
JavaAbstractSyntax 15 Nov 2004 - 15:56 - r1.7 MartinBravenboer
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 31 Jan 2004 - 12:13 - NEW MartinBravenboer
JavaCC (Java Compiler Compiler) is the most popular parser generator for use with Java applications. Website: https://javacc.dev.java.net/  
JavaConcreteSyntax 06 Feb 2004 - 16:38 - NEW MartinBravenboer
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 ...  
JavaDecompilerTests 13 Mar 2003 - 04:01 - r1.6 MikeVanEmmerik
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 ...  
JavaDecompilers 12 Sep 2006 - 11:59 - r1.24 MikeVanEmmerik
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 ...  
JavaDynamicCompilers 17 Jan 2004 - 21:52 - r1.2 MikeVanEmmerik
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 ...  
JavaIMake 29 May 2001 - 12:52 - NEW TWikiGuest
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 ...  
JavaLanguage 07 Oct 2014 - 13:22 - r1.15 EelcoVisser
Java is an object-oriented language. http://www.java.sun.com/ Compilers Decompilers Dynamic Compilers Native Compilers Transformation Systems Parser Generators Transformation ...  
JavaNativeCompilers 02 Apr 2002 - 03:47 - NEW MikeVanEmmerik
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 ...  
JavaOptimization 09 May 2001 - 21:56 - NEW EelcoVisser
JonathanHardwick describes a number of Java optimizations at http://www.cs.cmu.edu/~jch/java/  
JavaParserGenerators 31 Oct 2004 - 14:25 - r1.4 MartinBravenboer
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 ...  
JavaReflection 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
JavaToUMLProject 09 May 2001 - 21:56 - NEW EelcoVisser
contactinformatie: Matthias van Mourik (mmourik@cs.uu.nl) Vincent van Harmelen( vharmele@cs.uu.nl) projectomschrijving: argouml uitbreiden zodat de omzetting van ...  
JavaTom 31 Jan 2004 - 12:26 - NEW MartinBravenboer
TOM is a pattern matching compiler, developed at INRIA Website: http://tom.loria.fr/  
JavaTreeBuilder 09 May 2001 - 21:56 - NEW EelcoVisser
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  
JeanHenrard 02 Apr 2003 - 13:42 - NEW JeanHenrard
Contact Information Laboratory of Database Application Engineering (LIBD) University of Namur rue grandgagnage 21d 5000 Namur Belgium e-mail : jean.henrard@info.fundp ...  
JeanMarieFavre 14 Nov 2002 - 22:01 - r1.2 JeanMarieFavre
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 ...  
JensJahnke 29 Mar 2001 - 11:59 - r1.2 ArieVanDeursen
Jens Jahnke, University of Victoria http://www.csr.uvic.ca/~jens/ CategoryPeople  
JensPalsberg 06 Dec 2001 - 13:04 - r1.2 EelcoVisser
Homepage: http://www.cs.purdue.edu/people/palsberg JavaTreeBuilder CategoryPeople  
Jiazzi 08 May 2005 - 20:29 - NEW MartinBravenboer
Website: http://www.cs.utah.edu/plt/jiazzi/ Main.MartinBravenboer 08 May 2005  
JimBoyle 06 Dec 2001 - 12:47 - r1.2 EelcoVisser
Designer/implementer of TAMPR. CategoryPeople  
JimNeighbors 25 Apr 2002 - 14:52 - r1.2 JoostVisser
James M. Neighbors (Jim) is the designer of the DracoSystem. CategoryPeople  
JohanJeuring 06 Dec 2001 - 12:58 - r1.2 EelcoVisser
Homepage: http://www.cs.uu.nl/~johanj/ ProgramCalculation CategoryPeople  
JohannesMartin 15 Nov 2008 - 17:16 - NEW HolgerKienle
Homepage: http://www.notamusica.com/~jmartin/ Topics: RigiSystem  
JohnBoyle 09 May 2001 - 21:56 - NEW EelcoVisser
Designer/implementer of TAMPR.  
JohnBrant 31 Oct 2001 - 08:08 - r1.2 ArieVanDeursen
John Brant homepage: http://st-www.cs.uiuc.edu/users/brant/ SmalltalkRefactory ARefactoringToolForSmalltalk CategoryPeople  
JohnCallahan 06 Dec 2001 - 12:50 - r1.2 EelcoVisser
Homepage: http://www.cs.wvu.edu/~callahan/ NewJacc CategoryPeople  
JohnGallagher 06 Dec 2001 - 12:56 - r1.2 EelcoVisser
John Gallagher works in program analysis and transformation of logic programs Homepage: http://www.cs.bris.ac.uk/~john/ CategoryPeople  
JonathanHardwick 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.cs.cmu.edu/~jch/ JavaOptimization  
JoostVisser 27 Mar 2006 - 21:50 - r1.4 JoostVisser
Homepage: http://www.di.uminho.pt/~joost.visser On Stratego subweb: Stratego.JoostVisser On Main subweb: Main.JoostVisser Affiliation: Universidade do Minho Topics ...  
JornBettin 10 May 2002 - 10:40 - NEW JornBettin
Jorn Bettin joern.bettin@acm.org http://www.softmetaware.com Transform.CategoryPeople  
JoseLabraGayo 23 Dec 2001 - 17:21 - NEW EelcoVisser
Homepage: http://horru.lsi.uniovi.es/~labra/ LPS CategoryPeople  
JournalOfPatternMatching 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://qtj.dhs.org/JPM/ QuinTylerJackson  
JournalOfSoftwareMaintenance 22 Apr 2001 - 19:39 - NEW TWikiGuest
Journal published by John Wiley devoted to SoftwareMaintenance and SoftwareEvolution. See http://www.interscience.wiley.com/jpages/1040-550X/ CategoryJournal  
JournalOfSystemsAndSoftware 30 Jan 2006 - 22:02 - r1.4 MikeVanEmmerik
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 ...  
JuggerSoft 28 Apr 2006 - 23:09 - r1.2 MikeVanEmmerik
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 ...  
JurgenVinju 22 Feb 2002 - 10:14 - NEW JurgenVinju
Homepage: http://www.cwi.nl/~jurgenv Main.JurgenVinju 22 Feb 2002  
JustInTime 13 Dec 2001 - 04:54 - r1.2 MikeVanEmmerik
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 ...  
KHEPERA 09 May 2001 - 21:56 - NEW EelcoVisser
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 09 May 2001 - 21:56 - NEW EelcoVisser
KIDS (Kestrel Interactive Development System) is a prototype TransformationSystem. Homepage: http://www.kestrel.edu/HTML/prototypes/kids.html See also: DougSmith ...  
KarinaOlmos 11 Dec 2001 - 12:18 - NEW EelcoVisser
Homepage: http://www.cs.uu.nl/staff/karina.html Stratego.StrategoLanguage CategoryPeople  
KarlTrygveKalleberg 22 Nov 2005 - 19:05 - NEW KarlTrygveKalleberg
Name : Karl Trygve Kalleberg Home Page : http://www.ii.uib.no/~karltk Research Interests: Program Representations, Domain-Specific Languages, Active Libraries, Program ...  
KeithBennet 09 May 2001 - 21:56 - NEW EelcoVisser
typo.  
KeithBennett 09 May 2001 - 21:56 - NEW EelcoVisser
Keith Bennet is one of the founders of the ResearchInstituteInSoftwareEvolution. http://www.dur.ac.uk/~dcs1elb/personnel/dcs0kb.html CategoryPeople  
KennyWong 18 Oct 2001 - 08:40 - r1.2 ArieVanDeursen
Kenny Wong http://www.cs.ualberta.ca/~kenw/ Topics: RigiSystem ProgramUnderstanding tools directory. CategoryPeople  
KevinQuitt 16 Aug 2004 - 02:00 - NEW MikeVanEmmerik
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 ...  
KrzysztofCzarnecki 30 Oct 2004 - 18:07 - r1.3 KnutHPedersen
Krzysztof Czarnecki http://www.prakinf.tu-ilmenau.de/~czarn/ GenerativeProgrammingBook His currently a faculty member at Electrical and Computer Engineering, University ...  
KungKiuLau 06 Dec 2001 - 13:01 - r1.2 EelcoVisser
Homepage: http://www.cs.man.ac.uk/~kung-kiu/ CategoryPeople  
LDTA 02 Jun 2004 - 10:18 - r1.2 PierreEtienneMoreau
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 09 May 2001 - 21:56 - NEW EelcoVisser
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 21 Dec 2001 - 17:09 - r1.2 EelcoVisser
LNCS LectureNotesInComputerScience http://www.springer.de/comp/lncs/index.html  
LOGEN 04 Mar 2002 - 10:51 - NEW EelcoVisser
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 ...  
LPS 23 Dec 2001 - 17:20 - NEW EelcoVisser
Homepage: http://lsi.uniovi.es/~labra/LPS/LPS.html LPS is a LanguagePrototyping System based on ModularMonadicSemantics and GenericProgramming A Language Prototyping ...  
LPSALanguagePrototypingSystemUsingModularMonadicSemantics 23 Dec 2001 - 20:36 - r1.2 EelcoVisser
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 20 Nov 2001 - 10:24 - NEW EelcoVisser
LRR: A Laboratory for Rapid Term Rewriting by RakeshVerma CategorySystem Main.EelcoVisser 20 Nov 2001  
LaTeX 14 Mar 2001 - 07:51 - NEW EelcoVisser
LaTeX is a document preparation system. HeVeA is a translator for LaTeX to HTML written in CAML. CategoryLanguage  
LambdaMake 29 May 2001 - 10:26 - NEW TWikiGuest
LamdaMake? is an initiative to extend make with `user defined macro like functions, allowing dependencies to span makefiles'. However, this functionality can be achieved ...  
LambdaProlog 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.cse.psu.edu/~dale/lProlog/ LambdaProlog is a logic programming language with HigherOrderAbstractSyntax. TeyjusSystem GopalanNadathur CategorySystem ...  
LambertMeertens 06 Dec 2001 - 13:02 - r1.2 EelcoVisser
Homepage: http://www.kestrel.edu/HTML/people/meertens/index.html BirdMeertensFormalism CategoryPeople  
LanguagePrototyping 25 Apr 2001 - 11:22 - NEW ArieVanDeursen
Language Prototyping: An Algebraic Specification Approach ArieVanDeursen, JanHeering, PaulKlint (editors) World Scientific Publishing Co., 1996. AMAST Series in Computing ...  
LaurencePuel 06 Dec 2001 - 13:06 - r1.2 EelcoVisser
Homepage: http://www.lri.fr/Anglais/Recherche/demons/membres/puel.html ATypedPatternCalculus http://www.lri.fr/Francais/Recherche/demons/membres/Puel-all.html CategoryPeople ...  
LectureNotesInComputerScience 22 Jan 2003 - 06:23 - r1.2 MikeVanEmmerik
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 ...  
LegToNet 13 Nov 2004 - 01:10 - NEW JoseLuizFiadeiro
"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 ...  
LegacyCare 13 Nov 2004 - 00:51 - NEW JoseLuizFiadeiro
L-CARE by ATXSoftwareSA http://www.atxsoftware.com/?sec products it 48  
LegacySystem 07 Nov 2001 - 11:07 - NEW ArieVanDeursen
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 ...  
LegalIssues 24 Dec 2006 - 06:15 - r1.10 MikeVanEmmerik
Legal aspects of ReverseEngineering can be complicated. CristinaCifuentes has collected some information on http://www.csee.uq.edu.au/~cristina/cal.html (now somewhat ...  
LegalityOfDecompilation 10 Nov 2005 - 07:54 - r1.15 MikeVanEmmerik
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 ...  
LeonMoonen 19 Feb 2002 - 15:12 - NEW ArieVanDeursen
http://www.cwi.nl/~leon/ CategoryPeople  
LindaWills 28 Dec 2001 - 13:14 - NEW ArieVanDeursen
Linda Wills http://users.ece.gatech.edu/~linda/ CategoryPeople  
LispLanguage 06 Oct 2003 - 16:42 - r1.2 MartinBravenboer
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 ...  
LittleLanguagesLittleMaintenance 01 Jan 2002 - 14:56 - r1.3 ArieVanDeursen
Little Languages: Little Maintenance? By ArieVanDeursen and PaulKlint JournalOfSoftwareMaintenance, 10 :75-92, 1998 Abstract So-called little, or DomainSpecificLanguages ...  
LizBurd 29 Jan 2002 - 19:55 - NEW ArieVanDeursen
Liz Burd http://www.dur.ac.uk/liz.burd/ CategoryPeople  
LoginShouldBeSimple 14 Nov 2001 - 10:58 - NEW ArieVanDeursen
TWikiRegistration is misused as login / authentication. This complicates stuff using htaccess now EelcoVisser 09 Nov 2001) In order to encourage people to ...  
LoopOptimization 28 Oct 2002 - 15:07 - NEW EelcoVisser
Kinds of loop optimizations LoopFusion LoopDistribution Systems and compilers that implement loop optimizations SUIF  
LuaLanguage 11 Nov 2003 - 04:25 - NEW WillNorris
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 ...  
LuizaDeMacedoMourelle 06 Dec 2001 - 13:01 - r1.2 EelcoVisser
Homepage: http://www.eng.uerj.br/~ldmm/luiza.html PatternMatching CategoryPeople  
LxLanguage 14 Nov 2001 - 16:37 - NEW ChristopheDeDinechin
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 ...  
MAG 07 Apr 2002 - 02:36 - r1.3 GaneshSittampalam
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 ...  
MAKE 02 Apr 2002 - 11:06 - r1.2 ArieVanDeursen
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 ...  
MAP 09 May 2001 - 21:56 - NEW EelcoVisser
See MAPTransformationSystem  
MAPTransformationSystem 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
MDA 29 Sep 2004 - 06:22 - NEW MichaelLawley
See ModelDrivenArchitecture. CategoryTransformation Main.MichaelLawley 29 Sep 2004  
MERLIN 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.mcs.le.ac.uk/merlin/ Workshop on Mechanized Reasoning about Languages with variable binding (MERLIN 2001) Deadline: March Conference: June  
MachineCodeDecompilerTests 01 Aug 2005 - 04:14 - r1.6 MikeVanEmmerik
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 ...  
MachineCodeDecompilers 30 May 2007 - 12:20 - r1.44 MikeVanEmmerik
Decompilation of machine code programs usually requires a general approach. This approach analyses the semantics of the executable, and from this derives an equivalent ...  
MagneHaveraaen 06 Dec 2001 - 12:57 - r1.2 EelcoVisser
Homepage: http://www.ii.uib.no/~magne/ Stratego.CodeBoost SAGA CategoryPeople  
ManolisGergatsoulis 06 Dec 2001 - 12:56 - r1.2 EelcoVisser
Homepage: http://www.iit.demokritos.gr/~manolis CategoryPeople  
MarkLeone 06 Dec 2001 - 13:10 - r1.2 EelcoVisser
Homepage: http://www.cs.indiana.edu/~mleone/ CategoryPeople  
MarkMinas 11 Dec 2001 - 12:14 - NEW EelcoVisser
Homepage: http://www2.informatik.uni-erlangen.de/IMMD-II/Persons/Researchers/minas/ WorkshopOnRuleBasedProgramming CategoryPeople  
MarkTullsen 06 Dec 2001 - 13:08 - r1.2 EelcoVisser
Homepage: http://www.cs.yale.edu/homes/tullsen/ Works on a transformation system for transformation of HaskellLanguage programs, called PATH (Programmer Assistant ...  
MarkVanDenBrand 06 Dec 2001 - 12:48 - r1.2 EelcoVisser
Homepage: http://www.cwi.nl/~markvdb/ ASFandSDF CategoryPeople  
MarkusVoelter 22 Sep 2002 - 07:54 - NEW MarkusVoelter
for Details see Main.MarkusVoelter Main.MarkusVoelter 22 Sep 2002  
MartijnSchrage 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.cs.uu.nl/staff/martijn.html CategoryPeople  
MartinBravenboer 01 Apr 2004 - 20:33 - r1.3 MartinBravenboer
See Main.MartinBravenboer CategoryPeople  
MartinFowler 06 Dec 2001 - 12:55 - r1.2 EelcoVisser
Homepage: http://www.martinfowler.com/ ProgramRefactoring RefactoringImprovingTheDesignOfExistingPrograms http://www.refactoring.com/ CategoryPeople  
MartinWard 14 Jul 2003 - 00:48 - r1.4 MikeVanEmmerik
Homepage: http://www.cse.dmu.ac.uk/~mward/index.html Martin is the author of FermaT, a program transformation system. See also SoftwareMigrations. CategoryPeople ...  
MaudeSystem 25 May 2001 - 21:29 - NEW EelcoVisser
Homepage: http://maude.csl.sri.com/ Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming ...  
MaurizioProietti 06 Dec 2001 - 13:06 - r1.2 EelcoVisser
Homepage: http://www.iasi.rm.cnr.it/~proietti/ MAPTransformationSystem CategoryPeople  
Maya 08 May 2005 - 20:27 - NEW MartinBravenboer
Publications Maya: multiple-dispatch syntax extension in Java download Main.MartinBravenboer 08 May 2005  
McCabeAndAssociates 23 Dec 2001 - 12:07 - r1.2 ArieVanDeursen
McCabe? Associates http://www.mccabe.com Offers McCabe IQ2 tool suite for SoftwareTesting, ReEngineering, and quality assurance for LegacySystems. Founded by TomMcCabe ...  
MemphisTreeWalker 09 May 2001 - 21:56 - NEW EelcoVisser
The MEMPHIS Tree Builder Tree Walker Tool http://www.combo.org/memphis/index.html  
MerantCompany 18 Jun 2001 - 11:19 - NEW ArieVanDeursen
Merant ''MERANT Micro Focus provides the most comprehensive and scalable suite of COBOL application analysis, development, integration and testing, and deployment ...  
MercuryLanguage 10 Apr 2001 - 16:11 - NEW EelcoVisser
Homepage: http://www.cs.mu.oz.au/research/mercury Mercury is a logic programming language with a high-performance compiler. CategoryLanguage  
MerijnDeJonge 06 Dec 2001 - 12:58 - r1.2 EelcoVisser
Contact information Homepage: http://www.cwi.nl/~mdejonge GenericPrettyPrinter XT GrammarTools GrammarBase XTSoftwareDevelopment ContributionToGB CategoryPeople ...  
MetaAspectJ 08 May 2005 - 20:12 - NEW MartinBravenboer
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 ...  
MetaEditPlus 02 Dec 2002 - 08:13 - r1.3 JuhaPekkaTolvanen
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. ...  
MetaML 14 Mar 2002 - 21:26 - r1.2 TWikiGuest
Homepage: http://www.cse.ogi.edu/PacSoft/projects/metaml/ MetaML is an extension of SMLofNJ with MetaProgramming features that support the construction, manipulation ...  
MetaOCaml 30 Mar 2005 - 16:22 - NEW KedarSwadi
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 ...  
MetaProgramming 31 Jan 2006 - 13:59 - r1.5 GideonKlok
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 02 May 2002 - 23:11 - NEW CraigCleaveland
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 ...  
MichaelLeuschel 04 Mar 2002 - 10:06 - NEW EelcoVisser
Homepage: http://www.ecs.soton.ac.uk/~mal/ Transformation of Logic Programs LOGEN CategoryPeople  
MichaelPlezbert 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.cs.wustl.edu/~plezbert/ ContinuousCompilers  
MicroAPLLtd 27 May 2004 - 16:19 - r1.4 SimonMarsden
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 ...  
MicroAplLtd 06 May 2005 - 22:44 - NEW MikeVanEmmerik
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 ...  
MikaelPetersson 09 May 2001 - 21:56 - NEW EelcoVisser
Obsolete  
MikaelPettersson 06 Dec 2001 - 13:05 - r1.2 EelcoVisser
Homepage: http://www.docs.uu.se/~mikpe/ PatternMatching aTermPatternMatchCompilerInspiredByFiniteAutomataTheory CategoryPeople  
MikeVanEmmerik 29 Nov 2001 - 11:40 - NEW MikeVanEmmerik
INCLUDE{Main.MikeVanEmmerik}  
MinUML 16 Dec 2001 - 22:18 - r1.3 GraemeChandler
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 ...  
MipsTechnologies 01 Nov 2001 - 22:41 - NEW EelcoVisser
Producers of the Mips Architecture http://www.mips.com Main.EelcoVisser 01 Nov 2001  
MixedCC 31 Oct 2004 - 14:26 - NEW MartinBravenboer
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 12 Nov 2004 - 09:41 - r1.2 PieterVanGorp
ModelDrivenArchitecture (MDA) is often presented as a particular approach to ProgramRefinement or, more generally, ProgramSynthesis. Models are usually UML models ...  
ModelRefactoring 17 Aug 2005 - 15:40 - r1.5 JeffGray
Model refactoring is the equivalent of ProgramRefactoring at model level. Instead of refactoring programs, models are being refactored. Model refactoring is a special ...  
ModelTransformation 17 Aug 2005 - 15:49 - r1.7 JeffGray
Model transformation is the equivalent of program transformation, but applied to models instead of programs. This encompasses design models (e.g., UML diagrams), architectural ...  
ModernCompilerImplementationInML 29 Oct 2001 - 11:24 - r1.2 ArieVanDeursen
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 ...  
MondrianLanguage 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.mondrian-script.org MondrianInStratego  
MontagesFramework 24 Jun 2005 - 16:20 - r1.3 PhilippKutter
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 ...  
MontagesSoftwareServices 03 May 2002 - 14:41 - NEW CraigCleaveland
Montages Software Services is a group of software engineers specializing in generative technologies and focused on the financial industry to increase their productivity ...  
MontagesSpecificationsOfRealisticProgrammingLanguages 24 Jun 2005 - 16:23 - r1.2 PhilippKutter
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 ...  
MoraleProject 19 Feb 2002 - 15:14 - r1.2 ArieVanDeursen
The goal of the Morale project from GeorgiaTech is to facilitate SoftwareEvolution of LegacySystems. Facilitation takes the form of improved quality by requirements ...  
MozartDev 14 Nov 2001 - 16:43 - NEW ChristopheDeDinechin
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 ...  
MozartProgrammingSystem 29 May 2001 - 22:22 - NEW EelcoVisser
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 ...  
MultiLevelSpecifications 06 Jan 2002 - 17:21 - r1.2 EelcoVisser
EelcoVisser. Multi-level specifications. In ArieVanDeursen, JanHeering, and PaulKlint, editors, LanguagePrototyping. An Algebraic Specification Approach , volume 5 ...  
NDoc 16 Dec 2002 - 19:46 - NEW EelcoVisser
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 ...  
NeFormat 13 Feb 2003 - 22:28 - r1.2 MikeVanEmmerik
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 ...  
NeliacDecompiler 04 Feb 2005 - 13:00 - r1.5 MikeVanEmmerik
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 ...  
NetronCompany 18 Jun 2001 - 11:25 - NEW ArieVanDeursen
Netron ''Accelerating e-business through legecy renewal'' http://www.netron.com/ Product: HotRod, for the purpose of application mining for COBOL systems, which is ...  
NewJacc 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
NjmcTk 15 Aug 2004 - 12:23 - NEW MikeVanEmmerik
http://www.eecs.harvard.edu/~nr/toolkit/ The New Jersey Machine-Code (NJMC) Toolkit helps programmers write applications that process machine code assemblers, disassemblers ...  
ODM 15 May 2001 - 18:56 - NEW ArieVanDeursen
Short for OrganizationDomainModeling Main.ArieVanDeursen 15 May 2001  
OOPSLA 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://oopsla.acm.org/ Conference on Object-Oriented Programming, Systems, Languages and Applications Deadline: April Conference: October see also: TransformationConferences ...  
OOReengineeringPatterns 21 Aug 2003 - 21:49 - NEW SergeDemeyer
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 ...  
OPTIMIX 03 May 2001 - 13:19 - NEW EelcoVisser
Description OPTIMIX is a specification language for the specification of optimizers based on graph rewriting developed by UweAssman at the University of Karlsruhe ...  
OPTRAN 09 May 2001 - 21:56 - NEW EelcoVisser
Description OPTRAN LMW88 is a specification language for attributed tree transformation written by Reinhard Wilhelm at the University of Saarlandes in the early 1980 ...  
ObjectIdentification 17 Nov 2001 - 20:05 - r1.5 ArieVanDeursen
Object Identification is the search for candidate classes in a (procedural) LegacySystem See, for example, the following papers and their references: Maarit Haarsu ...  
ObjectOrientedFramework 02 Jan 2002 - 14:12 - r1.10 ArieVanDeursen
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 ...  
ObjectOrientedProgrammingLanguage 10 Apr 2001 - 16:26 - NEW EelcoVisser
Examples of object-oriented programming languages are Simula67 BETA CPP JavaLanguage CategoryLanguage  
ObjectOrientedRules 25 Oct 2001 - 14:24 - NEW EelcoVisser
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 ...  
ObjectOrientedTreeTraversalWithJJForester 30 Jan 2004 - 16:38 - r1.2 MartinBravenboer
Object-oriented Tree Traversal with Tools.JJForester TobiasKuipers, JoostVisser Abstract We want to use the advanced language processing technology available in the ...  
OctaveLanguage 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
OegeDeMoor 04 Apr 2007 - 18:44 - r1.4 OegeDeMoor
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 ...  
OldProgramTransformation 30 Apr 2001 - 21:14 - r1.2 EelcoVisser
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 ...  
OlivierDanvy 09 Sep 2001 - 19:59 - NEW EelcoVisser
Homepage: http://www.brics.dk/~danvy/ PartialEvaluation SimilixSystem CategoryPeople  
OnInverseOfCompiling 04 Feb 2005 - 13:24 - r1.4 MikeVanEmmerik
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 ...  
OnInverseOfCompiling2 04 Feb 2005 - 13:26 - r1.3 MikeVanEmmerik
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 ...  
OneMinuteWiki 26 Feb 2003 - 13:14 - r1.7 ReengineeringGuest
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 ...  
OpenCpp 11 May 2001 - 10:55 - r1.2 ArieVanDeursen
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 08 May 2005 - 19:55 - NEW MartinBravenboer
OpenJava: A Class-Based Macro System for Java (pdf) Additional resources: OpenJava website OpenJava tutorial Master thesis on OpenJava: An Extension Mechanism for ...  
OpenSource 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
OpenSourceAcademicSoftware 09 May 2001 - 21:56 - NEW EelcoVisser
Abstract In an idealized world, researchers work together to incrementally build an edifice of knowledge, and to disseminate this knowledge in accesible and usable ...  
OrganizationDomainModeling 03 Dec 2001 - 13:49 - r1.3 ArieVanDeursen
DomainEngineering methodology devised by Mark Simos and co-authors. The major steps include Plan domain: Set objectives, analyze stakeholde Scope domain: selection ...  
OsasAuthors 09 May 2001 - 21:56 - NEW EelcoVisser
MerijnDeJonge EelcoVisser JoostVisser  
OsasCaseStudy 09 May 2001 - 21:56 - NEW EelcoVisser
A Case Study of Open Source Software Development The XT bundle of program transformation tools is an example of OpenSourceAcademicSoftware. Motivation for XT distribution ...  
OsasIntroduction 09 May 2001 - 21:56 - NEW EelcoVisser
Why Researchers should produce Open Source Software Many research activities, escpecially in the field of computer science, involve the development of software. Sometimes ...  
OsasMethodology 09 May 2001 - 21:56 - NEW EelcoVisser
A Methodology for Developing Open Source Software integration tests configuration completeness / bundling of tools The CVS manual has the following to say: A true ...  
OsasReferences 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
OsasRequirements 09 May 2001 - 21:56 - NEW EelcoVisser
Requirements of Academic Software For published software to be effective it should satisfy the following requirements. Open source Platform independent Testing Interface ...  
OsasTechnology 09 May 2001 - 21:56 - NEW EelcoVisser
Technology for Production of Open Source Distributions automake autoconf GNU tools build files package configuration bundle configuration WikiWiki CVS Next: OsasCaseStudy ...  
OtherProgramTransformationTools 09 May 2001 - 21:56 - NEW EelcoVisser
Obsolete  
OtherTransformationSites 09 May 2001 - 21:56 - NEW EelcoVisser
Here is a list of other websites with collections of information related to ProgramTransformation: RewritingHomePage A Directory of Program Transformation Systems ...  
OtherWebs 09 May 2001 - 21:56 - NEW EelcoVisser
MAINWEB : Portal of Program-Transformation.Org Transform: Surveys of program transformation Stratego: A language for program transformation Tools: Program transformation ...  
OttoSkroveBagge 11 Dec 2001 - 11:55 - NEW EelcoVisser
Homepage: http://www.ii.uib.no/~otto/ Stratego.CodeBoost CategoryPeople  
PADL 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.seclab.cs.sunysb.edu/padl/ Workshop on Practical Aspects of Declarative Languages Deadline: October 10 Workshop: March  
PADOII 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.brics.dk/pado2/ Symposium on Programs as Data Objects Deadline: November Symposium: May  
PARLANSE 30 Apr 2002 - 10:32 - r1.4 ArieVanDeursen
Homepage: http://www.semdesigns.com/Products/Parlanse/index.html A Parallel Language for Symbolic Expression Designed to support irregular parallel computations, ...  
PASTE 04 Jan 2002 - 14:48 - r1.2 ArieVanDeursen
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 ...  
PATH 09 May 2001 - 21:56 - NEW EelcoVisser
Programmer Assistant for Transforming Haskell A system for transformation of HaskellLanguage programs by MarkTullsen.  
PBS 16 Mar 2001 - 07:59 - NEW TWikiGuest
PortableBookShelf  
PCCTS 30 Apr 2001 - 10:11 - NEW EelcoVisser
PCCTS is the Purdue Compiler Construction Tool Set of TerenceParr that contains ANTLR and SORCERER.  
PEExplorer 16 Jul 2005 - 23:03 - r1.3 MikeVanEmmerik
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 ...  
PEPM 11 Aug 2004 - 11:42 - r1.3 MikeVanEmmerik
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 ...  
PLDI 09 Sep 2004 - 03:19 - r1.2 MikeVanEmmerik
Homepage: http://www.acm.org/sigs/sigplan/pldi.htm 2005 : http://www.research.ibm.com/pldi2005/ Programming Language Design and Implementation Deadline: November ...  
PLI 07 Dec 2001 - 10:51 - r1.2 EelcoVisser
Principles, Logics, and Implementations of high-level programming languages Submissions: March Conference: October Main conferences: ICFP, PPDP 2002: http://pli2002 ...  
POPL 04 Jun 2001 - 21:51 - r1.2 EelcoVisser
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 ...  
PPDP 09 May 2001 - 21:56 - NEW EelcoVisser
The International Conference on Principles and Practice of Declarative Programming http://pauillac.inria.fr/~fages/PPDP/ Deadline: March Conference: September PLI ...  
PREA 15 Mar 2002 - 13:49 - r1.2 AndreyATerekhov
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 06 Jul 2005 - 18:51 - r1.2 KarlTrygveKalleberg
PROSPECTRA is the acronym for PROgram development by SPECification and TRAnsformation In the methodology of PROgram development by SPECification and TRAnsformation ...  
PackageDocumentationTemplate 09 May 2001 - 21:56 - NEW EelcoVisser
Name Package name. Description Package description. Components List of components of the package. Documentation for these components can be formatted according to ...  
PageLayout 17 Nov 2001 - 20:01 - r1.4 ArieVanDeursen
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 ...  
PalmProgramming 01 Aug 2002 - 13:17 - NEW EelcoVisser
Resources for programming for the PalmOS. Main.EelcoVisser 01 Aug 2002 Brian's Pilot Software Page  
PanLanguage 05 Nov 2005 - 20:31 - r1.2 ConalElliott
Homepage: http://conal.net/Pan Pan is a functional language for image manipulation designed by ConalElliott. ConalElliott and OegeDeMoor describe an implementation ...  
PancitoLibrary 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.andrewcooke.free-online.co.uk/jara/pancito/index.html Pancito is a HaskellLanguage library for image manipulation created by AndrewCooke based ...  
PanosLinos 27 Aug 2002 - 20:04 - r1.2 TWikiGuest
Panos Linos Home page: http://www.butler.edu/~linos/ CategoryPeople  
ParallelApplicationSoftwareOnHigh 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
ParallelApplicationSoftwareOnHighPerformanceComputers 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
ParseTree 09 Mar 2004 - 13:09 - r1.4 MartinBravenboer
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 ...  
PartialEvaluation 13 Feb 2003 - 22:42 - r1.4 EelcoVisser
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 ...  
PatriciaJohann 03 Jan 2002 - 10:18 - r1.2 EelcoVisser
Homepage: http://www.dickinson.edu/~johannp/ Stratego.WarmFusionInStratego Stratego.HSX Stratego.FusingLogicAndControl CategoryPeople  
PatternByExample 17 Oct 2003 - 16:47 - NEW ReengineeringGuest
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 ...  
PatternMatching 05 May 2001 - 22:35 - NEW EelcoVisser
Resources Pattern Matching Pointers : http://www.cs.purdue.edu/homes/stelo/pattern.html Definition Term pattern matching comes in many variations. The basic problem ...  
PaulHaley 05 Dec 2001 - 00:09 - NEW EelcoVisser
Homepage: http://www.haley.com EclipseLanguage RuleBasedProgramming CategoryPeople  
PaulKlint 06 Dec 2001 - 13:00 - r1.2 EelcoVisser
Homepage: http://www.cwi.nl/~paulk/ ASFandSDF SoftwareImprovementGroup CategoryPeople  
PcExeFormat 13 Feb 2003 - 22:28 - r1.2 MikeVanEmmerik
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 ...  
PeDump 11 Dec 2004 - 06:38 - r1.2 MikeVanEmmerik
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 ...  
PeggyStorey 04 Oct 2001 - 14:49 - NEW ArieVanDeursen
I'm Peggy! http://www.csr.uvic.ca/~mstorey/ I'm interested in SoftwareVisualization SoftwareArchitecture InformationVisualization  
PenningtonSystemsInc 28 Oct 2002 - 23:07 - NEW StephenHeffner
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 ...  
PeterAiken 14 Jan 2002 - 14:06 - NEW ArieVanDeursen
http://aiken.isy.vcu.edu/ CategoryPeople  
PeterMosses 06 Dec 2001 - 13:02 - r1.2 EelcoVisser
Homepage: http://www.brics.dk/~pdm/ ActionSemantics CategoryPeople  
PhilipWadler 06 Dec 2001 - 13:09 - r1.3 EelcoVisser
Homepage: http://cm.bell-labs.com/cm/cs/who/wadler/ DeForestation CategoryPeople  
PhilippKutter 24 Jun 2005 - 16:23 - r1.2 PhilippKutter
Homepage: http://www.kutter.org/ MontagesFramework GemMex CategoryPeople  
PieterOlivier 11 Dec 2001 - 12:16 - NEW EelcoVisser
Homepage: http://dbs.cwi.nl:8080/cwwwi/owa/cwwwi.print people?ID 147 Tools.ATermLibrary CategoryPeople  
PilerSystem 07 Jul 2003 - 08:00 - r1.2 MikeVanEmmerik
The PILER Decompilation System TOC The PILER decompilation system is documented in Barb74 . However, this document is probably only available in Microfiche form, ...  
PlayingByTheRules 11 Dec 2001 - 12:22 - NEW EelcoVisser
Playing by the Rules: Rewriting as an Optimization Technique in GHC by SimonPeytonJones, AndrewTolmach and TonyHoare, In Proceedings of the 2001 Haskell Workshop ...  
PolyglotFramework 08 May 2005 - 19:39 - r1.2 MartinBravenboer
Extensible Compiler Framework Website: http://www.cs.cornell.edu/Projects/polyglot/ Polyglot is a Java class library that is easily extended through inheritance to ...  
PolyglotParserGenerator 08 May 2005 - 19:38 - r1.2 MartinBravenboer
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 ...  
PopArt 06 Jul 2005 - 18:45 - r1.2 KarlTrygveKalleberg
Homepage: http://www.isi.edu/software-sciences/wile/Popart/popart.html (Dead link, possible substitution: http://mr.teknowledge.com/wile/popart.html) Popart provides ...  
PortableBookShelf 07 Nov 2001 - 12:13 - r1.3 ArieVanDeursen
PBS: The Portable Bookshelf Introduction The Software Bookshelf is a web-based paradigm for the presentation and navigation of information representing large software ...  
PortasmTranslationTool 09 Aug 2005 - 22:03 - NEW MikeVanEmmerik
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 ...  
PortlandPatternRepository 16 Sep 2001 - 19:04 - r1.2 ArieVanDeursen
The mother of all wiki's. See http://www.c2.com/cgi/wiki?WelcomeVisitors http://www.c2.com/cgi/wiki?WikiHistory  
PracticalExperienceWithAnApplicationExtractorForJava 09 May 2001 - 21:56 - NEW EelcoVisser
Frank Tip, Chris Laffra, Peter F. Sweeny, David Streeter. Practical Experience with an Application Extractor for Java . In Proceedings of the Fourteenth Annual Conference ...  
PracticalReusableUNIXSoftware 02 Apr 2002 - 09:38 - r1.2 TWikiGuest
Practical Reusable UNIX Software Krishnamurthy (editor) John Wiley Sons, 1995. Book about a collection of software from AT T Research Labs including AcaCia / CIAO ...  
PracticalSoftwareMaintenance 30 Jan 2006 - 22:04 - r1.4 MikeVanEmmerik
Practical Software Maintenance: Best Practices for Managing your Software Investment by Tom Pigoski, John Wiley, 1997. Text book on SoftwareMaintenance, with strong ...  
PrestonBriggs 06 Dec 2001 - 12:49 - r1.2 EelcoVisser
Homepage: http://www.crpc.rice.edu/MSCP/preston.html CategoryPeople  
PrettyPrinting 12 May 2001 - 19:18 - NEW EelcoVisser
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 ...  
ProViewDisassembler 23 Jan 2005 - 03:16 - NEW MikeVanEmmerik
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 ...  
ProcedurePositioning 01 Dec 2001 - 14:05 - NEW MikeVanEmmerik
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 ...  
ProcedureSplitting 01 Dec 2001 - 14:01 - NEW MikeVanEmmerik
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 23 Oct 2001 - 19:10 - r1.2 ArieVanDeursen
ProgramAnalysis is the (automated) inspection of a program to infer some property. Program analysis is needed for most kinds of ProgramTransformation and can range ...  
ProgramCalculation 01 Apr 2002 - 08:57 - NEW EelcoVisser
A methodology for deriving implementations from specifications. See also synthesis, refinement, Meertens Formalism. Main.EelcoVisser 01 Apr 2002  
ProgramCompilation 02 Dec 2001 - 20:13 - r1.3 EelcoVisser
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 ...  
ProgramComprehension 19 Feb 2002 - 15:38 - r1.2 ArieVanDeursen
See ProgramUnderstanding CategoryProgramUnderstanding  
ProgramComprehensionRisksAndOpportunitiesInXP 02 Sep 2002 - 22:06 - r1.6 MartinBravenboer
Program Comprehension Risks and Opportunities in Extreme Programming ArieVanDeursen , CWI, May 2001. Proceedings WCRE 2001, IEEE Computer Society. Abstract We investigate ...  
ProgramComprehensionRisksAndOpporunitiesInXP 10 May 2001 - 07:54 - NEW ArieVanDeursen
See ProgramComprehensionRisksAndOpportunitiesInXP  
ProgramDerivation 09 May 2001 - 21:56 - NEW EelcoVisser
Program derivation is a kind of ProgramTransformation in which an (efficient) implementation is derived from a (high-level) specification. If the specification can ...  
ProgramGeneratorsEmailList 25 Apr 2002 - 14:15 - NEW JoostVisser
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 ...  
ProgramGeneratorsWithXMLAndJava 03 May 2002 - 01:44 - r1.2 CraigCleaveland
by Main.CraigCleaveland Prentice-Hall, 2001 http://craigc.com/pg CategoryGenerativeProgrammingWiki CategoryBook Main.CraigCleaveland 02 May 2002  
ProgramMigration 30 Jan 2006 - 22:04 - r1.4 MikeVanEmmerik
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 ...  
ProgramNormalization 28 Feb 2002 - 23:15 - r1.3 EelcoVisser
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 ...  
ProgramObfuscation 29 Sep 2005 - 03:06 - r1.5 MikeVanEmmerik
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 28 Oct 2002 - 15:05 - r1.12 EelcoVisser
ProgramOptimization is a kind of ProgramTransformation aimed at improving the time or memory performance of a program. CompilationByTransformation makes heavy use ...  
ProgramParsing 09 Mar 2004 - 12:52 - r1.4 MartinBravenboer
TransformationSystems usually work on tree of graph structured ProgramRepresentations. A parser analyzes the syntactic structure of a program text and produces a structured ...  
ProgramRefactoring 04 Oct 2004 - 19:01 - r1.20 TomMens
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 03 Sep 2002 - 15:08 - r1.2 SebastianPop
ProgramRefinement is a special case of ProgramSynthesis in which an (efficient) implementation is derived from a high-level specification such that the implementation ...  
ProgramRepresentation 09 May 2001 - 21:56 - NEW EelcoVisser
Programs can be represented in various ways in ProgramTransformationTools. AbstractSyntaxTree DirectedAcyclicGraph Graph Objects Particularly important/problematic ...  
ProgramSpecialization 04 Dec 2001 - 10:52 - r1.2 EelcoVisser
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 ...  
ProgramSynthesis 29 Sep 2002 - 18:12 - r1.3 MaD
Program synthesis is the derivation of a program from a specification. When the synthesis is done according to semantically correct TransformationRules the resulting ...  
ProgramTransformation 30 Jan 2006 - 22:05 - r1.23 MikeVanEmmerik
(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 ...  
ProgramTransformationMaintainers 09 May 2001 - 21:56 - NEW EelcoVisser
ProgramTransformationOrg was set up by EelcoVisser. Contributions are welcome.  
ProgramTransformationOrg 02 Dec 2001 - 09:47 - r1.4 EelcoVisser
Program-transformation.org is dedicated to collecting, organizing and disseminating information about all aspects of ProgramTransformation. The site is completely ...  
ProgramTransformationOrgHistory 09 Nov 2001 - 10:18 - r1.2 EelcoVisser
See WebNews  
ProgramTransformationOrgSponsors 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
ProgramTransformationSurvey 09 May 2001 - 21:56 - NEW EelcoVisser
See TheOnlineSurveyOfProgramTransformation  
ProgramTransformationTasks 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
ProgramTransformationTools 04 Mar 2001 - 08:41 - NEW EelcoVisser
Description This page discusses terminology, principles, and issues concerning tools for ProgramTransformation. Principles ProgramTransformationTools have much in ...  
ProgramTransformationWorkshop 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.ipl.t.u-tokyo.ac.jp/~caca/ptw00/ Program Transformation Workshop  
ProgramUnderstanding 04 May 2004 - 05:06 - r1.19 AndrewWalenstein
The UVicReverseEngineeringTutorial defines program understanding as The task of building mental models of the underlying software at various abstraction levels, ranging ...  
ProgramUnderstandingToolsDirectory 01 Mar 2002 - 20:19 - r1.2 ArieVanDeursen
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 ...  
ProgrammingEnvironments 02 Aug 2002 - 17:07 - r1.2 MontyZukowski
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 ...  
ProgrammingLanguages 11 Nov 2003 - 04:23 - r1.13 WillNorris
Here is a list of programming languages and DataFormats that could be subject of ProgramTransformation BETA BibTeX CAML CProgrammingLanguage CleanLanguage COBOL CPP ...  
ProgrammingToolsGroup 27 Aug 2001 - 23:50 - NEW EelcoVisser
Homepage: http://web.comlab.ox.ac.uk/oucl/research/areas/progtools/ The Programming Tools Group at Oxford University CategoryGroup  
PromotingParticipation 23 Nov 2002 - 14:46 - r1.4 ArieVanDeursen
Anyone welcome to participate! Issues Ensure that all pages are reachable by google. LoginShouldBeSimple InvitedAuthors Announce on various email / news groups Present ...  
PropLanguage 06 Jul 2005 - 18:47 - r1.2 KarlTrygveKalleberg
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 ...  
PublicationsOnGenerativeProgramming 03 Sep 2003 - 18:54 - r1.2 EelcoVisser
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 ...  
PumaLanguage 09 May 2001 - 21:56 - NEW EelcoVisser
Description Puma Grosch91 is the program transformation generator of the Coctail compiler toolkit. A Puma specification specifies a transformation of an abstract ...  
PythonDecompilers 28 Jun 2005 - 13:52 - r1.2 MartinBravenboer
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 ...  
QVT 29 Sep 2004 - 06:22 - NEW MichaelLawley
See QueryViewTransformation. CategoryTransformation Main.MichaelLawley 29 Sep 2004  
QueryViewTransformation 29 Sep 2004 - 06:46 - NEW MichaelLawley
QueryViewTransformation is the OMG's upcoming (due end 2004/start 2005) standard for specifying MOF model queries, views, and transformations. It's main significance ...  
QuinTylerJackson 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://qtj.dhs.org/~quinn/index.html JournalOfPatternMatching  
RDP 23 Apr 2002 - 13:40 - NEW EelcoVisser
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 ...  
REFAL 18 Sep 2001 - 07:14 - r1.2 MaD
REcursive Functions Algorithmic Language, the first language used to experimenting with SuperCompilation by ValentinTurchin. See: REFAL/Supercompilation Community ...  
REFLECTION 22 Apr 2001 - 17:29 - NEW EelcoVisser
Homepage: http://www.openjit.org/reflection2001 International Conference on Metalevel Architectures and Separation of Crosscutting Concerns Deadline: March Conference ...  
RETIS 09 May 2001 - 21:56 - NEW EelcoVisser
International Conference on Reverse Engineering for Information Systems http://lisi.insa-lyon.fr/~retis/ Submission: January Conference: July  
RFC 29 Aug 2001 - 21:56 - NEW TWikiGuest
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 20 Oct 2002 - 03:56 - r1.4 HolgerKienle
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 ...  
RTA 18 Dec 2001 - 12:33 - r1.2 EelcoVisser
Conference on Rewriting Techniques and Applications Deadline: January Conference: July Permanent homepage http://rewriting.loria.fr/rta/ Event homepages 2002 in Copenhagen ...  
RULE 09 May 2001 - 21:56 - NEW EelcoVisser
WorkshopOnRuleBasedProgramming Submission: June Workshop: October 2002: http://www.program-transformation.org/rule02 2001: http://www.cwi.nl/~markvdb/RULE2001/ 2000 ...  
RainCode 12 Oct 2001 - 09:47 - NEW ArieVanDeursen
http://www.raincode.com/ Distributes analysis tools for the COBOL, PL/I, CPP, and Ada. Analsyis includes standards conformance checking, automated modifications, metrics ...  
RainerKoschke 09 May 2001 - 21:56 - NEW EelcoVisser
Rainer Koschke Homepage: http://www.informatik.uni-stuttgart.de/ifi/ps/rainer/ Topics: WCRE, BauHaus, ReengineeringBibliography, ArchitectureExtraction CategoryPeople ...  
RakeshVerma 20 Nov 2001 - 10:25 - NEW EelcoVisser
Homepage: http://www.cs.uh.edu/~rmverma/ LRR TermRewriting CategoryPeople  
RalfLaemmel 09 Oct 2004 - 22:52 - r1.2 RalfLaemmel
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 ...  
RalphJohnson 31 Oct 2001 - 08:08 - r1.2 ArieVanDeursen
Homepage: http://st-www.cs.uiuc.edu/users/johnson/ ProgramRefactoring SmalltalkRefactory CategoryPeople  
ReDocumentation 09 May 2001 - 21:56 - NEW EelcoVisser
Redocumentation is the simplest and oldest form of ReverseEngineering. The ReverseAndReengineeringTaxonomy defines redocumentation as a form of ReStructuring where ...  
ReEngineering 17 Sep 2002 - 08:12 - r1.14 ArieVanDeursen
The ReverseAndReengineeringTaxonomy defines reengineering as: the examination and alteration of a subject system to reconstitute it in a new form and the subsequent ...  
ReFactoring 09 May 2001 - 21:56 - NEW EelcoVisser
ReFactoring is wiki for ProgramRefactoring.  
ReStructuring 07 May 2003 - 15:56 - r1.5 TomMens
The ReverseAndReengineeringTaxonomy defines restructuring as a transformation from one form of representation to another at the same relative level of abstraction ...  
RealisticCompilationByProgramTransformation 04 Jun 2001 - 21:48 - NEW EelcoVisser
by RichardKelsey and PaulHudak Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (POPL'89) . 281--292, 1989, http://citeseer ...  
ReapTools 16 Aug 2004 - 13:20 - NEW MikeVanEmmerik
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 ...  
ReasoningAboutXMLSchemaLanguagesUsingFormalLanguageTheory 30 May 2002 - 20:35 - NEW MartinBravenboer
Dongwon Lee, Murali Mani, Makoto Murata. Technical Report, IBM Almaden Research Center, RJ# 10197, Log# 95071 , November 16, 2000 Abstract A mathematical framework ...  
ReasoningCompany 18 Jun 2001 - 10:44 - r1.2 ArieVanDeursen
Homepage: http://www.reasoning.com/ Offers automated software inspection services built using the Refine wide-spectrum language with explicit transformation support ...  
RedoProjectArchive 15 Aug 2004 - 13:10 - NEW MikeVanEmmerik
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 ...  
ReengineeringBibliography 19 Aug 2002 - 19:04 - r1.5 ArieVanDeursen
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 ...  
ReengineeringForum 14 Apr 2002 - 03:18 - r1.4 ElliotChikofsky
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 ...  
ReengineeringMailingList 19 Feb 2002 - 15:51 - r1.3 ArieVanDeursen
German ReEngineering Mailing List Mailingliste der deutschsprachigen ReEngineering-Szene reengineering@uni-koblenz.de CategoryReengineeringPages  
ReengineeringPatterns 28 Feb 2002 - 15:02 - r1.5 ArieVanDeursen
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 ...  
ReengineeringResourceRepository 19 Feb 2002 - 15:51 - r1.4 ArieVanDeursen
SpencerRugaber and LindaWills. Creating a research infrastructure for reengineering. In 3d Working Conference on Reverse Engineering, WCRE, 1996. http://www.cc.gatech ...  
ReengineeringWiki 30 Jan 2006 - 22:06 - r1.43 MikeVanEmmerik
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 ...  
ReengineeringWikiPaper 29 Dec 2001 - 13:00 - NEW ArieVanDeursen
The Reengineering Wiki ArieVanDeursen and EelcoVisser In Proceedings of the 5th European Conference on Software Maintenance and Reengineering ( CSMR ), 2002. IEEE ...  
ReengineeringWikiSiteMap 30 Jan 2006 - 22:05 - r1.18 MikeVanEmmerik
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 ...  
ReengineeringWikiTodoList 28 Oct 2001 - 12:59 - r1.5 ArieVanDeursen
See TodoList.  
Refactoring 06 Dec 2004 - 11:19 - r1.3 TomMens
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 ...  
RefactoringImprovingTheDesignOfExistingCode 31 Oct 2001 - 02:04 - r1.2 MartinBravenboer
Refactoring: Improving the Design of Existing Code by MartinFowler published by Addison-Wesley in 1999. website: http://www.refactoring.com Introduces the concept ...  
RefactoringImprovingTheDesignOfExistingPrograms 09 May 2001 - 21:56 - NEW EelcoVisser
Refactoring: Improving the Design of Existing Programs by MartinFowler published by Addison-Wesley in 1999. The title actually is RefactoringImprovingTheDesignOfExistingCode ...  
RefactoringPrograms 09 May 2001 - 21:56 - NEW EelcoVisser
RefactoringPrograms is the activity of transforming a program to improve its desing while preserving its behaviour. The SmalltalkRefactory is a program that supports ...  
RefactoringProject 02 Oct 2001 - 05:28 - r1.2 TWikiGuest
Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Topics Progress Testing Programs Documents Links Ideas Progress ...  
ReferencingDecompilationWikiPages 05 Sep 2007 - 23:41 - r1.3 MikeVanEmmerik
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 ...  
RelativityTechnologies 23 May 2001 - 13:48 - NEW TWikiGuest
Relativity Technologies is a leading supplier of legacy modernization solutions. Our technology offerings enable Information Technology organizations to take advantage ...  
RelaxNG 29 May 2002 - 22:47 - NEW MartinBravenboer
Standard : http://www.oasis-open.org/committees/relax-ng/ RelaxNG is a SchemaLanguageForXML based on RegularTreeGrammars. It is (suprisingly) more powerful and easier ...  
RelipmoC 01 Feb 2008 - 13:15 - r1.2 MikeVanEmmerik
https://sourceforge.net/projects/relipmoc The relipmoC decompiler translates i386 assembly language programs to C (the assembly language must have been generated with ...  
RelogixDecompilationService 09 Aug 2005 - 21:56 - NEW MikeVanEmmerik
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 ...  
RenaissanceWeb 19 Feb 2002 - 15:51 - r1.2 ArieVanDeursen
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 ...  
ResearchIndex 09 May 2001 - 21:56 - NEW EelcoVisser
Description ResearchIndex is a scientific literature digital library that aims to improve the dissemination and feedback of scientific literature, and to provide ...  
ResearchInstituteForSoftwareEvolution 09 May 2001 - 21:56 - NEW EelcoVisser
Actually the ResearchInstituteInSoftwareEvolution.  
ResearchInstituteInSoftware 09 May 2001 - 21:56 - NEW EelcoVisser
deleted.  
ResearchInstituteInSoftwareEvolution 20 Oct 2001 - 18:44 - r1.2 ArieVanDeursen
The Research Institute in SoftwareEvolution formerly the Centre for SoftwareMaintenance was established in April 1987, at the University of Durham, England. More info ...  
ReusableGrammars 09 Feb 2004 - 13:12 - r1.4 MartinBravenboer
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 ...  
ReverseAndReengineeringRoadmap 23 Dec 2001 - 21:00 - NEW ArieVanDeursen
Old name for the ReengineeringWiki  
ReverseAndReengineeringTaxonomy 19 Jun 2005 - 11:27 - r1.11 MikeVanEmmerik
In 1990, ElliotChikofsky and JamesCross published Reverse Engineering and Design Recovery: A Taxonomy , IEEE Software 7(1):13-17, 1990. http://doi.ieeecomputersociety ...  
ReverseEngineering 03 Sep 2005 - 23:25 - r1.20 MikeVanEmmerik
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 ...  
ReverseEngineeringARoadmap 15 Mar 2002 - 14:39 - r1.7 ArieVanDeursen
Reverse Engineering: A Roadmap HausiMueller, JensJahnke, Dennis Smith, PeggyStorey, Scott Tilley, and KennyWong In A, Finkelstein (ed.) The Future of Software Engineering ...  
ReverseEngineeringCompiler 28 Jul 2005 - 22:40 - r1.4 GiampieroCaprino
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 ...  
ReverseEngineeringTutorials 21 Aug 2003 - 21:30 - r1.3 SergeDemeyer
Several surveys of reverse and reengineering research have been published. These include: ReverseAndReengineeringTaxonomy ReengineeringBibliography ReverseEngineeringARoadmap ...  
RewriteRule 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
RewritingCalculus 09 May 2001 - 21:56 - NEW EelcoVisser
The Rewriting Calculus provides a combination of functional programming and term rewriting. http://www.loria.fr/~ckirchne/ rho/rho.html HoratiuCirstea ClaudeKirchner ...  
RewritingHomePage 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.loria.fr/~vigneron/RewritingHP/  
RewritingStrategy 09 May 2001 - 21:56 - NEW EelcoVisser
RewritingStrategies are little programs that define the position and order of application of RewriteRules. Rules are identified by means of labels. Typical strategy ...  
RicHolt 28 Nov 2001 - 09:54 - NEW ArieVanDeursen
Ric Holt http://plg.uwaterloo.ca/~holt/ CategoryPeople  
RichardBird 06 Dec 2001 - 12:47 - r1.2 EelcoVisser
Homepage: http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html BirdMeertensFormalism CategoryPeople  
RigiCScripts 15 Nov 2008 - 16:33 - NEW HolgerKienle
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 ...  
RigiCparse 13 May 2009 - 10:11 - NEW HolgerKienle
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 ...  
RigiDevelopment 02 Dec 2008 - 20:28 - r1.4 HolgerKienle
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 ...  
RigiEdit 26 Nov 2008 - 14:28 - r1.4 HolgerKienle
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 ...  
RigiFAQ 11 May 2009 - 18:09 - r1.7 HolgerKienle
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 ...  
RigiGettingStarted 13 May 2009 - 08:45 - r1.9 HolgerKienle
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 ...  
RigiGraphEd 26 Oct 2002 - 12:29 - r1.2 ArieVanDeursen
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 ...  
RigiInstall 13 May 2009 - 07:34 - r1.7 HolgerKienle
This topic provides information for users of Rigi binary distributions. See also RigiDevelopment if you work with Rigi's source code. Installing RigiEdit basically ...  
RigiProjects 15 Nov 2008 - 16:11 - r1.8 HolgerKienle
Samples of Completed Reverse Engineering Projects Azureus (Java) for for VISSOFT Tool Demo Challenge (1st Prize): http://www.program-comprehension.org/vissoft07/VISSOFT2007 ...  
RigiPublications 22 Jun 2010 - 08:17 - r1.6 HolgerKienle
Publication list (until ~1998, now outdated): http://www.rigi.csc.uvic.ca/Pages/publications.html More recent publications: Rigi An Environment for Software Reverse ...  
RigiRCL 15 Nov 2008 - 16:30 - r1.3 HolgerKienle
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 ...  
RigiRSF 13 May 2009 - 09:52 - r1.7 HolgerKienle
Specification: RigiRSFSpecification Errata: In a source-location the elements are separated with comma, not semicolon. Errata for "Appendix: Tool Support": rigiedit ...  
RigiRSFSpecification 18 Sep 2007 - 10:13 - NEW HolgerKienle
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 ...  
RigiRelatedWork 15 Nov 2008 - 16:06 - r1.3 HolgerKienle
The following systems are built on top of Rigi: BauHaus Atomic Architectural Component Recovery for Program Understanding and Evolution, Rainer Koschke. Dissertation ...  
RigiReleases 13 May 2009 - 10:05 - r1.3 HolgerKienle
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 ...  
RigiSystem 28 Nov 2008 - 19:20 - r1.10 HolgerKienle
ReverseEngineering system to extract, navigate, analyze and document the static structure of large software systems. http://rigi.uvic.ca/Media/howpic1.gif The topics ...  
RigiUserManual 15 Nov 2008 - 17:06 - r1.3 HolgerKienle
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 ...  
RikVanDeWiel 17 Mar 2002 - 14:44 - NEW EelcoVisser
Email: Rik.van.de.Wiel@philips.com CodeCompaction CategoryPeople  
RislaLanguage 25 Apr 2002 - 13:44 - r1.3 ArieVanDeursen
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 ...  
RobertPaige 22 May 2003 - 09:52 - r1.2 EelcoVisser
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 ...  
RonCytron 06 Dec 2001 - 12:52 - r1.2 EelcoVisser
Homepage: http://www.cs.wustl.edu/~cytron/ ContinuousCompilers CategoryPeople  
RoundTripEngineering 19 Feb 2002 - 15:18 - r1.2 ArieVanDeursen
BrueggeAndDutoit define round trip engineering as A model maintenance activity that combines forward and reverse engineering. Changes to the implementation model are ...  
RudolfFerenc 10 Aug 2004 - 13:10 - r1.2 RudolfFerenc
Visit my homepage: http://www.inf.u-szeged.hu/~ferenc Main.RudolfFerenc 07 Jan 2003  
RuleAcceptedPapers 14 Aug 2002 - 21:04 - NEW EelcoVisser
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 ...  
RuleBasedProgramming 19 Feb 2002 - 22:23 - r1.13 EelcoVisser
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 ...  
RuleBasedProgrammingSystems 25 Oct 2001 - 14:44 - r1.3 EelcoVisser
This page collects links to systems supporting RuleBasedProgramming. Feel free to add missing links. TermRewritingSystems TransformationSystems ObjectOrientedRules ...  
RuleProceedings 25 Oct 2001 - 14:45 - NEW EelcoVisser
Proceedings of the WorkshopOnRuleBasedProgramming 2002: to appear 2001: http://www.elsevier.nl/locate/entcs/volume59.html 2000: http://www.loria.fr/~ckirchne/ rule2000 ...  
RuleProgram 22 Aug 2002 - 20:53 - r1.2 EelcoVisser
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 ...  
RuleWorkshopProposal 06 Dec 2001 - 21:08 - r1.13 EelcoVisser
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 ...  
SAIG 02 Nov 2001 - 17:13 - r1.2 EelcoVisser
Semantics, Applications and Implementation of Program Generation Deadline: March Conference: September (with PLI) 2002: http://www.cs.yale.edu/homes/taha/saig 2001 ...  
SAS 23 Apr 2002 - 20:00 - r1.2 EelcoVisser
International Static Analysis Symposium Description Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification ...  
SAX 20 Mar 2001 - 20:14 - r1.2 TWikiGuest
See the SimpleAPIforXML  
SCAM 16 Jun 2004 - 04:14 - r1.4 MikeVanEmmerik
IEEE International Workshop on Source Code Analysis and Manipulation Deadline: April Conference: October Location: Chicago, USA (2004) Web: 2004: http://www.brunel ...  
SDF 09 Feb 2004 - 13:11 - r1.3 MartinBravenboer
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 28 Feb 2002 - 23:15 - r1.2 EelcoVisser
SDFII is successor of the first Syntax Definition Formalism SDF. SDFII features Integration of lexical and context-free syntax Modules with parameters and renaming ...  
SDL 09 Mar 2001 - 14:40 - NEW EelcoVisser
Specification and Description Language http://www.tdr.dk/public/SDL/SDL.html  
SDLGrammarReengineering 24 May 2002 - 13:29 - r1.2 JoostVisser
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 ...  
SDandM 10 Mar 2002 - 13:38 - r1.4 ArieVanDeursen
Software Design And Management AG. http://www.sdm.de/ Consulting firm which also does ReEngineering projects using its own hypertext repository called SHORE. SHORE ...  
SEI 18 Apr 2001 - 11:41 - NEW ArieVanDeursen
Software Engineering Institute http://www.sei.cmu.edu/ Topics: SoftwareArchitecture SoftwareProductLines SoftwareProcess  
SEKE 14 Jan 2002 - 10:18 - NEW ArieVanDeursen
International Confernce on Software Engineering and Knowledge Engineering The conference aims at bringing together experts in knowledge engineering and knowledge ...  
SEN1 05 Apr 2001 - 12:03 - r1.2 ArieVanDeursen
Interactive Software Development and Renovation Group (SEN1) (CWI, Amsterdam) http://www.cwi.nl/themes/sen1/ See also SoftwareRenovationAtCWI. Main.ArieVanDeursen ...  
SHriMP 12 Apr 2008 - 17:46 - r1.2 HolgerKienle
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 ...  
SIGPLAN 15 Aug 2004 - 12:49 - r1.2 MikeVanEmmerik
ACM Special Interest Group on Programming Languages http://www.acm.org/sigplan/ CategoryConference  
SIGSOFT 09 May 2001 - 21:56 - NEW EelcoVisser
ACM Special Interest Group on SoftwareEngineering. See http://www.acm.org/sigsoft/  
SMLofNJ 28 Oct 2006 - 22:17 - r1.2 MikeVanEmmerik
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 02 Apr 2002 - 11:06 - r1.2 ArieVanDeursen
SMake is a tool to produce standard Makefiles from templates. It's not as advanced as Tools.AutoMake. http://freshmeat.net/projects/smake/  
SORCERER 30 Apr 2001 - 10:03 - NEW EelcoVisser
SORCERER is the tree parser generator of ANTLR. Papers TerenceParr. Language Translation Using PCCTS and CPP. A Reference Guide. Automata Publishing Company, San Jose ...  
SPLC 13 Sep 2003 - 17:52 - r1.3 RobVanOmmering
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 09 May 2001 - 21:56 - NEW EelcoVisser
STTT is the Journal on Software Tools for Technology Transfer  
SWARM 02 Apr 2001 - 14:27 - NEW ArieVanDeursen
The SwarmForum  
SWEBOK 11 Jan 2002 - 09:29 - r1.2 ArieVanDeursen
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 01 Feb 2004 - 00:36 - NEW MartinBravenboer
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 ...  
SanderTichelaar 09 May 2001 - 21:56 - NEW EelcoVisser
Sander Tichelaar Topics: ExchangeFormats ProgramRefactoring SoftwareVisualization Home page: http://www.iam.unibe.ch/~tichel/ CategoryPeople  
ScaffoldingForSoftwareRenovation 09 May 2001 - 21:56 - NEW EelcoVisser
Scaffolding for Software Renovation by Alex Sellink and Chris Verhoef. Available: ps 1 html 2 pdf 3  
ScannerlessGeneralizedLRParsing 09 Feb 2004 - 13:12 - r1.3 MartinBravenboer
EelcoVisser. Scannerless Generalized-LR parsing . Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Online: http://www.cs.uu ...  
SchedulingSoftware 02 Jan 2002 - 15:24 - NEW EelcoVisser
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 ...  
SchemaLanguageForXML 29 May 2002 - 23:00 - NEW MartinBravenboer
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 ...  
SchemeLanguage 01 Feb 2006 - 20:46 - r1.4 GideonKlok
Scheme is a dialect of LispLanguage, i.e., another FunctionalProgrammingLanguage. http://www.schemers.org DrScheme: a programming environment for Scheme Teach Yourself ...  
SciComp 02 Jan 2002 - 13:57 - r1.2 EelcoVisser
Homepage: http://www.scicomp.com SciComp is specialized in ProgramSynthesis of numerical programs from PartialDifferentialEquations, especially in the domain of financial ...  
SciNapse 28 Apr 2001 - 09:51 - NEW EelcoVisser
The ProgramSynthesis system of SciComp CategorySystem Contributions by Main.EelcoVisser  
ScientificToolworksInc 26 Aug 2001 - 11:53 - NEW ArieVanDeursen
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 18 Sep 2001 - 07:52 - NEW MaD
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  
SculptorDecompiler 03 Dec 2004 - 23:12 - NEW MikeVanEmmerik
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 ...  
SearchTheWiki 09 May 2001 - 21:56 - NEW EelcoVisser
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 30 Apr 2002 - 10:31 - r1.4 ArieVanDeursen
SemanticDesigns is a company that provides the DMSSoftwareReengineeringToolkit. Homepage: http://www.semdesigns.com IraBaxter CategoryCompany  
SimilixSystem 09 Sep 2001 - 19:58 - NEW EelcoVisser
Similix is an autoprojector (self-applicable partial evaluator) for a large higher-order subset of the strict functional language Scheme. Similix treats source programs ...  
SimonPeytonJones 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://research.microsoft.com/Users/simonpj/ GHC CompilationByTransformation CategoryPeople  
SimpleAPIforXML 29 May 2002 - 23:59 - r1.2 MartinBravenboer
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 ...  
SiteMap 27 Aug 2002 - 08:00 - NEW EelcoVisser
INCLUDE{ TWIKIWEB .SiteMap}  
SmalltalkRefactoringBrowser 31 Oct 2001 - 02:51 - NEW MartinBravenboer
SmalltalkRefactoringBrowser is wiki for SmalltalkRefactory Main.MartinBravenboer 31 Oct 2001  
SmalltalkRefactory 09 May 2001 - 21:56 - NEW EelcoVisser
Smalltalk Refactory The (Smalltalk) Refactoring Browser is an interactive program for ProgramRefactoring, i.e., behaviour preserving transformations that improve ...  
SoftMetaWare 10 May 2002 - 11:00 - NEW JornBettin
SoftMetaWare provides consulting services on-site as required, or remotely via web-based collaboration tools when appropriate. We specialise in implementing model ...  
SoftSD 13 Nov 2004 - 01:06 - NEW JoseLuizFiadeiro
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 ...  
SoftwareArcheologyWorkshop 04 Feb 2002 - 10:19 - NEW ArieVanDeursen
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 ...  
SoftwareArchitecture 13 Jun 2002 - 09:36 - r1.18 ArieVanDeursen
A survey of software architecture is provided by David Garlan, in SoftwareArchitectureARoadMap. Garlan loosely defines architecture as a software system's gross organization ...  
SoftwareArchitectureARoadMap 15 Mar 2002 - 08:59 - r1.2 TWikiGuest
Software Architecture: a Roadmap David Garlan In A, Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event colocated with ICSE 2000). Roadmap ...  
SoftwareArchitectureDefinitions 19 Feb 2002 - 15:20 - r1.4 ArieVanDeursen
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 ...  
SoftwareConfiguration 30 Apr 2002 - 10:42 - r1.17 ArieVanDeursen
Software configuration is concerned with creating different specializations of a software artifact for different environments. (See also VariabilityManagement) Configuration ...  
SoftwareEngineering 20 Jun 2003 - 09:06 - r1.2 TomMens
Applications of ProgramTransformation in software engineering ProgramSynthesis ProgramCalculation ReuseByTransformation MaintenanceByTransformation ProgramMigration ...  
SoftwareEvolution 20 Feb 2007 - 12:55 - r1.43 TomMens
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 ...  
SoftwareEvolutionThroughTransformations 20 Feb 2007 - 12:59 - r1.4 TomMens
ICGT 2002 Workshop on Software Evolution Through Transformations (SET 2002) Towards uniform support throughout the software life-cycle Transformations of artefacts ...  
SoftwareGeneration 24 Apr 2002 - 17:51 - r1.5 JoostVisser
Software generation is a class of transformations in which software implementations are generated from high-level specifications or (broadly interpreted) of generating ...  
SoftwareGenerators 24 Apr 2002 - 17:52 - r1.4 JoostVisser
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 ...  
SoftwareImprovementGroup 16 Mar 2001 - 12:56 - NEW ArieVanDeursen
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 ...  
SoftwareMaintenance 30 Jan 2006 - 22:07 - r1.16 MikeVanEmmerik
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 ...  
SoftwareMaintenanceAndEvoluationARoadmap 09 May 2001 - 21:56 - NEW EelcoVisser
typo.  
SoftwareMaintenanceAndEvolutionARoadmap 30 Jan 2006 - 22:07 - r1.6 MikeVanEmmerik
Software Maintenance And Evolution: A Roadmap By KeithBennett and VaclavRajlich. In A Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event ...  
SoftwareMigrations 14 Jul 2003 - 00:19 - r1.4 MikeVanEmmerik
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 ...  
SoftwareProcess 30 Jan 2006 - 22:08 - r1.9 MikeVanEmmerik
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 ...  
SoftwareProductLine 30 Jan 2006 - 22:08 - r1.8 MikeVanEmmerik
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 ...  
SoftwareRenovation 19 Feb 2002 - 15:51 - r1.3 ArieVanDeursen
The ReverseAndReengineeringTaxonomy defines software renovation as a synonym for ReEngineering. In CWI parlance, it is covers research in the areas of ReverseEngineering ...  
SoftwareRenovationAtCWI 26 Aug 2002 - 15:37 - r1.6 ArieVanDeursen
The SEN1 research group at CWI works on the following SoftwareRenovation topics: DocumentationGeneration for COBOL systems ArchitectureExtraction Type inferencing ...  
SoftwareRenovationFactories 14 Mar 2001 - 09:45 - NEW ArieVanDeursen
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 ...  
SoftwareReuse 02 Jan 2002 - 09:57 - r1.3 ArieVanDeursen
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 ...  
SoftwareTesting 24 Mar 2003 - 13:08 - r1.7 ArieVanDeursen
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 ...  
SoftwareVisualization 06 Dec 2002 - 09:39 - r1.7 ArieVanDeursen
The software visualization 1 group at GeorgiaTech describes software visualization as: the use of computer graphics and animation to help illustrate and present computer ...  
SootFramework 08 May 2005 - 19:48 - NEW MartinBravenboer
Java Optimization Framework http://www.sable.mcgill.ca/soot/ People Project of the Sable research group (McGill University, Montreal) Components Intermediate representations ...  
SortGraph 09 May 2001 - 21:56 - NEW EelcoVisser
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 14 Nov 2008 - 18:54 - r1.3 HolgerKienle
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 25 Sep 2004 - 01:51 - NEW MikeVanEmmerik
SourceAgain is a commercial Java decompiler by Ahpah Software. SourceAgain correctly recovers Java control structures and optimizations from the bytecode. Further ...  
SourceAudit 10 Aug 2004 - 13:28 - NEW RudolfFerenc
See FrontEndART for details. Main.RudolfFerenc 10 Aug 2004  
SourceRecoveryCompany 28 Apr 2006 - 23:10 - r1.2 MikeVanEmmerik
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 ...  
SourcerDisassembler 30 Jan 2006 - 22:09 - r1.3 MikeVanEmmerik
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 09 May 2001 - 21:56 - NEW EelcoVisser
SpecWare is a ProgramSynthesis system based on CategoryTheory. Homepage: http://www.kestrel.edu/HTML/prototypes/specware.html  
SpencerRugaber 22 Mar 2001 - 16:44 - NEW TWikiGuest
Spencer Rugaber, GeorgiaTech, Atlanta Topics: ReverseEngineering ProgramUnderstanding See http://www.cc.gatech.edu/fac/Spencer.Rugaber/ CategoryPeople  
SpirosMancoridis 06 Dec 2001 - 13:03 - r1.2 EelcoVisser
HomePage?: http://www.mcs.drexel.edu/~smancori Research Web Page: http://serg.mcs.drexel.edu Main.TWikiGuest 08 Apr 2001 CategoryPeople  
StaticAnalysisTechniquesForEquationalLogicProgramming 09 May 2001 - 21:56 - NEW EelcoVisser
Static Analysis Techniques for Equational Logic Programming RakeshVerma http://arXiv.org/abs/cs/0010034  
StaticTranslator 01 Dec 2001 - 12:58 - NEW MikeVanEmmerik
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 ...  
StephenHeffner 28 Oct 2002 - 23:16 - r1.2 StephenHeffner
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 ...  
StrategicProgramming 20 Jun 2002 - 15:00 - NEW EelcoVisser
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 ...  
StrategicProgrammingMeetsAdaptiveProgramming 30 Mar 2004 - 12:06 - r1.3 EelcoVisser
Ralf Lämmel and Eelco Visser and Joost Visser. Strategic Programming Meets Adaptive Programming . In Proceedings of Aspect-Oriented Software Development (AOSD'03) ...  
StrategiesAsUpdatableFoldAlgebras 09 May 2001 - 21:56 - NEW EelcoVisser
Strategies as Updatable Fold Algebras by RalfLaemmel and JoostVisser Available: .Extended abstract 1 .  
StrategiesInAutomatedDeduction 01 Jan 2002 - 23:03 - r1.2 EelcoVisser
Homepage: http://www.logic.at/strategies/ Series of workshops on strategies in automated deductions. The page contains links to systems providing strategies. Copenhagen ...  
StrategiesInProgramTransformationSystems 15 Mar 2001 - 09:13 - NEW EelcoVisser
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 03 Sep 2003 - 18:51 - NEW EelcoVisser
StrategoXT is the combination of the transformation language Stratego with the XT toolset for constructing transformation systems. Capabilities include: rewrite rules ...  
SuperCompilation 29 Sep 2002 - 18:34 - r1.5 MaD
(supervised compilation) A ProgramOptimization technique, due to ValentinTurchin and colleagues, a source-to-souce ProgramTransformation (rephrasings), more powerful ...  
SuperCompilers 16 Jun 2003 - 03:17 - r1.2 MaD
SuperCompilers, Llc Homepage: http://www.supercompilers.com/ ValentinTurchin Main.MaD 16 Jun 2003 CategoryCompany  
SwarmDagstuhl 31 Jan 2003 - 20:37 - r1.4 SwarmDagstuhl
Dagstuhl Seminar 3061 Software Architecture: Recovery and Modelling More information on this seminar: http://www.dagstuhl.de/03061/ http://www.bauhaus-stuttgart.de ...  
SwarmForum 25 Jan 2003 - 14:05 - r1.21 SwarmDagstuhl
Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 Software architecture recovery aims at presenting existing software ...  
SwarmForumCallForPapers 23 Dec 2001 - 20:56 - r1.3 ArieVanDeursen
Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 Software architecture recovery aims at presenting existing software ...  
SwarmForumCallForParticipation 23 Dec 2001 - 20:56 - r1.2 ArieVanDeursen
Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 SwarmForum Call for Participation Software architecture recovery ...  
SyntaxDefinition 09 Mar 2004 - 12:41 - r1.4 MartinBravenboer
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 ...  
SyntaxDefinitionForLanguagePrototyping 09 Feb 2004 - 13:05 - r1.5 MartinBravenboer
EelcoVisser, PhD thesis, University of Amsterdam, 1997. Abstract LanguagePrototyping is the activity of designing and testing definitions of new or existing computer ...  
SystemNews 21 May 2003 - 13:26 - NEW EelcoVisser
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 06 May 2001 - 23:28 - NEW EelcoVisser
TAMPR (Transformation Assisted Multiple Program Realisation System) is one of the earliest TransformationSystems around. Description TAMPR supports program transformation ...  
TCL 08 Jun 2001 - 21:35 - NEW TWikiGuest
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 ...  
TCSE 05 Jun 2002 - 07:03 - r1.2 MikeVanEmmerik
IEEE Technical Council on Software Engineering. See http://www.tcse.org/  
TEXINPUTS 09 May 2001 - 21:56 - NEW EelcoVisser
TEXINPUTS is the environment variable that contains a list of paths to directories containing tex or LaTeX input.  
TL 02 May 2002 - 18:10 - NEW CraigCleaveland
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 ...  
TOPLAS 09 Apr 2002 - 18:57 - NEW ArieVanDeursen
ACM Transactions on Programming Languages and Systems http://www.cs.wustl.edu/~toplas/ CategoryJournal  
TOSEM 09 Apr 2002 - 18:56 - NEW ArieVanDeursen
ACM Transactions on Software Engineering and Methodology (TOSEM) http://www.acm.org/tosem/ CategoryJournal  
TSE 09 Apr 2002 - 18:59 - NEW ArieVanDeursen
IEEE Transactions on Software Engineering http://computer.org/tse/ CategoryJournal  
TXL 20 Dec 2001 - 04:27 - r1.4 JamesCordy
TXL: Tree Transformation Language Homepage: http://www.txl.ca/ The TreeRewriting language TXL (developed by JamesCordy at Queen's University in Kingston, Canada) ...  
TXLSoftwareResearch 20 Dec 2001 - 02:30 - r1.2 JamesCordy
TXL Software Research Inc. is the company that distributes and supports TXL Homepage: http://www.thetxlcompany.com/thecompany.html  
TabalugaSystem 06 Jul 2005 - 18:57 - r1.2 KarlTrygveKalleberg
Homepage: http://staff.science.uva.nl/~kort/tabaluga/ Tabaluga is a system for programming transformations in HaskellLanguage. It is a paramorphic fold and algebra ...  
TactialStrategyGroup 03 Jun 2001 - 11:42 - NEW ArieVanDeursen
Tactical Strategy Group, Inc. is a management consulting firm specializing in organizational and information transformation strategies. See http://www.systemtransformation ...  
TailCallElimination 07 Dec 2001 - 06:02 - r1.2 MikeVanEmmerik
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 ...  
TailRecursionElimination 06 Dec 2001 - 22:53 - NEW EelcoVisser
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 ...  
TamperResistantSoftware 25 Sep 2004 - 00:32 - r1.3 MikeVanEmmerik
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 ...  
TarjaSysta 22 Nov 2001 - 19:31 - NEW ArieVanDeursen
Tarja Systa, http://www.cs.tut.fi/~tsysta/ CategoryPeople  
TarmoUustala 06 Dec 2001 - 13:08 - r1.2 EelcoVisser
Homepage: http://greta.cs.ioc.ee/~tarmo/ WarmFusion VarmoVene CategoryPeople  
TaxonomyOfMetaProgrammingSystems 02 Jan 2008 - 22:32 - r1.3 MaD
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 ...  
TaxonomyOfXMLSchemaLanguagesUsingFormalLanguageTheory 30 May 2002 - 20:30 - NEW MartinBravenboer
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 ...  
TcseCommitteeOnReverseAndReengineering 30 Jan 2006 - 22:09 - r1.7 MikeVanEmmerik
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 ...  
TeachingProgramTransformation 27 Aug 2002 - 20:01 - r1.5 TWikiGuest
Ingredients of a Course on Transformation What should a good course on transformation offer? Existing Courses about Transformation A list of courses with transformation ...  
TeachingSoftwareEvolution 25 Feb 2005 - 10:42 - r1.20 ReengineeringGuest
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 ...  
TemplateHaskell 08 May 2005 - 20:00 - r1.3 MartinBravenboer
Template Haskell Website Template Haskell at the Haskell Wiki Implementation Template Haskell is available in GHC 6.0 Publications Papers on Template-Haskell Template ...  
TempoSpecializer 05 Dec 2001 - 20:07 - NEW EelcoVisser
From http://compose.labri.u-bordeaux.fr/prototypes/tempo/ : evaluation is a transformation that automates a specialization process. Tempo is a partial evaluator for ...  
TerenceParr 30 Apr 2001 - 10:05 - NEW EelcoVisser
Terence John Parr is the designer and implementer of ANTLR, SORCERER and PCCTS. See http://www.antlr.org CategoryPeople  
TermRewriting 07 Nov 2001 - 10:12 - r1.2 ArieVanDeursen
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 ...  
TermRewritingImplementation 09 May 2001 - 21:56 - NEW EelcoVisser
Papers StaticAnalysisTechniquesForEquationalLogicProgramming  
TermRewritingSystems 25 Oct 2001 - 14:31 - NEW EelcoVisser
This page collects links to systems that implement TermRewriting and related paradigms. See also the general list of TransformationSystems. Feel free to add links ...  
TestCom 07 Jan 2002 - 08:54 - NEW ArieVanDeursen
The IFIP International Conference on Testing of Communicating Systems http://www.fokus.fhg.de/events/testcom2002 Conference: March Deadline: September CategoryConference ...  
TeyjusSystem 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
TheEssenceOfStrategicProgramming 17 Jun 2003 - 21:49 - r1.9 EelcoVisser
Laemmel, Visser and Visser. The Essence Of Strategic Programming . Draft paper (October 15, 2002) (pdf,ps) Abstract programming is generic programming with the use ...  
TheFourPlusOneViewModelOfArchitecture 10 Oct 2001 - 13:02 - r1.2 ArieVanDeursen
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 ...  
TheOnlineSurveyOfProgramTransformation 23 Dec 2001 - 20:56 - r1.9 ArieVanDeursen
ProgramTransformation techniques are used in a many areas of SoftwareEngineering ranging from ProgramSynthesis, via ProgramOptimization and ProgramRefactoring, to ...  
TheTAMPRProgramTransformationSystem 06 May 2001 - 23:37 - NEW EelcoVisser
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 ...  
TheTAMPRProgramTransformingSystem 09 May 2001 - 21:56 - NEW EelcoVisser
obsolete  
ThomFruewirth 26 Feb 2002 - 22:50 - NEW EelcoVisser
Homepage: http://www.pst.informatik.uni-muenchen.de/~fruehwir/ WorkshopOnRuleBasedProgramming CategoryPeople  
ThreadMode 14 Oct 2001 - 11:02 - NEW EelcoVisser
See Main.ThreadMode Main.EelcoVisser 14 Oct 2001  
TiagoAssumpcao 01 Nov 2004 - 22:37 - NEW TiagoAssumpcao
Name: Tiago Assumpcao Email: module@whatever.org.ar Homepage: http://whatever.org.ar/~module Country: Brazil Comment:  
TimSheard 14 Mar 2002 - 22:05 - NEW TWikiGuest
Homepage: http://www.cse.ogi.edu/~sheard/ MetaML CategoryPeople  
TipForTypingTab 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
TipsForBeginners 09 May 2001 - 21:56 - NEW EelcoVisser
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 21 Oct 2002 - 19:54 - NEW HolgerKienle
TkSeeSN is a C/C++ extractor with TA++ and GXL output. It is based on SourceNavigator. http://www.site.uottawa.ca:4333/dmm/  
TobiasKuipers 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.cwi.nl/~kuipers/ JJForester  
ToddProebsting 30 Apr 2001 - 13:53 - NEW EelcoVisser
Homepage: http://research.microsoft.com/~toddpro/ Designer of BURG and other things CategoryPeople  
TodoList 07 Mar 2002 - 08:13 - r1.11 ArieVanDeursen
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 20 Apr 2004 - 07:27 - NEW PierreEtienneMoreau
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 ...  
TomMens 08 Aug 2004 - 21:06 - r1.3 TomMens
-- 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 ...  
TonyHoare 11 Dec 2001 - 12:24 - NEW EelcoVisser
Homepages http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html http://research.microsoft.com/~thoare/ PlayingByTheRules CategoryPeople  
TransformationApplications 09 May 2001 - 21:56 - NEW EelcoVisser
Application Areas Compiling ProgramTranslation ProgramOptimization SoftwareEngineering ProgramRefinement SoftwareMaintenance ReverseEngineering HighPerformanceComputing ...  
TransformationBibliography 17 Apr 2001 - 13:51 - r1.3 ArieVanDeursen
Bibliographies TransformationReviews ResearchIndex on program transformation : http://citeseer.nj.nec.com/cs?q program+transformation cs 1 Bibliography on partial ...  
TransformationCompanies 04 Apr 2007 - 18:46 - r1.47 OegeDeMoor
Description Several companies provide products or services based on program analysis and transformation technology AbsInt AbsoftCompany AllenSystemsGroup (Viasoft ...  
TransformationConferences 26 Aug 2008 - 22:58 - r1.45 MartinBravenboer
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 ...  
TransformationFramework 09 May 2001 - 21:56 - NEW EelcoVisser
A TransformationFramework is a collection of standard components for creating ProgramTransformationSystems for some language. (Is A TransformationFramework the same ...  
TransformationGroups 13 Nov 2004 - 01:00 - r1.6 JoseLuizFiadeiro
Here are some research groups that work on program transformation, ordered by region. Netherlands Software Technology Group (Universiteit Utrecht), http://www.cs.uu ...  
TransformationImplementation 20 Oct 2001 - 13:14 - r1.3 EelcoVisser
Topics in the implementation of ProgramTransformation: ProgramRepresentation AbstractSyntax HigherOrderAbstractSyntax ProgramParsing LexicalAnalysis ContextFreeParsing ...  
TransformationJournals 30 Jan 2006 - 22:10 - r1.11 MikeVanEmmerik
Journals with an interest in ProgramTransformation ACM AppliedComputingReview ACM Transactions on Programming Languages and Systems ( ACM Transactions on Software ...  
TransformationMailingLists 09 May 2001 - 21:56 - NEW EelcoVisser
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: ...  
TransformationMechanics 15 Feb 2004 - 14:44 - r1.4 EelcoVisser
Jonne van Wijngaarden and Visser. Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation ...  
TransformationPapers 09 May 2001 - 21:56 - NEW EelcoVisser
This page provides a list of papers that are discussed at ProgramTransformationOrg. See the TransformationBibliography for other bibliographies in the area of ProgramTransformation ...  
TransformationParadigm 26 Mar 2001 - 08:05 - NEW EelcoVisser
A ProgramTransformation paradigm is an area of application of TransformationTechniques. Paradigms that are employed in compilers and other automatic language processors ...  
TransformationPeople 22 Nov 2005 - 19:03 - r1.63 KarlTrygveKalleberg
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 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
TransformationRules 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
TransformationStrategies 09 May 2001 - 21:56 - NEW EelcoVisser
Definition TransformationStrategies are programs that determine the order for application of TransformationRules. Tools The following ProgramTransformationTools support ...  
TransformationSystem 09 May 2001 - 21:56 - NEW EelcoVisser
TransformationSystem: see TransformationSystems.  
TransformationSystemTaxonomy 24 Jun 2005 - 16:23 - r1.6 PhilippKutter
There are many TransformationSystems available. This page contains an ordering of these systems by paradigm. TermRewriting Systems based on pure TermRewriting define ...  
TransformationSystems 03 Nov 2008 - 19:57 - r1.48 JamesCordy
A program transformation system is a (collection of) tool(s) for implementing ProgramTransformations. Survey of Transformation Systems There are many transformation ...  
TransformationTaxonomy 20 Jan 2002 - 10:41 - r1.3 EelcoVisser
An overview of various forms of ProgramTransformation. Translation ProgramMigration ProgramSynthesis ProgramRefinement ProgramCompilation ReverseEngineering DeCompilation ...  
TransformationToolTaxonomy 09 May 2001 - 21:56 - NEW EelcoVisser
Tree Traversal MemphisTreeWalker  
TreeRewriting 08 Jun 2002 - 21:04 - r1.4 EelcoVisser
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 ...  
TrfL 19 Apr 2004 - 21:21 - NEW MaratBoshernitsan
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 ...  
TupleAttributeLanguage 02 Mar 2002 - 13:52 - r1.3 ArieVanDeursen
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 ...  
TurnIssuesIntoTopics 22 Oct 2001 - 12:47 - r1.2 ArieVanDeursen
A page may contain many issues to avoid nested ThreadMode turn the issue into a TWiki.WikiWord and continue discussion there. CategoryWiki  
TypeBasedAnalysis 10 Jun 2001 - 17:00 - NEW EelcoVisser
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 ...  
UBerneReengineeringTutorial 21 Aug 2003 - 21:44 - NEW SergeDemeyer
The University of Berne (Stephane Ducasse and Oscar Nierstrasz) together with the University of Antwerp (Serge Demeyer) created a tutorial on object-oriented reengineering ...  
UCSDSoftwareEvolutionGroup 15 Mar 2001 - 15:36 - NEW ArieVanDeursen
University of California, San Diego SoftwareEvolution Group http://www-cse.ucsd.edu/users/wgg/swevolution.html Software is changed--maintained and evolved--more often ...  
UML 22 Apr 2005 - 19:23 - r1.7 AdrianBuehlmann
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 ...  
UNICODE 30 Oct 2003 - 09:34 - r1.2 MartinBravenboer
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 ...  
URL 05 Aug 2001 - 11:32 - NEW ArieVanDeursen
The uniform resource locator ...  
USE 10 Sep 2002 - 15:57 - NEW ArieVanDeursen
International Workshop on Unanticipated SoftwareEvolution Techniques and technologies that offer support for software evolution are still far from ideal. In particular ...  
USENIX 30 Aug 2001 - 22:53 - NEW TWikiGuest
USENIX is the Advanced Computing Systems Association. http://www.usenix.org/  
UVicReverseEngineeringTutorial 15 Mar 2002 - 14:41 - r1.4 ArieVanDeursen
Understanding Software Systems Using Reverse Engineering Technologies: Research and Practice HausiMueller , Department of Computer Science, University of Victoria ...  
UmlTools 07 Mar 2005 - 06:55 - r1.3 SukiChan
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 ...  
UnccDecompiler 16 Aug 2004 - 13:09 - NEW MikeVanEmmerik
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 ...  
UnderstandingProgramUnderstanding 23 Dec 2001 - 20:36 - NEW ArieVanDeursen
Web site collecting all sorts of resources on ProgramUnderstanding, set up by FrancoiseBalmas. http://www.ai.univ-paris8.fr/UPU/repository.html CategoryProgramUnderstanding ...  
UnitTesting 02 Sep 2002 - 22:29 - NEW MartinBravenboer
Introduction UnitTesting is one of the key practices of ExtremeProgramming. A unit test exercises an isolated unit of sourcecode instead of the complete sourcecode ...  
UnivacM460 23 Aug 2004 - 07:16 - r1.2 MikeVanEmmerik
250 Machine-Independent Computer Programming TABLE XIII MACHINE LANGUAGE INSTRUCTION REPERTOIRE OF THE UNIVAC M-46O COUNTESS COMPUTER FF Function FF Function 00 Illegal ...  
UpdatableFolds 09 May 2001 - 21:56 - NEW EelcoVisser
Description Updatable folds are a notion connected to FunctionalTransformationSystems. Explanation The bottom-up traversal scheme associated to a multi-sorted signature ...  
UpdateWebPages 03 Nov 2002 - 15:00 - NEW EelcoVisser
Edit this page to retire all pages in the cache for this web. Don't do this too often since it degrades performance.  
UrsulaMartin 01 Dec 2001 - 23:42 - r1.2 EelcoVisser
Homepage: http://www-theory.dcs.st-and.ac.uk/~um/ CategoryPeople  
UweAssman 06 Dec 2001 - 12:44 - r1.2 EelcoVisser
Homepage: http://i44s11.info.uni-karlsruhe.de/~assmann/ OPTIMIX CompostFramework Transform.CategoryPeople  
VBReFormer 21 Nov 2008 - 00:49 - r1.5 MikeVanEmmerik
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 ...  
VXPE 15 Aug 2004 - 11:52 - NEW MikeVanEmmerik
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 ...  
VaclavRajlich 09 May 2001 - 21:56 - NEW EelcoVisser
Vaclav Ralich, http://www.cs.wayne.edu/~vip/VaclavRajlich.html Topics: SoftwareMaintenance DocumentationGeneration CategoryPeople  
Vacppparse 21 Oct 2002 - 21:45 - NEW HolgerKienle
vacppparse is the C++ extractor of the RigiSystem. It is based on IBM VisualAge C++. (It runs under AIX only?)  
ValentinTurchin 06 Dec 2001 - 13:08 - r1.3 EelcoVisser
Russian philosopher-scientist, developer of REFAL language and SuperCompilation, a ProgramOptimization technique. See http://pespmc1.vub.ac.be/TURCHIN.html Main.MaD ...  
VariabilityManagement 24 Apr 2002 - 14:26 - r1.7 JoostVisser
SoftwareVariability? is an important source of complexity in software. Variability management is concerned controlling the versions and configurations of a software ...  
VarmoVene 06 Dec 2001 - 13:09 - r1.2 EelcoVisser
Homepage: http://www.cs.ut.ee/people/vene/ WarmFusionTransformation CategoryPeople  
VirtualMachine 17 Jun 2005 - 13:16 - r1.2 MikeVanEmmerik
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 ...  
VisAmb 09 May 2001 - 21:56 - NEW EelcoVisser
Obsolete.  
VisSoft 08 Dec 2001 - 12:24 - NEW ArieVanDeursen
VISSOFT: Visualising Software for Understanding and Analysis Deadline: February Conference: June Colocated with IWPC. URL: http://www.dur.ac.uk/vissoft.2002/ Topics ...  
VisitorCombinationAndTraversalControl 03 Dec 2001 - 10:31 - r1.3 JoostVisser
Visitor Combination and Traversal Control by Transform.JoostVisser This paper describes VisitorCombinators. These are implementations of the Visitor interface that ...  
VisitorCombinators 03 Dec 2001 - 10:28 - r1.4 JoostVisser
Visitor combinators are described in VisitorCombinationAndTraversalControl. Visitor combinators are supported by the visitor combinator framework JJTraveler, and the ...  
VisualBasicDecompilers 21 Nov 2008 - 00:42 - r1.18 MikeVanEmmerik
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 ...  
VisualLanguage 25 Oct 2001 - 20:04 - r1.2 ArieVanDeursen
A visual language is a ProgrammingLanguage that uses pictures to depict the instructions of a program and their relations. ControlFlowDiagram Visual languages can ...  
WASDeTT 14 Nov 2008 - 18:29 - NEW HolgerKienle
Homepage: http://wasdett.wikispaces.com/ International Workshop on Advanced Software Development Tools and Techniques (WASDeTT) CategoryConference TransformationConferences ...  
WCGP 27 Aug 2001 - 08:58 - NEW EelcoVisser
IFIPWG21 Working Conference on Generic Programming http://www.generic-programming.nl/wcgp/ Deadline: February Conference: July CategoryConference  
WCRE 28 Aug 2008 - 00:42 - r1.16 MikeVanEmmerik
Working Conference on ReverseEngineering Submission: May (varies slightly) Conference: October (varies slightly) Pointers Upcoming conference web site: http://swerl ...  
WESS 03 Jun 2002 - 13:12 - r1.2 ArieVanDeursen
Workshop on Empirical Studies in SoftwareMaintenance. Usually colocated with the InternationalConferenceonSoftwareMaintenance. Deadline: May 2002: http://www.info ...  
WGP 16 Mar 2001 - 21:51 - NEW EelcoVisser
Workshop on Generic Programming  
WICSA 04 Feb 2005 - 12:54 - r1.6 ReneKrikhaar
The Working IEEE / IFIP Conference on Software Architecture WICSA 2001 is the first joint IEEE / IFIP conference devoted to SoftwareArchitecture. Its purpose is to ...  
WRLA 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.ldl.jaist.ac.jp/WRLA2000/ Workshop on Rewriting Logic and its Applications  
WRS 09 May 2001 - 21:56 - NEW EelcoVisser
Homepage: http://www.logic.at/wrs01/ International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) Deadline: March Conference: May Background ...  
WSE 19 Aug 2004 - 10:20 - r1.6 CorneliaBoldyreff
International Workshop on Website Evolution WSE 2004 WSE 2003 WSE 2002 Proceedings Details CategoryConference CategorySoftwareEvolution  
WarmFusionDerivingBuildCatasFromRecursiveDefinitions 14 May 2001 - 21:57 - NEW EelcoVisser
JohnLaunchbury? and TimSheard. Warm Fusion: Deriving Build-Catas from Recursive Definitions. Conference Record 7th ACM SIGPLAN/SIGARCH Int.Conf. on Functional Programming ...  
WcreBackGround 02 Dec 2004 - 06:28 - r1.5 MikeVanEmmerik
Background If you are involved in extracting information, artifacts, architectural components (or anything else of value) from existing systems then you should be ...  
WcreCallForWorkshops 02 Dec 2004 - 06:40 - r1.6 MikeVanEmmerik
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 ...  
WcreSubmissions 02 Dec 2004 - 06:53 - r1.8 MikeVanEmmerik
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 ...  
WcreTopics 23 Mar 2002 - 12:16 - r1.3 ArieVanDeursen
Topics Topics discussed at WCRE include but are not limited to: SoftwareMaintenance and SoftwareEvolution DeCompilation and BinaryTranslation ProgramComprehension ...  
WcreWorkshops 01 May 2002 - 07:53 - r1.4 ArieVanDeursen
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 ...  
WebChanges 07 Jan 2005 - 14:46 - r1.5 EelcoVisser
SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...  
WebChanges100 06 Dec 2001 - 13:26 - NEW EelcoVisser
SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "100" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...  
WebChanges200 06 Dec 2001 - 13:25 - NEW EelcoVisser
SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "200" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...  
WebChanges500 06 Dec 2001 - 13:23 - NEW EelcoVisser
SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "500" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...  
WebContents 12 Feb 2010 - 08:38 - NEW EelcoVisser
 
WebCustomMenus 28 Apr 2005 - 22:25 - NEW Main.wiki
 
WebETS 10 Oct 2002 - 16:57 - NEW HolgerKienle
WebETS is an extractor benchmarks for Web sites (see ExtractorBenchmarks). It has similar structure and objectives to CppETS. Call for Participation The development ...  
WebHome 11 Dec 2007 - 00:10 - r1.57 MikeVanEmmerik
INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ...  
WebIndex 02 Dec 2001 - 21:20 - r1.2 EelcoVisser
SEARCH{"\. " scope "topic" regex "on" nosearch "on" format " $topic " noheader "on"}  
WebLeftBar 30 Jan 2006 - 14:43 - r1.7 EelcoVisser
Home Surveys Transformation Reengineering DSL Domain Engineering Decompilation Generative Progr. Collections Categories Systems Conferences People Companies Papers ...  
WebNews 20 May 2009 - 07:26 - r1.29 EelcoVisser
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 24 May 2005 - 00:23 - r1.16 JohnGrant
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 ...  
WebPreferences 30 Jan 2006 - 14:34 - r1.16 EelcoVisser
The following settings are web preferences of the TWiki.Transform web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can ...  
WebRss 09 May 2005 - 14:12 - r1.2 MartinBravenboer
Program Transformation Wiki http://www.program-transformation.org Program Transformation Wiki INCLUDE{"Main.RssBase"}  
WebSearch 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
WebStatistics 13 Feb 2008 - 08:31 - r1.1610 TWikiGuest
Statistics for TWiki.Transform Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb ...  
WebStatistics2001 02 Mar 2005 - 05:53 - NEW MikeVanEmmerik
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 ...  
WebStatistics2002 02 Mar 2005 - 05:56 - NEW MikeVanEmmerik
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 ...  
WebTools 30 Nov 2004 - 12:06 - r1.4 MartinBravenboer
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 ...  
WhatIsADomain 24 Apr 2002 - 14:21 - r1.5 JoostVisser
From the DSLAnnotatedBibliography: Our definition of DomainSpecificLanguages inherits the vagueness of one of its defining terms: problem domain . Rather than attempting ...  
WhyDecompilation 29 Apr 2005 - 23:50 - r1.17 MikeVanEmmerik
Why decompilation? Why not just disassemble? Consider the Java world, where there are simple disassemblers and sophisticated decompilers that often work well and ...  
WikiContributors 23 Dec 2001 - 20:56 - r1.2 ArieVanDeursen
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 ...  
WikiRenovation 14 Oct 2001 - 12:14 - r1.3 ArieVanDeursen
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 ...  
WikiTools 30 Nov 2004 - 12:06 - r1.5 MartinBravenboer
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 ...  
WikiWebs 21 Mar 2001 - 08:46 - NEW EelcoVisser
MAINWEB : Portal of Program-Transformation.Org Transform: Surveys of program transformation Stratego: A language for program transformation Tools: Program transformation ...  
WikiWikiSandbox 31 Oct 2005 - 12:17 - r1.6 ReengineeringGuest
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 ...  
WikiWikiWeb 31 Oct 2001 - 22:37 - r1.3 EelcoVisser
See OneMinuteWiki, and the Main.WikiWikiWeb page in the main web.  
Win32PE 15 Aug 2004 - 13:29 - r1.2 MikeVanEmmerik
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 ...  
Win32ProgramDisassembler 24 Oct 2004 - 03:50 - NEW MikeVanEmmerik
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 ...  
WolframKahl 19 Apr 2004 - 21:33 - r1.3 MaratBoshernitsan
Homepage: http://www.cas.mcmaster.ca/~kahl/ HOPS CategoryPeople  
WordsSmashedTogetherLikeSo 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
WorkshopOnRuleBasedConstraintReasoningAndProgramming 21 Nov 2001 - 09:37 - r1.2 EelcoVisser
Description (from call for papers) Rule-based formalisms are ubiquitous in computer science, and even more so in constraint reasoning and programming. In constraint ...  
WorkshopOnRuleBasedProgramming 15 Nov 2005 - 16:02 - r1.25 EelcoVisser
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 ...  
XACT 16 Aug 2004 - 13:04 - NEW MikeVanEmmerik
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 ...  
XAspects 08 May 2005 - 20:34 - NEW MartinBravenboer
Publications An extensible system for domain-specific aspect languages Macneil Shonle, Karl Lieberherr, Ankit Shah Companion of the 18th annual ACM SIGPLAN conference ...  
XDR 29 Aug 2001 - 21:54 - NEW TWikiGuest
The External Data Representation Standard is available as RFC 1832: http://www.freesoft.org/CIE/RFC/1832/  
XDuce 29 May 2002 - 22:32 - r1.2 MartinBravenboer
Homepage: http://xduce.sourceforge.net/ A typed language for processing XML documents. XDuce uses regular expression types ( SchemaLanguageForXML ) to describe the ...  
XML 27 Jun 2004 - 19:47 - r1.14 MartinBravenboer
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 ...  
XMLPullParsing 29 May 2002 - 22:20 - NEW MartinBravenboer
Java: http://www.xmlpull.org/ JSR 173: http://www.jcp.org/jsr/detail/173.jsp Microsoft's XmlReader Main.MartinBravenboer 30 May 2002  
XMLQueryAlgebra 17 May 2001 - 10:39 - r1.2 RubenBoer?
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 ...  
XMLSchema 29 May 2002 - 22:51 - NEW MartinBravenboer
Standard : http://www.w3.org/XML/Schema XMLSchema is the new SchemaLanguageForXML standard of the W3C. It should replace DocumentTypeDefinition. Main.MartinBravenboer ...  
XP 09 May 2001 - 21:56 - NEW EelcoVisser
Abbreviation for ExtremeProgramming.  
XRefactory 03 May 2001 - 12:07 - NEW EelcoVisser
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  
XSL 31 Oct 2001 - 15:26 - NEW TWikiGuest
ExtensibleStylesheetLanguage  
XTRAN 09 Jun 2014 - 15:53 - r1.2 MaD
Quoting from http://www.xtran-llc.com/xtran.html : XTRAN is a proprietary expert system for symbolic manipulation of computer languages, including: Assemblers Third ...  
XrayArchitectureRecovery 24 Sep 2002 - 12:04 - r1.2 ArieVanDeursen
The design and evaluation of appropriate SoftwareArchitectures is key to the effective development, management, evolution, and reuse of software systems. However, ...  
Y2K 09 May 2001 - 21:56 - NEW EelcoVisser
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 ...  
YannisSmaragdakis 06 Dec 2001 - 13:07 - r1.2 EelcoVisser
Homepage: http://www.cs.utexas.edu/users/smaragd/ DiSTiL CategoryPeople  
Yaxx 16 Mar 2004 - 21:20 - NEW YijunYu
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 ...  
YetAnotherCompilerCompiler 09 Mar 2004 - 10:12 - r1.3 MartinBravenboer
YACC is a grammar formalism and parser generator. The class of context-free grammars accepted by YACC is LALR(1) with disambiguating rules.  
ZinoBenaissa 11 Dec 2001 - 11:57 - NEW EelcoVisser
Homepage: http://www.cse.ogi.edu/~benaissa/ MetaML Stratego.StrategoLanguage CategoryPeople  
aTermPatternMatchCompilerInspiredByFiniteAutomataTheory 09 May 2001 - 21:26 - r1.2 EelcoVisser
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

Revision: r1.1 - 09 May 2001 - 21:56 - EelcoVisser
Transform > WebIndex
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback