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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The DSLAnnotatedBibliography starts by definining the terminology used in the paper. This page collects comments, extensions, or additional references concerning 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 ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 Father of Decompilation ATTACHURL /maury.jpg \ ATTACHURL /maurysig.jpg Permission Requested. IEEE Transactions of Software Engineering. \ Figure courtesy of Bill ...

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 Functional programming languages can be used as a platform for program transformation in particular and transformational programming in general. A transformation ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Legal aspects of ReverseEngineering can be complicated. CristinaCifuentes has collected some information on http://www.csee.uq.edu.au/~cristina/cal.html (now somewhat ...

If decompilation is possible to a certain extent, is it then also allowed? Decompilation can be used for a number of reasons (see WhyDecompilation for more), including ...

Lisp stands for LISt Processing and was the first Programming Language. Resources: Lisp programming language at the Wikipedia Articles on Lisp at the site of Paul ...

Little Languages: Little Maintenance? By ArieVanDeursen and PaulKlint JournalOfSoftwareMaintenance, 10 :75-92, 1998 Abstract So-called little, or DomainSpecificLanguages ...

TWiki.TWikiRegistration is misused as login / authentication. This complicates stuff using htaccess now EelcoVisser 09 Nov 2001) In order to encourage people to ...

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

Decompilation of machine code programs usually requires a general approach. This approach analyses the semantics of the executable, and from this derives an equivalent ...

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

by PhilippKutter and AlfonsoPierantonio. In Journal of Universal Computer Science, vol. 3, no. 5 (1997), 416--442 Abstract Montages are a new way of describing all ...

The goal of the Morale project from GeorgiaTech is to facilitate SoftwareEvolution of LegacySystems. Facilitation takes the form of improved quality by requirements ...

Homepage: http://www.mozart-oz.org Announcement The Mozart Programming System 1.2.0 Available at: http://www.mozart-oz.org Systems supported: many Unix flavors, Windows ...

EelcoVisser. Multi-level specifications. In ArieVanDeursen, JanHeering, and PaulKlint, editors, LanguagePrototyping. An Algebraic Specification Approach , volume 5 ...

New-style EXE Format An executable (.EXE) file for the Windows operating system contains a combination of code and data or a combination of code, data, and resources ...

Tom Moran wrote: A working decompiler for NELIAC, an Algol 58 derivative language not too unlike C, is described (including source listing) in Appendix D in "Machine ...

http://www.eecs.harvard.edu/~nr/toolkit/ The New Jersey Machine-Code (NJMC) Toolkit helps programmers write applications that process machine code assemblers, disassemblers ...

Description OPTRAN LMW88 is a specification language for attributed tree transformation written by Reinhard Wilhelm at the University of Saarlandes in the early 1980 ...

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

Object-oriented Tree Traversal with Tools.JJForester TobiasKuipers, JoostVisser Abstract We want to use the advanced language processing technology available in the ...

ON THE INVERSE OF COMPILING W.L. Caudle Sperry-UNIVAC 26 April 1980 1. INTRODUCTION It is fitting that the subject of program conversion aids and portability be a ...

7. SUMMARY A decompiler model has been described which was implemented and which achieved a relatively high figure of merit. There are, however, many fundamental ...

Read: You can use this web site like any other. Navigate: This website has some extra features not found on most other websites. For example, all internal links are ...

Open C++ is a version of CPP with the Metaobject Protocol providing reflection capabilities. The programmer who want to use Open C++ writes a meta-level program, which ...

Abstract In an idealized world, researchers work together to incrementally build an edifice of knowledge, and to disseminate this knowledge in accesible and usable ...

Why Researchers should produce Open Source Software Many research activities, escpecially in the field of computer science, involve the development of software. Sometimes ...

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

The PILER Decompilation System TOC The PILER decompilation system is documented in Barb74 . However, this document is probably only available in Microfiche form, ...

Frank Tip, Chris Laffra, Peter F. Sweeny, David Streeter. Practical Experience with an Application Extractor for Java . In Proceedings of the Fourteenth Annual Conference ...

Practical Reusable UNIX Software Krishnamurthy (editor) John Wiley Sons, 1995. Book about a collection of software from AT T Research Labs including AcaCia / CIAO ...

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

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

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

The decompyle service decompiles Python byte-code (in .pyc or .pyo files) into python source code. It may be possible to license the decompiler for unlimited corporate ...

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

The Reengineering Wiki ArieVanDeursen and EelcoVisser In Proceedings of the 5th European Conference on Software Maintenance and Reengineering ( CSMR ), 2002. IEEE ...

Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Topics Progress Testing Programs Documents Links Ideas Progress ...

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

Standard : http://www.oasis-open.org/committees/relax-ng/ RelaxNG is a SchemaLanguageForXML based on RegularTreeGrammars. It is (suprisingly) more powerful and easier ...

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

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

Rigi Q A In this document the following tools are frequently mentioned: sortrsf (See SortRSF) htmlrsf (See HtmlRSF) rigiedit (See RigiEdit) Q: rigiedit is dog-slow ...

Information if you are new to Rigi: Purpose Rigi is a ReverseEngineering environment. It consists of a set of tools: parsers, command-line utilities, and an interactive ...

Specification: RigiRSFSpecification Errata: In a source-location the elements are separated with comma, not semicolon. Errata for "Appendix: Tool Support": rigiedit ...

The original specification was posted in the Rigi mailing list (now defunct): http://www.rigi.csc.uvic.ca/list-archives/rigi-developer-archive/2000-02-10-15.26.16 ...

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

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

Software Design And Management AG. http://www.sdm.de/ Consulting firm which also does ReEngineering projects using its own hypertext repository called SHORE. SHORE ...

SORCERER is the tree parser generator of ANTLR. Papers TerenceParr. Language Translation Using PCCTS and CPP. A Reference Guide. Automata Publishing Company, San Jose ...

EelcoVisser. Scannerless Generalized-LR parsing . Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Online: http://www.cs.uu ...

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

Similix is an autoprojector (self-applicable partial evaluator) for a large higher-order subset of the strict functional language Scheme. Similix treats source programs ...

Homepage : http://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 ...

A survey of software architecture is provided by David Garlan, in SoftwareArchitectureARoadMap. Garlan loosely defines architecture as a software system's gross organization ...

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

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

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

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

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

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

The software visualization 1 group at GeorgiaTech describes software visualization as: the use of computer graphics and animation to help illustrate and present computer ...

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

Homepage: http://www.logic.at/strategies/ Series of workshops on strategies in automated deductions. The page contains links to systems providing strategies. Copenhagen ...

Dagstuhl Seminar 3061 Software Architecture: Recovery and Modelling More information on this seminar: http://www.dagstuhl.de/03061/ http://www.bauhaus-stuttgart.de ...

Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 Software architecture recovery aims at presenting existing software ...

Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 SwarmForum Call for Participation Software architecture recovery ...

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

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

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

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

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

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

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

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

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

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

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

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

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

International Workshop on Unanticipated SoftwareEvolution Techniques and technologies that offer support for software evolution are still far from ideal. In particular ...

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

Visitor Combination and Traversal Control by Transform.JoostVisser This paper describes VisitorCombinators. These are implementations of the Visitor interface that ...

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

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

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

From the DSLAnnotatedBibliography: Our definition of DomainSpecificLanguages inherits the vagueness of one of its defining terms: problem domain . Rather than attempting ...

Why decompilation? Why not just disassemble? Consider the Java world, where there are simple disassemblers and sophisticated decompilers that often work well and ...

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

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

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

Homepage: http://xduce.sourceforge.net/ A typed language for processing XML documents. XDuce uses regular expression types ( SchemaLanguageForXML ) to describe the ...

Homepage: http://www.w3.org/XML/ XML is the Extensible Markup Language, a format for the exchange of structured data. XML, which is a simplified subset of SGML, was ...

Quoting from http://www.xtran-llc.com/xtran.html : XTRAN is a proprietary expert system for symbolic manipulation of computer languages, including: Assemblers Third ...

The design and evaluation of appropriate SoftwareArchitectures is key to the effective development, management, evolution, and reuse of software systems. However, ...