Web Index

Telephone switch from Lucent. For a while the biggest software system in the world (10M loc?). Used in many research experiments by Lucent dealing with, e.g., DomainSpecificLanguages ...

Association for Computing Machinery http://www.acm.org/ The ACM Computing Classification System 1998 Version : http://info.acm.org/class/1998/

Homepage: http://www-ia.hiof.no/~rolando/adate intro.html Automatic Design of Algorithms Through Evolution (ADATE) is a system for automatic programming i.e., inductive ...

See AlgebraicMethodologyAndSoftwareTechnology Conference: Submission in January Conference in May Proceedings in LNCS http://www.cs.uiowa.edu/amast2000/ http://www ...

The generator development platform ANGIE provides a script language, a compiler for this language and a runtime system. The freeware version of ANGIE is named "ANGIE ...

ANT is a Java based tool for `making' software. It is described as ``make without makes' wrinkles''. Although it is meant for more languages than just Java, its main ...

ANTLR: ANother Tool for Language Recognition Features ANTLR is a parser generator. Generates Java, C#, or C++ code. Accepts the class of LL(k) grammars Produces recursive ...

AOOP is short for: AdaptiveObjectOrientedProgramming

java Source 1 C++ Source 2

API is the acronym of ApplicationProgrammersInterface

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

A Refactoring Tool for Smalltalk by DonRoberts, JohnBrant, and RalphJohnson Available online: http://st-www.cs.uiuc.edu/~droberts/tapos/TAPOS.htm This article introduces ...

Homepage: http://ase.informatik.uni-essen.de Conference on Automated Software Engineering Deadline: June Conference: November Description (from the call for papers ...

Transform.ASF is the abbreviation of the Algebraic Specification Formalism developed at Transform.CWI and the University of Amsterdam. The formalism is used in combination ...

ASF+SDF is rewriting language with user-defined term syntax and support for tree traversals. It is used for SoftwareRenovation and rapid prototyping of DomainSpecificLanguages ...

A tool suite to support the development of specifications written in the ASFandSDF formalism. It includes parser and parser generator a structure editor an interpreter ...

Homepage: http://www.reengineer.org/wcre2001/ast/ Analysis, Slicing, and Transformation Deadline: May Conference: October

ASTLOG is A language for examining abstract syntax trees. Homepage: http://www.research.microsoft.com/~rfc/astlog/

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

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

ATX Software Integration Architecture (ASIA) is a system for legacy interoperation. It can be used to wrap legacy code (the Source Layer) behind a compatibility layer ...

ATX Software SA offers an integrated set of architectural and re-engineering technologies that includes the ATXSoftwareIntegrationArchitecture ASIA , LegacyCare L ...

See also EfficientAnnotatedTerms.

A Typed Pattern Calculus by Val Breazu-Tannen, Delia Kesner and LaurencePuel Published in Information and Computation, 124(1):32-61, January 1996. Proceedings of ...

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

Homepage: http://www.absint.com which has tools for post-pass optimizations, e.g. code compression. http://www.absint.com/aisee/logos/absint40.gif CategoryCompany ...

Homepage: http://www.absoft.com/ Produces high performance Fortran toolsets.

Abstract Syntax Description Language appears to be part of the Zephyr project at the University of Virginia (and other places). From their page: ASDL is designed to ...

Acacia, the C++ Information Abstraction System, is a collection of analysis and ReverseEngineering tools for CPP developed by AT T . CCia creates a program database ...

Homepage: http://www.brics.dk/Projects/AS/ PeterMosses

Description Object­oriented programs are easier to extend than programs which are not written in an object­oriented style, but object­oriented programs are still ...

Adaptive Pattern Matching by R. C. Sekar, R. Ramesh and I. V. Ramakrishnan in SIAM Journal on Computing Volume 24, Number 6 pp. 1207-1234 http://epubs.siam.org/sam ...

A sub-site of ProgramTransformationOrg gives a view of the pages in the XTWikiWiki high-lighting a specific subject. Such subsites have their own URL such that they ...

Homepage: http://www.iasi.rm.cnr.it/~adp/ MAPTransformationSystem CategoryPeople

Homepage: http://www.cs.berkeley.edu/~aiken/ AlexAiken is the designer of BANE. CategoryPeople

Homepage: http://www.di.univaq.it/alfonso MontagesFramework CategoryPeople

Homepage: http://www.loria.fr/conferences/amast2002 International Conference on Algebraic Methodology And Software Technology Goals The major goal of the AMAST Conferences ...

ASG. http://www.asg.com Acquired Viasoft, offering the Existing Systems Workbench for analysis and ReEngineering of COBOL systems. CategoryCompany

An attempt to automate software reuse at NASA, particularly for domain specialists who are unfamiliar with available software libraries. They implemented a system ...

T. B. Dinesh, MagneHaveraaen, and JanHeering, An algebraic programming style for numerical software and its optimization, Scientific Programming , 8(4), 2000. 247 ...

Web sites (all in Japanese): http://jdi.at.infoseek.co.jp/ "Anatomizer entrance" with legal matter http://jdi.at.infoseek.co.jp/japanese/index.plg Main page http: ...

TOC Hello release From Boomerang's test/windows/hello release.exe (I had to force the entry point): Original source code: LRESULT CALLBACK WndProc(HWND hWnd, UINT ...

Homepage: http://www.andres-loeh.de Also: http://www.cs.uu.nl/staff/andres.html Andres is a PhD student in the SoftwareTechnologyGroup at UtrechtUniversity.

http://www.cs.princeton.edu/~appel/

Homepage: http://www.andrewcooke.free-online.co.uk/andrew/index.html Author of PancitoLibrary (among other things). CategoryPeople

Homepage: http://www.cl.cam.ac.uk/~amp12/ FreshML CategoryPeople

Homepage: http://www.cs.pdx.edu/~apt/ Stratego.BuildingProgramOptimizersWithRewritingStrategies by the Rules CategoryPeople

I work at the Center for Advanced Computer Studies at the University of Louisiana at Lafayette. My home page is housed at http://www.cacs.louisiana.edu/~walenste I ...

http://shulgaaa.at.tut.by The Andromeda Decompiler is still in development. At present, it will only run on Windows, and only decompile Windows-based programs to C ...

ATerm (short for Annotated Term) is an abstract data type designed for the exchange of tree-like data structures between distributed applications. See Tools.ATerm ...

Annotations Official Documentation Java Guide: Annotations Online Articles JavaWorld: Taming Tiger, Part 3: Decorate your code with Java annotations IBM DeveloperWorks ...

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

ACM Applied Computing Review http://www.acm.org/sigapp/acr/ CategoryJournal

ArchitectureExtraction is an attempt to recover SoftwareArchitecture from, for example, the source of a LegacySystem. ArchitectureExtraction typically starts with ...

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

Homepage: http://www.students.cs.uu.nl/people/arbruijn/ Arne de Bruijn is a student at Universiteit Utrecht and works on InliningStrategies in general and the interaction ...

See Main.ArthurVanDam Main.ArthurVanDam 17 Sep 2003

Homepage: http://foothill.lcs.mit.edu/~arvind/ Hardware synthesis via term rewriting Transform.CategoryPeople

http://www.cs.rhul.ac.uk/research/languages/projects/reverse compilation.shtml The above page describes an Analog Devices ADSP-21xx assembly language to ANSI-C translator ...

Extensible Compiler for AspectJ Website: http://abc.comlab.ox.ac.uk Application of Framework and Framework Main.MartinBravenboer 08 May 2005

AspectJ is a language for oriented programming with Java. There are at least two implementations of the language: ajc (fully integrated with Eclipse), and abc (an ...

Description Functional decomposition is good for flexibility, maintainance and modularity of programs. However, it is not necessarily good for other aspects of programming ...

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

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

Attribute grammars were introduced by DonaldKnuth in 1968 for the definition of the semantics of (programming) languages. An attribute grammar is a specification that ...

Automated Software Engineering http://www.kluweronline.com/issn/0928-8910 CategoryJournal

Every few months, I get an email asking where to find an automatic decompiler that will take a binary as input and produce good quality C or C++ code for maintaining ...

Automatic Retargeting http://www.cs.arizona.edu/~collberg/Research/AutomaticRetargeting/index.html Main.MaD 24 Jul 2002 Often includes BinaryTranslation techniques ...

BAKE is a replacement for MAKE. Its aim is to solve recursion in make and do more compiles in parallel. Development ceased in 1999. http://bake.werken.com/

Homepage: http://www.cs.berkeley.edu/Research/Aiken/bane.html The Berkeley ANalysis Engine (BANE) is a toolkit for constructing program analyses such as dataflow ...

BAU is a MAKE like tool, written in Scheme. According to the webpage it can do everything MAKE does, with a few features from Tools.AutoMake. Development seems to ...

Belgisch-Nederlandse Evolution Workshop Editions BenevolTwoThousandThree BenevolTwoThousandFour BenevolTwoThousandFive Benevol 2006 Main.TomMens 20 Feb 2007 Main ...

Homepage: http://www.daimi.aau.dk/~beta/ BETA is an ObjectOrientedProgrammingLanguage. It is the succesor of Simula67. CategoryLanguage

Build is an application aimed at making C/C++ development on Linux simpler. It scans code and creates a Makefile. It is only available for Linux. http://www.SiliconTao ...

BURG is a system for CodeGeneration from IntermediateRepresentation expression trees developed by ChristopherFraser, ToddProebsting and others in the early 90's. Papers ...

Annual German Workshop on ReEngineering in Bad Honnef. Held in May. See http://www.uni-koblenz.de/ist/WSR2001/ CategoryConference CategoryReengineeringPages

Homepage: http://www.cwi.nl/~luttik/ Stratego.SpecificationOfRewritingStrategies CategoryPeople

The idea is to position the basic blocks of a procedure in such a way that most executions of the code will fall through branches (forward branches are typically predicted ...

Software architecture, Software ReEngineering, and ProgramUnderstanding Research project at the University of Stuttgart, see http://www.informatik.uni-stuttgart.de ...

Homepage: http://www.bayfronttechnologies.com Provides CAPE tools for engineering communication protocols and other cooperating processes. (Provides documentation ...

http://www.bdasm.com/bdasm features.html BDASM by Manuel Jiménez. This is a relatively new disassembler (as of 2003). At present it supports Intel and Power Pc cpu ...

Location: CWI, Amsterdam Date: Thu 19 Fri 20 June, 2003 Sponsors: Partially financed by Wetenschappelijke Onderzoeksgemeenschap "Fundamenten van software-evolutie ...

BENELove 2005 This page is deprecated. We decided to stick to the BENEvol name, instead of using BENELove. Please refer to the BenevolTwoThousandFive page. Main.TomTourwe ...

3rd BElgium Netherlands Workshop on software EVOLution Location: TU/e, Eindhoven (how to get there: maps and route) You need to go to the Auditorium building, and ...

BENEVOL 2004 2nd BElgium Netherlands Workshop on software EVOLution Location: UA, Antwerpen Date: July 8-9, 2004 Sponsors: Lunch and dinner are sponsored by the two ...

BENEVOL 2003 Location: CWI, Amsterdam Date: Thu 19 Fri 20 June, 2003 Sponsors: Partially financed by Wetenschappelijke Onderzoeksgemeenschap "Fundamenten van software ...

Homepage: http://www.cs.sun.ac.za/~bfischer/ WorkshopOnRuleBasedProgramming CategoryPeople

BibTeX is a DataFormat for bibliographical information that is used in conjunction with LaTeX. The Stratego.BibtexTools package provides a syntax definition for BibTeX ...

Homepage : http://www.biglever.com/ CategoryCompany

Bigwig combines several ideas: Domain specific language for web services Syntax macros Publications Growing Languages with Metamorphic Syntax Macros Related projects ...

http://www.ni.bekkoame.ne.jp/bilyzkid/us/ (was http://www.bilyzkid.com) Bilyzkid Co has a disassembler and decompiler for Windows (Intel). It claims to support 8086 ...

Binary Optimisers are sometimes called "Post Link optimisers". These products can be viewed as "X to X binary translators". Another name is Binary Rewriting systems ...

Binary Translation What is binary translation Binary tanslation is the process of automatically translating binary object code from one machine Mi to another. The ...

Links to pages containing mainly links to pages related to BinaryTranslation. http://www.codeonthefly.com/products.html Run time code generation: http://members.fortunecity ...

Transmeta's first processor the Crusoe (see their white paper) implements the pentium architecture on a VLIW processor. They have a few hardware assists, and the ...

Commercial products related to Translation Dynamite from Transitive Technologies is a binary translation product with various front ends, back ends, and a "Dynamite ...

While concentrating on research, this is also a miscellaneous page. The novel Low Level Virtual Machine (LLVM) http://llvm.cs.uiuc.edu/ is a product of the Lifelong ...

The Workshop on Binary Translation (WBT) is usually held in conjunction with the International Conference on Parallel Architectures and Compilation Techniques (PACT ...

The Bird-Meertens Formalism (also called Squiggol) is a calculus for deriving programs from specifications (in a functional program setting) devised by RichardBird ...

This page was rescued from Google's cache of http://orion.planet.de/~jan/Snippets.9707/ g0311.html . G.3.17 decompil.txt Date last modified: 05-Jul-1997 Question: ...

This page is my refutation of a Frequently Asked Question answer on decompilation. The original page is difficult to find now in its complete form, so I have archived ...

http://www.caesum.com/download.php Borg is a freeware disassembler for Windows 32-bit binaries (PE executables and DLLs), written to overcome some of the limitations ...

Branch Coverage For Arbitrary Languages Made Easy: Transformation Systems To The Rescue! by IraBaxter of SemanticDesigns, Inc. http://www.semdesigns.com Abstract ...

HomePage: http://www.mcs.drexel.edu/~bmitchel Research Web Page: http://serg.mcs.drexel.edu email: bmitchel@mcs.drexel.edu Research Interests: ReverseEngineering ...

Homepage: http://www.cs.utexas.edu/users/less/broadway.html

Bernd Bruegge and Allen H. Dutoit Object-Oriented Software Engineering: Conquering complex and changing systems Prentice-Hall, 2000. A textbook on software engineering ...

Description Buildfiles are used in combination with AutoBuild and define how to build particular software packages. See Also AutoBuild

Building Documentation Generators ArieVanDeursen, TobiasKuipers. In Proceedings International Conference on Software Maintenance ( ICSM 99). IEEE Computer Society ...

Building Program Understanding Tools Using Visitor Combinators by Transform.ArieVanDeursen and Transform.JoostVisser This paper describes how Transform.VisitorCombinators ...

"Bytecodes" is a name given to the instructions of a VirtualMachine, so called because the opcodes are 8 bits (one byte) in length, and instructions vary from one ...

Homepage: http://caml.inria.fr/consortium/ CAML is a dialect of the FunctionalProgrammingLanguage ML.

CC Compiler Construction, a series of conferences. The 2001 version is to be held as part of ETAPS'01 CategoryConference

IEEE-CS/ACM Computing Curricula: Software Engineering. Part of the IEEE/ACM Computer Curriculum activity, aimed at developing the software engineering volume. Computer ...

History of PC based C-compilers Originally, there were Lattice C (the big gun), Wizard, Datalight, Ecosoft, DeSmet, Mix, Whitesmiths, BDS C, Manx Aztec C, and another ...

CDIF is an acronym that stands for CaseDataExchangeFormat.

CIAO is a customizable and extensible navigator developed by AT T . It allows users to query, analyze, visualize, and track structures of various software and document ...

CIP HelmutPartsch

ckit is a C front end written in SML that translates CProgrammingLanguage source code (after preprocessing) into abstract syntax represented as a set of SML datatypes ...

COBOL stands for Common Business Oriented Language and is considered by many as a legacy language. It was designed by the CODASYL committee in 1957 and is the second ...

COMPSAC is the major international forum for researchers, practitioners, managers, and policy makers interested in computer software and applications. It was first ...

CONS is a replacement for make, written in Perl. It is not compatible with make. http://www.dsmit.com/cons/

http://www.canb.auug.org.au/~millerp/cook/cook.html Cook is a replacement for make.

C++ is an object-oriented extension of CProgrammingLanguage. Transformation of C++ programs is supported by AcaCia / CIAO OpenCpp Stratego.CodeBoost DMSSoftwareReengineeringToolkit ...

See http://www.frontendart.com and http://www.frontendart.com/cppml/cppml-2.0.dtd for details. Main.RudolfFerenc 20 Feb 2003

About the language The C Programming Language, Second Edition Brian Kernighan Dennis M. Ritchie Compilers http://gcc.gnu.org/ Tools for transformation of C programs ...

Conference on Software Engineering Education and Training 2002: http://www.site.uottawa.ca/cseet2002 Submission deadline: September Conference: February CategoryConference ...

Homepage: http://www.lsv.ens-cachan.fr/csl01/ Annual Conference of the European Association for Computer Science Logic Deadline: March Conference: September

European Conference on SoftwareMaintenance and ReEngineering Conference: 2005: http://www.rcost.unisannio.it/csmr2005/ 2004: http://www.cs.tut.fi/~csmr2004 2003: http ...

CUP (Constructor of Useful Parsers) is a LALR parser generator for Java. Website: http://www.cs.princeton.edu/~appel/modern/java/CUP/

Description CVS, the Concurrent Versions System, is a collection of tools for software version control. Links http://www.gnu.org/software/cvs/cvs.html

CWI (Centrum voor Wiskunde en Informatica) is the Dutch national research center for mathematics and computer science. See http://www.cwi.nl/ http://www.cwi.nl/img ...

The CASE Data Exchange Format (CDIF), which seems to be no longer maintained, was defined to allow data exchange between different CASE tools and repositories. However ...

http://www.castsoftware.com/ CAST is a software company committed to simplifying the complexity of software engineering through Application Mining solutions. CategoryCompany ...

Catamorphism: a generalization of the fold function in FunctionalProgramming. A function on finite data structures having a tree-like data type is a catamorphism if ...

The category of pages related to ProgramAnalysis. SEARCH{search "CategoryAnalysis" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ...

Pages dealing with SoftwareArchitecture the title gives them all. SEARCH{search "CategoryArchitecture" nosummary "on" scope "text" noheader "on" nosearch "on" format ...

CategoryBinaryTranslation: pages devoted to BinaryTranslation. SEARCH{search "CategoryBinaryTranslation" nosummary "on" scope "text" header "" nosearch "on" web "Transform ...

The category of books discussed at this wiki Click on the title to see them all. SEARCH{search "CategoryBook" nosummary "on" scope "text" noheader "on" nosearch "on ...

The category of all categories. Categories are a way to organize Wiki pages: see Wiki:CategoryCategory SEARCH{search "Category" nosummary "on" scope "topic" header ...

The category of all collections. Click on the title to see them all. SEARCH{search "CategoryCollection" nosummary "on" scope "text" noheader "on" nosearch "on" nototal ...

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

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

Category of pages related to DomainSpecificLanguages. SEARCH{search "CategoryDSL" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic ...

The Category of data formats. Click on the title. CategoryCategory

CategoryDecompilation: pages devoted to DeCompilation. SEARCH{search "CategoryDecompilation" nosummary "on" scope "text" header "" nosearch "on" web "Transform" format ...

Pages devoted to DomainEngineering. SEARCH{search "CategoryDomainEngineering" nosummary "on" scope "text" noheader "on" nosearch "on"} CategoryCategory

All EntryPoints into ProgramTransformationOrg. SEARCH{search "CategoryEntryPoint" nosummary "on" scope "text" header "" nosearch "on" nototal "on" format " $web / ...

All pages belonging to the GenerativeProgrammingWiki: SEARCH{search "CategoryGenerativeProgrammingWiki" nosummary "on" scope "text" noheader "on" nosearch "on"} See ...

Click on the title to find all research groups. (Ehhh, all pages containing the word CategoryGroup) CategoryCategory

The category of TransformationJournals. Click on the title to see them SEARCH{search "CategoryJournal" nosummary "on" scope "text" noheader "on" nosearch "on" nototal ...

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

The category of ProgramOptimizations. SEARCH{search "CategoryOptimization" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ...

The category of pages about a paper. SEARCH{"CategoryPaper" header "" format " $topic" nototal "on" nosearch "on" web "Transform Stratego Tools"} See also CategoryBook ...

The category of computing paradigms. Click on the title to get them all. CategoryCategory

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

CategoryProgramUnderstanding: pages devoted to ProgramUnderstanding. SEARCH{search "CategoryProgramUnderstanding" nosummary "on" scope "text" noheader "on" nosearch ...

Category of pages describing transformation research projects. LegToNet, Marie-Curie TOK-IAP 003169 CategoryCategory

CategoryReengineeringPages: pages dealing with ReEngineering topics. SEARCH{search "CategoryReengineeringPages" nosummary "on" scope "text" noheader "on" nosearch ...

CategoryReengineeringWiki: Category of main topics (categories) in the ReengineeringWiki. SEARCH{search "CategoryReengineeringWiki" nosummary "on" scope "text" noheader ...

CategoryReverseEngineering: pages devoted to ReverseEngineering. SEARCH{search "CategoryReverseEngineering" nosummary "on" scope "text" noheader "on" nosearch "on ...

This is the category of paper reviews. SEARCH{"CategoryReview" format " $topic " nosearch "on"} CategoryCategory TransformationReviews

CategoryRigi: all pages containing the word "CategoryRigi" are devoted to the RigiSystem. SEARCH{search "CategoryRigi" nosummary "on" scope "text" noheader "on" nosearch ...

CategorySoftwareEvolution: Pages devoted to SoftwareEvolution SEARCH{search "CategorySoftwareEvolution" nosummary "on" scope "text" noheader "on" nosearch "on" format ...

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

The category of TransformationSystems. SEARCH{"CategorySystem" format " $topic " nosearch "on" noheader "on"} CategoryCategory

The category of taxonomies SEARCH{search "CategoryTaxonomy" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic " } CategoryCategory ...

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

Category Theory is the mathematical theory of structure-respecting transformations. A category consists of arrows (or morphisms ) between objects . For example, we ...

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

The Category of TransformationParadigms. (Click on the title to see them all.) CategoryCategory

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

CategoryWcre: Pages on WCRE SEARCH{search "CategoryWcre" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory

Category of pages devoted to discussions of wiki style and techniques. SEARCH{search "CategoryWiki" nosummary "on" scope "text" header "" nosearch "on" format " $topic ...

http://www.iu.hioslo.no/cfengine/ cfengine is short for `configuration engine'. Although its primary goal is to `administrate and configure large computer networks ...

Homepage: http://brahms.fmi.uni-passau.de/cl/staff/lengauer/ CategoryPeople

Chris' information page is maintained at: Main.ChrisRussell

Chris Verhoef mr X X http://www.cs.vu.nl/~x/ SoftwareArchitecture, in particular archictural modification.

Homepage: http://research.microsoft.com/~cwfraser/ Christopher Fraser is one of the designers of BURG and many other things. CategoryPeople

Homepage: http://cs.hofstra.edu/~cscccl/ Construction in Higher Order Logic Programming Order Compilation Project CategoryPeople

The Australian company Mayon Software Research sells a visual Java decompiler called ClassCracker. ClassCracker contains 3 applications in one: a disassembler, a class ...

Homepage: http://www.loria.fr/~ckirchne/ ELAN RewritingCalculus CategoryPeople

This Claudio's own research home page. Soon I will upload my papers to this page! Claudio Riva test whether this works!

Homepage: http://www.cs.kun.nl/~clean/ Clean is a functional programming language. mailinglist: http://www.cs.kun.nl/mailman/listinfo/clean-list

Finding groups in data by computing distances or similarities between elements. In ReverseEngineering, typically used for remodularization, ObjectIdentification, and ...

CoSy is a compiler manufacturing Framework

Description Cocktail is a set of program generators or compiler construction tools for nearly all phases of a compiler. The compiler construction tools support the ...

CodeBeamer from IntlandCompany is a web-based source code comprehension product that enables enterprises or geographically dispersed groups of developers to analyze ...

http://codebreakers-journal.com/ "Journal for Algorithms, Virus-Research, Software-Protection and Reverse Code Engineering". Seems to be peer reviewed, published 3 ...

CodeBuildingEnvironment is a cvs like tool, which also stores some configuration stuff. The developers claim that it has got MAKE like features. It is written in Java ...

CodeCompaction is a class of ProgramOptimizations that reduce the size of a program. This is especially important for embedded software that is used on devices with ...

Code Complete by Steve McConnell. Microsoft Press, 1993. A practical handbook of software construction . 800 pages every developer should study. CategoryBook

A CodeCoverage tool discovers sections of code that are not being executed. CodeCoverage tools are used to examine how well the source-code of a project is being exercised ...

CodeCrawler is a language independent ReverseEngineering tool for systems written in ObjectOrientedProgrammingLanguages which combines metrics and SoftwareVisualization ...

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

A code generator is a compiler component that translates intermediate representation expression trees to lists of machine instructions. See CodeGeneration. Main.EelcoVisser ...

Annotated Bibliography on Code Reading and ProgramComprehension Deimel and Naveda (1990) Reading Computer Programs: Instructor's Guide and Exercises. CMU/SEI-90-EM ...

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

Cognitive models of program comprehension model the mental processes involved in program understanding. In most cognitive models, hypotheses are key drivers of the ...

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

See FrontEndART for details. Main.RudolfFerenc 07 Jan 2003

Columbus/CAN is a reverse engineering tool devloped by FrontEndART. It is available as a free download. The system extracts C++ (ISO/IEC standard C++, Microsoft and ...

The following companies offer decompilation services (from binary code or assembly code). The techniques used by these companies are usually proprietary, but often ...

In the paradigm of Compilation by Transformation many aspects of compilation are implemented as a series of simple ProgramTransformations on the source code or intermediate ...

by ChuckLiang In S. Krishnamurthi, C.R. Ramakrishnan (Eds.) Aspects of Declarative Languages (LNCS http://link.springer.de/link/service/series/0558/tocs/t2257.htm ...

Name Component name. Synopsis Short usage of the component. Description Description of the functionality offered by the component, focussing on common usage. Options ...

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

Compuware http://www.compuware.com Products offered include Xpeditor, a tool suite for COBOL test coverage analysis and system browsing. See http://www.compuware.com ...

ConceptAnalysis is a mathematical approach to building taxonomies. Given a set of objects, a set of attributes, and a feature table telling which object has which ...

A context-free grammar is a restricted form of a Grammar Closure Properties Context-free languages are closed under: union concatenation and these operations can thus ...

The compiler should effectively continuously transform a program from an interpreted to a fully optimized form. http://www.cs.wustl.edu/~plezbert/contcom/ RonCytron ...

Control flow analysis in decompilation convert conditional and non-conditional jump instructions into high-level language control constructs such as if/else, while ...

Various browsers have trouble with the tab character used in the TextFormattingRules. If you can't type a tab, or, if you are fixing up a page written by someone who ...

Cost-effective Maintenance Tools for Proprietary Languages by MerijnDeJonge Ramin Monajemi Available at: http://www.cwi.nl/~mdejonge/papers/#JM2001

CppETS is an extractor benchmarks for C++ (see ExtractorBenchmarks). The benchmark has been exercised at the following occasions: CASCON 2001 workshop (CppETS 1.0 ...

Fact extractors for C++: AcaCia ColumbusCAN cppx TkSeeSN vacppparse http://www.gccxml.org XML output extension to the C++ front-end to GCC. It produces an XML representation ...

C++ templates allow compile-time programming in the type system of C++.

CPPX is a free, open source fact extractor for C++. It is build on top of GNU g++, and produces a graph according to the Datrix fact model, in either GXL, TA, or VCG ...

Cristina Cifuentes http://www.csee.uq.edu.au/~cristina/ DeCompilation ProgramSlicing LegalIssues CategoryPeople

Homepage: http://www.cs.sfu.ca/~dbeyer/CrocoPat/ CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive ...

Crystal Systems http://www.crystal-sys.com/ Offers products based on C-SCAN, a unique and flexible engine for automating the conversion of system components. See also ...

Homepage: http://www.cs.cornell.edu/projects/cyclone/ Cyclone is a C-like language with built-in support for safety. CategoryLanguage Main.EelcoVisser 20 Nov 2001 ...

DERIVE: a tool to ReverseEngineering instruction encodings http://www.cs.utah.edu/~wilson/papers/derive-usenix01.html Source: http://www.cs.utah.edu/~wilson/derive ...

Homepage: http://www.semdesigns.com/Products/DMS/DMSToolkit.html DMSSoftwareReengineeringToolkit is a DesignMaintenanceSystem for software ReEngineering from SemanticDesigns ...

This page represents examples 69, 70, and 71 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ...

This page represents examples 72, 73, and 74 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ...

See DocumentObjectModel

DOME (the DOmain Modeling Environment) is a meta-CASE system. It has a graphical domain modeling evironment (DTS editor). With the DTS editor a meta-model is defined ...

Acronym for DomainSpecificLanguages

Domain-Specific Languages: An Annotated Bibliography. By ArieVanDeursen, PaulKlint and JoostVisser. We survey the literature available on the topic of DomainSpecificLanguages ...

The DSLAnnotatedBibliography was published in 2000. Since then, several authors have sent us additional references, which are collected here. If you feel that a reference ...

Several papers covering DSL design issues such as DomainEngineering are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions ...

A number of example DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions, presenting example DomainSpecificLanguages ...

Several papers covering ways of implementing DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions presenting implementation ...

Papers evaluating the risks and opportunities of DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions presenting ...

The DSLAnnotatedBibliography starts by definining the terminology used in the paper. This page collects comments, extensions, or additional references concerning DomainSpecificLanguages ...

DomainSpecificLanguages

The daVinci system uses terms to represent graphs, which distinguishes it from all other graph formats. Terms make the format not easy to read and hard to write. A ...

Seminar organized in Dagstuhl castle in the hills of the Saarland (Germany). Excellent wine cellar and music room, great way to get to know your fellow researchers ...

Description The `dbs' package implements an open framework for daily-builds (i.e. regular performed builds to continuously verify the consistence of all parts of ...

Collections of tools used for ArchitectureExtraction. Pointers: http://www.sei.cmu.edu/ata/ata extraction.html Rick Kazman, S. Jeromy Carrière, Playing Detective: ...

http://www.decompile.com The Database Managers company used to offer DataFlex Decompilers in two forms: as a stand-alone licensed program or as a service. Now, they ...

Data exchange formats are used to store and retrieve data in a structured and domain-independent way. Typically a binary format is used, but textual formats exist ...

Data flow analysis in decompilation covers the conversion from primitive machine code instructions to expressions in high-level language. Main.DavidEriksson 28 May ...

See DataFormats.

A DataFormat is a formal language for the representation of information. Unlike ProgrammingLanguages, DataFormats don't specify computations. Examples of data formats ...

In information systems, or data-oriented applications, i.e., in applications the central component of which is a database (or a set of permanent files), it is generally ...

Homepage: http://desquirr.sourceforge.net/ Main.DavidEriksson 13 Jun 2002

http://www.comlab.ox.ac.uk/oucl/work/david.lacey CategoryPeople

dcc is a research decompiler, written as a proof of concept for Cifuentes' PhD thesis. A complete distribution of dcc (executable, source, tools to generate signatures ...

TOC The tests performed here are downloaded from the file test.zip, part of the dcc distribution. It should be remembered that these tests were therefore chosen to ...

RESUME MAURICE HOWARD HALSTEAD BA University of California, Berkeley 1940 MS U. S. Naval academy1 pas (Annapolis) 1943 PhD Johns Hopkins (Baltimore) 1951 PROFESSIONAL ...

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

Visual Basic Discompiler (Decompiler) Defeater This page only exists in archive.org for December 1996, which may be the boundary of the archive. In case it disappears ...

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

Dealing with Large Bananas by RalfLaemmel, JoostVisser, and JanKort Available: Draft 1 .

This information is pieced together from a few sources. I hope it is still accurate. In about 1985, Jim Reuter wrote decomp, a decompiler for the Vax BSD 4.2 (a.out ...

This is the readme file for the "decomp" decompiler by Jim Reuter. This README file describes the decompiler that resides in this directory. WHAT IT IS: The decompiler ...

Anakrino .NET to C# Decompiler Tests Anakrino is a .NET to C# decompiler, released under a BSD-like license. These tests refer to "Interim #9" (Anakrino9.zip). Anakrino ...

The colloquial use of "reverse engineering" and the formal one are somewhat different. Crackers speak of "reversing" a program, when they are talking about a quick ...

This page has been removed. You can access the pages it used to point to from the main DeCompilation page now. Main.MikeVanEmmerik 04 Dec 2004

The Boomerang Decompiler and Tests Boomerang is an attempt at a complete, retargetable decompiler for native executable programs, released under a BSD style (open ...

ClassCracker 3 Java Decompiler Simple Tests I performed some simple tests on ClassCracker 3 (version 3.01), purely as a decompiler. TOC Fibo For source code, see ...

Compiler-Specific or Pattern Matching Decompilers This approach tries to find the reverse mapping of the executable to the source based on analysing the output generated ...

McGill's "Dava" Java Decompiler TOC Dava tests The Sable group at McGill University, under the leadership of Professor Laurie Hendren, are working on a framework ...

Dava Java Decompiler Tests These tests were performed on the Dava decompiler which comes with Soot 2.0.1. The author stated in early 2003 that there is a newer version ...

Please see DisAssembly.

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

Main.FredHeltsley 07 Mar 2005

If you have a specific decompilation problem for which you need help, you can describe it here. Someone knowing the solution might visit the page and help you. (See ...

Jad Java Decompiler Simple Tests TOC This page performs some tests on JAD version 1.5.8e. Output has been trimmed slightly for ease of comparison to the original ...

jAscii Java Decompiler Simple Tests NOTE: Jascii seems to have gone out of business at the end of 2003. I tested jAscii 1.0.20 from http://www.jascii.com. TOC Fibo ...

JODE open source Java Decompiler Simple Tests TOC Fibo For source, see DecompilerFiboTestSource. Decompiled source from JODE: / Fibo Decompiled by JODE Visit http ...

JReversePro (Java Decompiler) Simple Tests I installed JReversePro version 1.4.1 (binary distribution; Sourceforge page is here). TOC Fibo For source, see DecompilerFiboTestSource ...

NMI Java Code Viewer This is a commercial bytecode to Java decompiler and disassembler. It runs under Windows only, even though it claims to have been written in ...

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

The Decompilation Process The main problems with decompilation are the separation of data and code (i.e. obtaining a complete disassembly of the program), the reconstruction ...

Reflector .NET to C# Decompiler Tests Reflector is a .NET browser with an integrated C# decompiler. It will also display the code "translated" into Visual Basic or ...

This page contains links to projects peripherally related to decompilation. TOC Binary files Information on the internal format of binary files at the Wotsit's File ...

Source Again Java Decompiler Tests TOC Ahpah kindly provided a copy of Source Again Professional version 1.10j (a commercial decompiler). Earlier tests were based ...

Salamander .NET to C# Decompiler Tests Salamander is a commercial .NET to C# decompiler. TOC Fibo For source, see DecompilerFiboDotNetSource. Decompiled source from ...

SourceTec Java Decompiler Simple Tests SourceTec, also known as Jasmine, is an old decompiler; in fact it's a patch to Mocha, probably the very first Java decompiler ...

Are you wanting to set up a decompilation related company? He is a partial list of the URLs. RED Warning: URLs in italics could lock up your browser for at least 2 ...

The Andromeda Decompiler is not available to the public at present, so the only example of its use is usually limited to the very impressive demo program. I asked ...

This program is adapted from the book Decompiling Java, chapter 1. using System; public class Casting { public static void Main(String args){ for(char c (char)0; c ...

This program is from the book Decompiling Java, chapter 1. public class Casting { public static void main(String args ){ for(char c 0; c The only real trick here is ...

This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code as adapted to C# is: using System; class Foo ...

This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code is: public int foo(int i, int j) { while ...

These Fibonacci (286) and Palindrome results are from David's masters theses, Figure 5.2. The other tests are using the 20030507 binary of the desquirr plugin, as ...

Exe-2-C DOS/286 Decompiler Tests This is the beta version of an experimental decompiler. The tests are from test.zip in the dcc distribution. TOC Strlen The original ...

This is the Jasmin (essentially Java "assembly language") source code for the exceptions decompiler test. It is an attempt at the test program from Figure 6 of the ...

This is a simple program, compiled with the Mono C# compiler, no optimisation. Here is the original C# source code: using System; class Fibo { private static int fib ...

This is a simple program, compiled with Sun's javac, no optimisation. Here is the original Java source code: import java.lang. ; class Fibo { private static int fib ...

I found this sample program in a page called Sample gtk# applications. The program is already compiled (possibly with a now-obsolete version of the Microsoft C# compiler ...

This class is also from the book Decompiling Java, this time chapter 3: using System; public class Usa { public String name "Detroit"; public class England { public ...

This class is also from the book Decompiling Java, this time chapter 3: public class Usa { public String name "Detroit"; public class England { public String name ...

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

This is the Jasmin (essentially Java "assembly language" source code for the optimised bytecode decompiler tests. It was created with soot s O Main where soot is a ...

Reverse Engineering Compiler (REC) Tests Some simple tests were performed on REC 1.6 for Linux. TOC Fibo/286 This test file is the same one used to test the 286 decompilers ...

The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains a small but important test program (adapted from a concatenation of 4 Java source files ...

The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains this small but important test program (concatenation of 4 Java source files): public class ...

http://www.decompiler.org (Decompiler Technologies) Until May 2005, Decompiler Technologies offered mainly a Visual Basic 6 native-code decompilation (source code ...

PhilipWadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming (ESOP'88) , Nancy, France. Lecture Notes in Computer Science ...

Delphi I'm not all that familiar with Delphi. Additional pointers welcome. Decompiling Delphi Decompiling Delphi at http://delphi.about.com mentions a number of Delphi ...

Delta Software Technology is the leading developer of generative software tools for service-based integration to multiply the value of legacy applications and data ...

Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Presentation Slides for part 1: Introduction to reverse engineering ...

The ReverseAndReengineeringTaxonomy defines design recovery as a subset of ReverseEngineering in which domain knowledge, external information, and deduction or fuzzy ...

http://www.2good.com/software/desquirr Desquirr is a decompiler plugin for IDA Pro. It is written by Eriksson as part of a Master Thesis in Software Engineering. It ...

DiSTiL: A transformation library for data structures by YannisSmaragdakis and DonBatory ResearchIndex http://citeseer.nj.nec.com/smaragdakis96distil.html

Homepage: http://www.cs.vu.nl/~dick/ CompilerConstruction http://www.cs.vu.nl/~dick/CS Summaries.html CategoryPeople

Homepage: http://www.cse.ogi.edu/~dick/dick.html CategoryPeople

IEEE Digital Library: http://www.computer.org/publications/dlib/index.htm ACM Digital Library: http://www.acm.org/dl/

Digital Signal Processors are processors with special features for fast processing of signals. It is a challenge to write programs for these architectures that are ...

Diomidis Spinellis: http://softlab.icsd.aegean.gr/~dspin/ Topics: DomainSpecificLanguages

Disassembly Disassembly is the process of translating an executable program into its equivalent assembly representation. The greatest problem with disassembling is ...

http://www.debugmode.com/dcompile/disc.htm The disC page describes a crude decompiler for DOS Turbo C 2.0 and 2.01 programs. The source is free to download. The author ...

http://www.winsite.com/bin/Info?500000009137 disasm32 is a visual symbolic disassembler for Windows95 and WindowsNT 32 bit Portables Executables (PE). It runs under ...

Disinformation is a decompiler for Z-machine data files (Infocom or Inform), to decompile Infocom games to add rooms and objects to the game. It works best on Inform ...

Hans-Peter Diettrich, better known as DoDi, is author of a well-known set of Visual Basic decompilers (VBDis 3/4/5), and has worked on decompilers for executables ...

DocGen is a DocumentationGeneration tool aimed at redocumenting LegacySystems written in languages such as COBOL, DB2, JCL, as well as proprietary languages. It is ...

Document Object Model: a tree-based object-oriented API for XML document manipulation: see http://www.w3.org/DOM/

DocumentTypeDefinition (DTD) is the original SchemaLanguageForXML and is in fact part of the XML standard. DTD is a LocalTreeGrammar. This means that the same terminal ...

Deriving (on line) documentation from source code. The purpose is to help maintainers or developers understand the system they are working on. The article BuildingDocumentationGenerators ...

Domain Analysis is the first DomainEngineering step. Following GenerativeProgrammingBook, p. 23, the purpose of Domain Analysis is to: Select and define the domain ...

Following GenerativeProgrammingBook, p.24, the purpose of Domain Design is to develop a SoftwareArchitecture for the family of systems in the domain ; and to devise ...

Domain Engineering involves creating a set of reusable assets for building systems in a particular problem domain. These reusable assets are then assembled to customer ...

This page is intended to discuss the question Is Domain Engineering compatible with Agile Software Development? Given the current popularity of agile methodologies ...

Just one of the many DomainSpecificLanguages

Domain-Specific Language Design Requires Feature Descriptions ArieVanDeursen and PaulKlint Journal of Computing and Information Technology , 2002. Abstract A DomainSpecificLanguage ...

A little language, that helps in a particular application domain. A more formal definition from the DSLAnnotatedBibliography: A domain-specific language (DSL) is a ...

Homepage: http://www.cs.utexas.edu/users/dsb/ DiSTiL GenVoca CategoryPeople

Don Roberts homepage: http://st-www.cs.uiuc.edu/users/droberts/homePage.html SmalltalkRefactory ARefactoringToolForSmalltalk ProgramRefactoring CategoryPeople

Donald Knuth is a computer scientist that invented many techniques relevant for language processing, including: LR parsing AttributeGrammar(s) Literate programming ...

Description This page describes how to donate your grammar to the GrammarBase by email in case you don't have write access to the central GrammarBase CVS repository ...

Description This page describes how to donate your grammar to the GrammarBase by adding it to the central CVS repository. It requires write permission the the GrammarBase ...

Description The optimizer prototyping toolset Dora Farnum90 consists of a set of languages embedded in Lisp. One of the languages is the transformation language Tess ...

Dot and neato are two graph layout tools that share an almost identical graph format. Dot makes layouts of directed graphs whereas neato is for undirected graphs. ...

I have collected tests from various places, and tested .NET to C# decompilers that I could get access to for free. Salamander tests Anakrino tests Reflector tests ...

.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...

Designer/implementer of KIDS. Homepage: http://www.kestrel.edu/HTML/people/smith/

Homepage: http://www.cs.rice.edu/CS/PLT/packages/drscheme/ DrScheme is an interactive programming environment for SchemeLanguage. CategorySystem Main.EelcoVisser ...

Draco-PUC is a transformation system based on the original DracoSystem. http://www.inf.puc-rio.br/~draco/ Main.EelcoVisser 20 Feb 2004

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

http://www.bayfronttechnologies.com/manual.htm Documentation of the DracoSystem.

Conferences / Workshops / Journals / Special Issues devoted to DomainSpecificLanguages. (Listed in reverse chronological ordering of the submission date) Workshop ...

http://www.geocities.com/phoenixdis/ From the web page: DSM Studio is a application to aid disassembly and inspection of Windows based executables built for the Intel ...

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

A translator which performs its transformations as the program is running . Because the user is waiting for the program to actually run while the translation is happening ...

Homepage: http://www.ecoop.org/ European Conference on Object-Oriented Programming Dates Submission: October Conference: June Past Events : http://www.ecoop.org/conferences ...

ELAN is an algebraic specification formalism that first introduced RewritingStrategies. Homepage: http://elan.loria.fr Contact: ELAN elan@loria.fr Influences AlgebraicSpecification ...

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of existing and new conferences and other events that has ...

http://www.disi.unige.it/etaps2001/

The Electronic Tool Integration Platform (ETI) http://eti.informatik.uni-dortmund.de/ http://www.eti-service.org/

Resources Wikipedia

Homepage: http://www.haley.com/0288108556162049/Eclipse.html PaulHaley CategorySystem Main.EelcoVisser 20 Nov 2001

Homepage: http://www.cs.uu.nl/staff/eelco.html Stratego.RhoStratego CategoryPeople

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

M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient Annotated Terms. Software Practice Experience , 30:259-291, 2000. Abstract How do distributed ...

Homepage: http://www.eiffel-nice.org Eiffel is an object-oriented programming language that supports multiple inheritance.

Homepage: http://www.research.philips.com/technologies/syst softw/elegant/ Elegant is a compiler implementation language originally built on the paradigm of AttributeGrammars ...

Elkhound is a parser generator based on the GLR algorithm. See http://www.cs.berkeley.edu/~smcpeak/elkhound/ Main.EelcoVisser 03 Jan 2003

Elliot Chikofsky http://pathbridge.net/chikofsky/ CategoryPeople

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

Standards IEEE Std. 610.12 Standard Glossary of Software Engineering Terminology , 1990 IEEE Std. 1219 Standard for Software Maintenance , 1998 ISO/IEC 14764 Software ...

A data exchange format provides a formal notation for the linear description of data to be exchanged between tools. See the ExchangeFormatBibliography for an overview ...

Exchange Format Bibliography by HolgerKienle, JoergCzeranski and ThomasEisenbarth This paper gives a bibliographical overview and a classification of ExchangeFormats ...

ftp://ftp.microsoft.com/Softlib/MSLFILES/EXEFMT.EXE Self-extracting zipped file which contains a description of the New Executable (NE) 16-bit Windows format. Retrieved ...

http://sourceforge.net/projects/exetoc This is a decompiler for Win32 executable files, hosted on Windows. For a first release, it's quite good. It seems to have reasonable ...

A beta-release of the decompiler exec2c by Scott Guthery was distributed to beta testers in 1991. The program is copyrighted by `The Austin Code Works and Polyglot ...

Explicitly reloading pages is necessary in some cases to see updated links after adding new pages to the XT wiki. How to explicitly reload a page is browser specific ...

The Extensible Stylesheet Language (XSL) XSL is a language for expressing stylesheets. It consists of three parts: XSL Transformations (XSLT): a language for transforming ...

Links Leon Moonen's graph tools: http://www.cwi.nl/~leon/hacks/graph-tools/ Graphviz: http://www.research.att.com/sw/tools/graphviz/

ExtractorBenchmarks address the difficulties of FactsExtraction. A benchmark has many applications; it could be used by developers of extractors as a test suite; by ...

Fun way of developing software attracting a lot of attention these days. See http://www.c2.com/cgi/wiki?ExtremeProgrammingRoadmap for an extensive (and great!) wiki ...

Language-independent ExchangeFormat for representing object-oriented source code developed in the FamoosProject. See http://iamwww.unibe.ch/~famoos/FAMIX/ Concepts ...

Federated Logic Conference Copenhagen 2002: http://floc02.diku.dk/ Included conferences CADE CAV FME ICLP LICS RTA TABLEAUX Dates Submissions: January Conference ...

See FeatureOrientedDomainAnalysis

ACM SIGSOFT Symposium on the Foundations of SoftwareEngineering. Submissions: March Conference: September 2001: http://esec.ocg.at/ 2002: http://www.cs.pitt.edu/FSE ...

FSF is the Free Software Foundation. http://www.fsf.org http://www.gnu.org

Homepage: http://www.iasi.rm.cnr.it/~fioravan/ MAPTransformationSystem CategoryPeople

FactsExtraction is the first step of a ReverseEngineering or ReEngineering effort. An extractor (a.k.a. parser or analyzer) processes the LegacySystem's artifacts ...

Raimar Falke's Diploma Thesis is written in German. For English readers, I have translated the final section using Google's translation facility and some hand editing ...

The goal of the FAMOOS Esprit project is to support the evolution of first generation object-oriented software, built with current analysis and design methods and ...

http://www.fftw.org/

The Father of Decompilation ATTACHURL /maury.jpg \ ATTACHURL /maurysig.jpg Permission Requested. IEEE Transactions of Software Engineering. \ Figure courtesy of Bill ...

Part of the FeatureModel giving a graphical representation of variable and common concept features. Feature diagrams distinguish between mandatory, optional, alternative ...

A feature model results from DomainAnalysis / DomainEngineering. It covers A description of the individual features The feature commonalities and variabilities of ...

GCSE`01 Feature Modeling Workshop Motivation and Goals The concept of features is becoming more and more popular in different areas of SoftwareEngineering, such as ...

Feature-Oriented DomainAnalysis (FODA). FODA is one of the first DomainEngineering methods. It was developed at the SEI in the early 1990s. It has introduced the FeatureModel ...

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

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

INCLUDE{" TWIKIWEB .FileAttachment"}

Forms2.net by ATXSoftwareSA is a tool that allows companies to migrate existing Oracle©Forms applications to Microsoft©.NET http://www.atxsoftware.com/?sec products ...

Fortran ( Formula Translation ) is a language for numerical programming. Language definition http://cray-doc.jaist.ac.jp:8080/library/all/007-3694-004 Conversion from ...

The ReverseAndReengineeringTaxonomy defines forward engineering as the traditional process of moving from high-level abstractions and logical, implementation-independent ...

FoxBase/FoxPro/Clipper I don't know much about Foxbase. Pointers welcome. ReFox http://www.hieroglyphix.co.uk/refox.php from http://www.xitech-europe.co.uk (ReFox ...

Homepage: http://contraintes.inria.fr/~fages/ WorkshopOnRuleBasedProgramming CategoryPeople

Francoise Balmas http://www.ai.univ-paris8.fr/~fb/ CategoryPeople

I don't get it how this Wiki works. ;-) Anyway. See http://losser.st-lab.cs.uu.nl/~visser/cgi-bin/twiki/view/Main/FrankGerhardt Main.TWikiGuest 21 Oct 2001

This is my idea of how I would write a general decompiler: 1.Lets assume, we start with the assembler output of the disassemblers, which already contain the proper ...

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

Description ``Free software is a matter of liberty, not price. To understand the concept, you should think of ``free speech , not ``free beer. ``Free software refers ...

Homepage: http://www.cl.cam.ac.uk/users/amp12/freshml/ FreshML is an extension of the programming language ML. The innovation of the language is the extension of ...

FrontEndART provides extractor front ends for the re/reverse engineering community in industry and academia. Our tools produce data that conform to a generally applicable ...

Functional Programming is a programming paradigm in which a program consists of a sequence of function definitions. See also: HaskellLanguage.

In functional ProgrammingLanguages computations are defined through functions that map argument values to result values. In pure functional languages this is the only ...

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

Functional Transformation Systems by JanKort, RalfLaemmel, and JoostVisser Available: Draft 1 . From Citeseer: paper.

Homepage: http://www.gnu.org/software/gcc/ The GNU Compiler Collection

A transformation framework for ANSI C and C with GCC extensions implemented in ANTLR. Included is a complete ANSI C lexer, GNU C lexer, ANSI C parser, GNU C parser ...

Homepage http://gcse2001.cs.rug.nl/ Conference on Generative and Component-Based Software Engineering Deadline: May Conference: September Description (from the conference ...

GDL is an acronym that stands for GraphDescriptionLanguage.

GEARS, a product of BigLeverSoftware, provides infrastructure and a development environment for creating software mass customization product lines. Main.JoostVisser ...

GEL is an acronym that stands for Graph Exchange Language. Be careful to not confuse with GXL, which also stands for GraphExchangeLanguage. Resources: ftp://ftp.cwi ...

GHC, the Glasgow Haskell Compiler, is implemented according to the CompilationByTransformation paradigm. http://www.haskell.org/ghc/

GML is an acronym that stands for GraphModelingLanguage.

GMake is the Gnu version of the MAKE tool. It has a different `dialect' compared to other versions of the MAKE tool (like the Solaris or Bsd versions). http://www ...

GNU is a recursive acronym for ``GNU's Not Unix .

GNU GENERAL(?) PUBLIC(?) LICENSE(?) Version 2, June 1991 Copyright (C) 1989, 1991 Free Software Foundation, Inc. 1.9 Temple Place, Suite 330, Boston, MA(?) 02111 ...

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

GPL is short for the GNU General Public License. See http://gplv3.fsf.org for information on debate about the proposed new version.

Paper: Based Definition of Metaprogramming Systems Main.EelcoVisser 20 Jun 2002

Short for GraphExchangeLanguage

See http://www.unl.ac.uk/simt/staff/galal.shtml CategoryPeople

Homepage: http://web.comlab.ox.ac.uk/oucl/work/ganesh.sittampalam/ MAG IntentionalProgramming GaneshSittampalam 21 Aug 2001 CategoryPeople

Homepage: http://www.first.gmd.de/~ma/gemmex/ Gem-Mex is the support environment for the Montages method and stands for "Graphical Editor for Montages and Montages ...

GenVoca is an approach to building software system generators based on composing object-oriented layers. Rather than talking directly to a layer, used layers are included ...

Main.WardBekker 03 Jan 2006 With GenWise Studio, a unique template-based IDE, you can generate a professional database-driven Asp.Net 2.0 web application within ...

Generation of Software Renovation Factories from Compilers by Alex Sellink and Chris Verhoef. Available: postscript 1 html 2 pdf 3

Here are some companies that apply generative programming: BayfrontTechnologies BigLeverSoftware DeltaSoftwareTechnology MontagesSoftwareServices SemanticDesigns CategoryGenerativeProgrammingWiki ...

Generative Domain Model The key to automating the assembly of software systems is a generative domain model (GDM) that consists of a problem space, a solution space ...

Conferences, workshops, and other events related to Generative Programming Calendar The events are ordered reverse chronologically. Feel free to add missing events ...

This page lists some links related to Generative Programming Sites http://www.generative-programming.org, connected to the GenerativeProgrammingBook Wiki on Transform ...

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

Here are some definitions of generative programming. 1 The goal of generative programming is to replace manual search, adaptation, and assembly of components with ...

Generative Programming: Methods, Tools, and Applications. KrzysztofCzarnecki and Ulrich W. Eisenecker. Addison-Wesley, 2000. http://www.generative-programming.org ...

Welcome to the Generative Programming Wiki! The purpose of this wiki is to provide a forum to the GenerativeProgramming community. Browsing and Editing Wiki Pages ...

TOC Introduction The lists below are generated automatically based on the Category mechanism it may take some time to construct the complete page. If you feel a ...

This page lists examples of successful application of GenerativeProgramming. The RislaLanguage is a DSL for interest rate products. It was initially developed in the ...

The first workshop on this topic was very successful, resulting in the GenerativeModelTransformer project. A second workshop is scheduled for 27 October at OOPSLA ...

This page lists tools that are relevant to generative programming. Only brief descriptions of tools are given. For further information on the various tools, links ...

Homepage: http://www.generic-haskell.org/ Generic Haskell is an extension of HaskellLanguage with PolyTypic functions. CategoryLanguage Main.EelcoVisser 13 May ...

The Generic Modeling Environment (GME) is a configurable toolkit for creating domain-specific modeling and program synthesis environments. http://www.isis.vanderbilt ...

Chapter 6 of GenerativeProgrammingBook defines Generic Programming as: Generic programming is a subdiscipline of computer science that deals with finding abstract ...

GenericSetup aims to replace Tools.AutoMake, Tools.AutoConf and LibTool. Development has stopped long ago. http://sourceforge.net/projects/gsetup/

Georgia Tech, College of Computing, http://www.cc.gatech.edu/ Topics: SoftwareVisualization SoftwareEvolution ProgramUnderstanding ReverseEngineering

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

The GnuProjectToolKit packages Tools.AutoMake, LibTool, Tools.AutoConf, etc. in one package. http://sourceforge.net/projects/osdtk/

Homepage: http://www.cs.umn.edu/~gopalan TeyjusSystem LambdaProlog CategoryPeople

Cameron and Ito. Grammar-Based Definition of Metaprogramming Systems. ACM Transactions on Programming Languages and Systems Vol. 6, No. 1, January 1984, Pages 20-54 ...

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

The Graph Description Language (GDL) of the VCG tool and its successor aiSee describes graphs in terms of nodes, edges, subgraphs and their attributes. The GDL syntax ...

GraphEd is an Interactive, Extensible Editor For Graphs and Graph Grammars with lots of Layout and other Algorithms. Homepage: http://www.infosun.fmi.uni-passau.de ...

Originated from graph-based modeling research done in Koblenz see http://www.gupro.de/ and http://www.gupro.de/GXL/ The Graph Exchange Language (GXL) is designed ...

Graph drawing and editing tools typically have their own graph specification format. The format has typically a textual representation that is easy to read and write ...

The Graph Modeling Language (GML) (which is used by Graphlet) has a simple and orthogonal syntax. A GML file consists of key-value pairs. Values can be integers, floats ...

GraphXML is a graph description language in XML. For details see http://www.cwi.nl/InfoVisu/GraphXML (broken, but still available here). GraphXML An XML based graph ...

Name GraphXML2dot Synopsis GraphXML2dot i graph.gxml.af o graph.dot.af Description The component GraphXML2dot converts a graph in GraphXML format to dot format. Input ...

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

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

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

HTML (Hypertext Markup Language) is the DataFormat used to specify the content of WWW pages. CategoryLanguage Transformation tools that can be applied to HTML: DMSSoftwareReengineeringToolkit ...

Homepage: http://www.cs.york.ac.uk/fp/HaXml/ HaXml is a domain-specific language for transforming XML documents embedded in HaskellLanguage.

Hacker Disassembling Uncovered, Kris Kaspersky. A-List Publishing, 2003. ISBN: 1931769222, 584pp, soft cover. The book is divided into two parts. Part 1 is "Getting ...

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

The purpose of the Haskell Workshop is to discuss experience with Haskell, and possible future developments for the language. The scope of the workshop includes all ...

Hausi M ller http://webhome.cs.uvic.ca/~hausi/ CategoryPeople

One of the implementors of the Tools.ATermLibrary. CategoryPeople

HeVeA is a translator for LaTeX to HTML written in CAML. CategorySystem

Homepage: http://njutov.warande.net/~pretzel/ hhwestra@cs.uu.nl CobolX

Homepage: http://www.loria.fr/~hkirchne/ ELAN CategoryPeople

http://www.informatik.uni-ulm.de/pm/ CategoryPeople

Homepage: http://www.cs.uu.nl/people/henkp/ System administrator at Utrecht University CategoryPeople

Homepage: http://danae.uni-muenster.de/lehre/kuchen/ WorkshopOnRuleBasedProgramming CategoryPeople

http://www.hex-rays.com BR http://hexblog.com/2007/04/decompilation gets real.html BR http://www.hexblog.com/hexrays/manual Hex-Rays is a decompiler plug-in for the ...

by MichaelWolfe. Addison-Wesley, 1995. From the author: http://www.pgroup.com/~mwolfe/book/ From the publisher: http://www.awl-he.com/titles/0805327304.html http: ...

Generation of code for the FastFourierTransform DigitalSignalProcessors OctaveLanguage SAGA, Stratego.CodeBoost TAMPR http://www.netlib.org/ http://www.nhse.org/ ...

An ongoing project to use higher order abstract syntax and higher order logic programming for compiler implementation by ChuckLiang http://cs.hofstra.edu/~cscccl/hocompiler ...

History of Decompilation (1960-1979) Decompilers have been written for a variety of applications since the development of the first compilers. The very first decompiler ...

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

History of Decompilation (2000-present) #TopicAsm21toc University of London's Asm21toc reverse compiler, 2000. This assembly language decompiler for Digital Signal ...

Home page: http://holgerkienle.wikispaces.com/ Topics: ExtractorBenchmarks DomainSpecificLanguages ExchangeFormatBibliography RigiSystem CategoryPeople

Homepage: http://www.loria.fr/~cirstea/ ELAN RewritingCalculus CategoryPeople

htmlrsf is a command line program that is part of the RigiSystem. If your Rigi environment is setup, docu is located at $RIGI/doc/rigiutils/htmlrsf.html executable ...

International Conference on Functional Programming Deadline: March Conference: October PLI, PPDP 2002: http://icfp2002.cs.brown.edu/CfP/ 2001: http://www.cs.luc.edu ...

ICON is a high-level programming language Resources http://www.cs.arizona.edu/icon/ http://www.nmt.edu/tcc/help/lang/icon/references.html Main.EelcoVisser 20 Feb ...

International Conference on Software Engineering. Submission: August Conference: May See: http://www.icse-conferences.org/ http://www.acm.org/pubs/contents/proceedings ...

The International Conference on Software Maintenance Deadline: March Conference: September Chicago Illinois, USA (2004) Homepage: http://conferences.computer.org ...

International Conference on SoftwareReuse 2002: http://asercweb.quase.ualberta.ca/Conferences/ICSR7 Deadline: October Conference: April CategoryConference

IDA Pro is a commercial program for disassembling a wide array of different file types for different processors, written by Ilfak Guilfanov. It can disassemble virtually ...

The Institue of Electrical and Electronic Engineers, an organisation representing engineering and computer professionsals. http://ieee.org http://computer.org/ (Computer ...

International Federation for Information Processing http://www.ifip.or.at/ Annual IFIP World Computer Congress: http://www.wcc2002.org/en/index.html

International Symposium on SoftwareTesting and Analysis Every two years. Call for papers: February Conference: July Proceedings: ACM SIGSOFT Software Engineering Notes ...

International Conference on Information Visualization, also dealing with SoftwareVisualization. http://www.graphicslink.demon.co.uk/IV2001/ DigitalLibrary proceedings ...

International Workshop on ProgramComprehension. Submission: January Conference: June 1999: http://www.computer.org/proceedings/iwpc/0179/0179toc.htm 2000: http://www ...

International Workshop on Principles of Software Evolution IWPSE 2004 IWPSE 2003 CategoryConference CategorySoftwareEvolution

Identifying Objects using Cluster and Concept Analysis ArieVanDeursen and TobiasKuipers. In 21st International Conference on Software Engineering, ICSE-99, 1999, ...

See http://www.computer.org/software/ http://www.computer.org/software/archives.htm CategoryJournal

Homepage: http://www.ilog.com/products/rules/ CategorySystem Main.EelcoVisser 20 Nov 2001

Imagix Corporation produces reverse engineering, quality metrics, and documentation solutions. Imagix provides provides tools and support to help developers work with ...

Imagix 4D is a ReverseEngineering, metrics and DocumentationGeneration tool for legacy C and C++ software. From ImagixCorporation, Imagix 4D is intended for developers ...

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

A paper on a VisualLanguage for RuleBasedProgramming URL: http://vision.unipv.it/research/papers/00tr-prbdfvl/prbdfvl.html CategoryPaper

There may be a few machine code patterns that are impossible to decompile automatically. These would therefore require expert human intervention to decompile successfully ...

Industrial Applications of ASF SDF MarkVanDenBrand, ArieVanDeursen, PaulKlint, S. Klusener and E. A. van der Meulen. Industrial Applications of ASF+SDF. I n M. Wirsing ...

IEEE Symposium on Information Visualization http://www.infovis.org/infovis2001/ Submission: April Conference: October Digital library proceedings: http://www.computer ...

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

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

See CodeGeneration Main.EelcoVisser 08 Jan 2002 CategoryTransformation ProgramOptimization

An IntegratedDevelopmentEnvironment is a tool for software development. Usually it is a graphical tool optimized for Rapid Application Development. It contains an ...

Description Intentional programming developed at Microsoft Research Ait98 is a method for extending a language with new constructs or intentions . The meaning of ...

http://www.legacy2web.com/ Established in 1997, Intercomp is a leading international tool developer and solution provider for analyzing, Web-enabling and re-engineering ...

The Interactive Decompiler http://idc.sourceforge.net/wiki/index.html This is an interactive, extensible assembly language decompiler written in Python. The interactivity ...

International Conference on Software Maintenance Homepage: 2001: http://www.dsi.unifi.it/icsm2001/ 2002: http://www.icsm2002.org 2003: http://www.cs.vu.nl/icsm2003 ...

Offers CodeBeamer, a product for browsing, understanding, reengineering Java and C++ systems. http://www.intland.com/ CategoryCompany

Way of bootstrapping the contents and discussions of a wiki web see http://c2.com/cgi/wiki?InvitedAuthors ArieVanDeursen 14 Oct 2001.

Homepage: http://www.semdesigns.com/Company/People/idbaxter/index.html SemanticDesigns DMSSoftwareReengineeringToolkit Coverage For Arbitrary Languages Made Easy ...

Description An island grammar only precisely defines small portions of the syntax of a language. The rest of the syntax is defined imprecisely, for instance as a ...

IBM's job control language the shell of the mainframe. Designed for easy processing from punch cards of the OS360 system. Significant source of LegacyProblems. The ...

JMK is an implementation of MAKE in Java. Its syntax is very make like but only Java is supported. http://sourceforge.net/projects/jmk/

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

JQuery is query-based source code browser for Java, based on Eclipse. The tool is itself an Eclipse plugin and also uses the infrastructure of Eclipse for parsing ...

JReversePro is an open source Java Decompiler / Disassembler written entirely in Java. From the home page: "The utlimate objective of this project is to provide a ...

See JavaTreeBuilder

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

Bali Bali generate from a single grammar specification: lexical analyzer (JLex) parser (CUP) class hierarchies for tree nodes, including unparsing methods (pretty ...

JamMR is a MAKE like tool. It has a MAKE like syntax, but it is `easier' to build Jam files. In my view they lost some of the power of make, though. It is aimed at ...

Homepage: http://www.cs.queensu.ca/~cordy/ TXL CategoryPeople

James Cross http://www.eng.auburn.edu/users/cross/ CategoryPeople

Homepages http://www.research.microsoft.com/~larus/ http://www.cs.wisc.edu/~larus/larus.html CategoryPeople

Homepage: http://www.cwi.nl/~jan/ ASFandSDF Stratego.CodeBoost CategoryPeople

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

JavaCC (Java Compiler Compiler) is the most popular parser generator for use with Java applications. Website: https://javacc.dev.java.net/

For most parser generators there exists a grammar for the Language. Overview: SableCC 1.0.2 1.1 1.4 JavaCC 1.5 ANTLR: Parsers, Part III: A Parser For The Java Language ...

I have collected 9 tests from various places, and tested 9 bytecode to Java decompilers that I could get access to for free. The best one (JODE) only passes 6 of the ...

TOC Java Bytecode Decompilers Decompilers that read Java bytecode programs usually decompile to Java, since that is the language that the majority of such programs ...

Sun's HotSpot. See also their white paper and technical report "Mixed-mode Bytecode Execution". Overview of the IBM Java Just-in-Time Compiler. IBM's Jikes RVM (the ...

Not to be confused with IMake, JavaIMake is a platform independent make processor. It is written in Java and it requires Java to run. It is a commercial product. http ...

Java is an object-oriented language. http://www.java.sun.com/ Compilers Decompilers Dynamic Compilers Native Compilers Transformation Systems Parser Generators Transformation ...

It seems that most Java native compilers (which allow you to compile your Java source code to native machine instructions) actually read .class files, rather than ...

JonathanHardwick describes a number of Java optimizations at http://www.cs.cmu.edu/~jch/java/

JavaCC LL(1) parser generator producing Java code SableCC LALR parser generator. Generates parse tree and abstract syntax tree classes as well. CUP LALR parser ...

Description One of Java's strengths is that it was designed with the assumption that the environment in which it was running would be changing dynamically. Classes ...

contactinformatie: Matthias van Mourik (mmourik@cs.uu.nl) Vincent van Harmelen( vharmele@cs.uu.nl) projectomschrijving: argouml uitbreiden zodat de omzetting van ...

TOM is a pattern matching compiler, developed at INRIA Website: http://tom.loria.fr/

Homepage: http://www.cs.purdue.edu/jtb/ JTB is a syntax tree builder to be used with the Java Compiler Compiler (JavaCC) parser generator. JensPalsberg

Contact Information Laboratory of Database Application Engineering (LIBD) University of Namur rue grandgagnage 21d 5000 Namur Belgium e-mail : jean.henrard@info.fundp ...

home page http://www-adele.imag.fr/~jmfavre I've just understood how Wiki works. That's fun! (well, I still do not understand what is the parent of a page or at least ...

Jens Jahnke, University of Victoria http://www.csr.uvic.ca/~jens/ CategoryPeople

Homepage: http://www.cs.purdue.edu/people/palsberg JavaTreeBuilder CategoryPeople

Website: http://www.cs.utah.edu/plt/jiazzi/ Main.MartinBravenboer 08 May 2005

Designer/implementer of TAMPR. CategoryPeople

James M. Neighbors (Jim) is the designer of the DracoSystem. CategoryPeople

Homepage: http://www.cs.uu.nl/~johanj/ ProgramCalculation CategoryPeople

Homepage: http://www.notamusica.com/~jmartin/ Topics: RigiSystem

Designer/implementer of TAMPR.

John Brant homepage: http://st-www.cs.uiuc.edu/users/brant/ SmalltalkRefactory ARefactoringToolForSmalltalk CategoryPeople

Homepage: http://www.cs.wvu.edu/~callahan/ NewJacc CategoryPeople

John Gallagher works in program analysis and transformation of logic programs Homepage: http://www.cs.bris.ac.uk/~john/ CategoryPeople

Homepage: http://www.cs.cmu.edu/~jch/ JavaOptimization

Homepage: http://www.di.uminho.pt/~joost.visser On Stratego subweb: Stratego.JoostVisser On Main subweb: Main.JoostVisser Affiliation: Universidade do Minho Topics ...

Jorn Bettin joern.bettin@acm.org http://www.softmetaware.com Transform.CategoryPeople

Homepage: http://horru.lsi.uniovi.es/~labra/ LPS CategoryPeople

Homepage: http://qtj.dhs.org/JPM/ QuinTylerJackson

Journal published by John Wiley devoted to SoftwareMaintenance and SoftwareEvolution. See http://www.interscience.wiley.com/jpages/1040-550X/ CategoryJournal

Journal of Systems and Software http://www.elsevier.nl/locate/jss On line at: http://www.sciencedirect.com/science? ob JournalURL cdi 5651 auth y acct C000040419 version ...

http://juggersoft.com Also: http://www.sstglobal.com Originally: http://www.sourcecovery.com Note: No "re" and no hyphen; www.source-recovery.com is a different company ...