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

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://cs.nyu.edu/~jessie/apts.html APTS is a the Abstract Program Transformation System developed by RobertPaige. CategorySystem Contributions by Main ...

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Homepages http://www.research.microsoft.com/~larus/ http://www.cs.wisc.edu/~larus/larus.html 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 ...

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

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

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

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

Just In Time dynamic compilers, also called JITs, are programs that postpone compilation (translation from some input language such as Java ByteCodes) until the code ...

KIDS (Kestrel Interactive Development System) is a prototype TransformationSystem. Homepage: http://www.kestrel.edu/HTML/prototypes/kids.html See also: DougSmith ...

Homepage: http://www.cs.uu.nl/staff/karina.html Stratego.StrategoLanguage CategoryPeople

Keith Bennet is one of the founders of the ResearchInstituteInSoftwareEvolution. http://www.dur.ac.uk/~dcs1elb/personnel/dcs0kb.html CategoryPeople

Krzysztof Czarnecki http://www.prakinf.tu-ilmenau.de/~czarn/ GenerativeProgrammingBook His currently a faculty member at Electrical and Computer Engineering, University ...

Workshop on Language Descriptions, Tools and Applications Description The aim of this one day workshop is to bring together researchers from academia and industry ...

Homepage: http://www.ecs.soton.ac.uk/~mal/systems/logen.html LOGEN is an offline partial evaluation system for Prolog written using the so called "cogen approach ...

Homepage: http://lsi.uniovi.es/~labra/LPS/LPS.html LPS is a LanguagePrototyping System based on ModularMonadicSemantics and GenericProgramming A Language Prototyping ...

by JoseLabraGayo and M. C. Luengo Diez and J. M. Cueva Lovelle and A. Cernuda del Rio In Electronic Notes in Theoretical Computer Science 44 No. 2 (2001) http://www ...

LaTeX is a document preparation system. HeVeA is a translator for LaTeX to HTML written in CAML. CategoryLanguage

Homepage: http://www.kestrel.edu/HTML/people/meertens/index.html BirdMeertensFormalism CategoryPeople

Language Prototyping: An Algebraic Specification Approach ArieVanDeursen, JanHeering, PaulKlint (editors) World Scientific Publishing Co., 1996. AMAST Series in Computing ...

Homepage: http://www.lri.fr/Anglais/Recherche/demons/membres/puel.html ATypedPatternCalculus http://www.lri.fr/Francais/Recherche/demons/membres/Puel-all.html CategoryPeople ...

Lecture Notes in Computer Science (LNCS) is a series of conferenc proceedings published by SpringerVerlag. See http://www.springer.de/comp/lncs/index.html for details ...

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

Lua the Programming Language Lua is a powerful light-weight programming language designed for extending applications. Lua is also frequently used as a general-purpose ...

Homepage: http://www.eng.uerj.br/~ldmm/luiza.html PatternMatching CategoryPeople

LX is a general purpose compiled programming language, like C, C++, Pascal, Ada or Eiffel. As a language, LX has many interesting features. But what makes it interesting ...

Description MAG is a small transformation system for a subset of Haskell developed by OegeDeMoor and GaneshSittampalam. Homepage http://web.comlab.ox.ac.uk/oucl/research ...

Homepage: http://www.iasi.rm.cnr.it/~proietti/system.html The MAP Transformation System is a tool which is designed to support the interactive transformation of logic ...

Homepage: http://www.cs.uu.nl/staff/martijn.html CategoryPeople

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

Staged Meta Programming Staged languages distinguish stages of execution. Many compile-time meta-programming systems distinguish only a run-time and a compile-time ...

MicroAPL Ltd. offer a variety of innovative porting tools and services. Relogix is an advanced new software conversion tool which can take assembly-language source ...

MicroAPL Ltd. http://www.microapl.co.uk MicroAPL Ltd. offer a variety of innovative porting tools and services. Relogix is claimed to be an advanced software conversion ...

Montages Software Services is a group of software engineers specializing in generative technologies and focused on the financial industry to increase their productivity ...

Homepage: http://www.cs.wvu.edu/~callahan/software.html a parser generator system built upon Sun Microsystems JavaCC tool and the PurdueUniversity Java Tree Builder ...

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

Object-Oriented Reengineering Patterns is a book by Serge Demeyer, Stéphane Ducasse and Oscar Nierstrasz, published by Morgan Kaufmann and DPunkt. As the title says ...

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

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

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

OpenJava: A Class-Based Macro System for Java (pdf) Additional resources: OpenJava website OpenJava tutorial Master thesis on OpenJava: An Extension Mechanism for ...

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

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

Homepage: http://www.semdesigns.com/Products/Parlanse/index.html A Parallel Language for Symbolic Expression Designed to support irregular parallel computations, ...

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

Homepage: http://www.acm.org/sigs/sigplan/pldi.htm 2005 : http://www.research.ibm.com/pldi2005/ Programming Language Design and Implementation Deadline: November ...

PREA Panel on Reverse Engineering and Architectural evolution Co-located with CSMR 2002 Tuesday 12 March 2002, 14:00 16:00 ReverseEngineering is the process of recovering ...

Homepage: http://www.andrewcooke.free-online.co.uk/jara/pancito/index.html Pancito is a HaskellLanguage library for image manipulation created by AndrewCooke based ...

Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ...

Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ...

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

Resources Pattern Matching Pointers : http://www.cs.purdue.edu/homes/stelo/pattern.html Definition Term pattern matching comes in many variations. The basic problem ...

Homepage: http://www.isi.edu/software-sciences/wile/Popart/popart.html (Dead link, possible substitution: http://mr.teknowledge.com/wile/popart.html) Popart provides ...

Homepage: http://www.crpc.rice.edu/MSCP/preston.html CategoryPeople

The email list is described at: http://www.craigc.com/pg/email.html. This list is used for discussions on GenerativeProgramming, and postings of calls for papers for ...

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

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

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

The UVicReverseEngineeringTutorial defines program understanding as The task of building mental models of the underlying software at various abstraction levels, ranging ...

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

QueryViewTransformation is the OMG's upcoming (due end 2004/start 2005) standard for specifying MOF model queries, views, and transformations. It's main significance ...

Homepage: http://qtj.dhs.org/~quinn/index.html JournalOfPatternMatching

REcursive Functions Algorithmic Language, the first language used to experimenting with SuperCompilation by ValentinTurchin. See: REFAL/Supercompilation Community ...

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

by RichardKelsey and PaulHudak Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (POPL'89) . 281--292, 1989, http://citeseer ...

http://www.glossa.co.uk/reap.html GRAY The REAP tools by InterGlossa Ltd support reverse engineering services, especially for microcontrollers such as the Zilog Z80 ...

Dongwon Lee, Murali Mani, Makoto Murata. Technical Report, IBM Almaden Research Center, RJ# 10197, Log# 95071 , November 16, 2000 Abstract A mathematical framework ...

An on line bibliography on ReEngineering compiled by RainerKoschke is available via http://www.informatik.uni-stuttgart.de/ifi/ps/reengineering/index.html You can ...

A systems ReEngineering pattern is a description of an expert solution to a common systems reengineering problem, including its name, context, and advantages and disadvantages ...

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

http://www.comp.lancs.ac.uk/projects/renaissance/index.html This web site is intended as a resource for the entire Software ReEngineering community. It also covers ...

In 1990, ElliotChikofsky and JamesCross published Reverse Engineering and Design Recovery: A Taxonomy , IEEE Software 7(1):13-17, 1990. http://doi.ieeecomputersociety ...

The ReverseAndReengineeringTaxonomy defines reverse engineering as: The process of analyzing a subject system with two goals in mind: 1 to identify the system's components ...

Reverse Engineering: A Roadmap HausiMueller, JensJahnke, Dennis Smith, PeggyStorey, Scott Tilley, and KennyWong In A, Finkelstein (ed.) The Future of Software Engineering ...

http://www.backerstreet.com/rec/rec.htm REC, a Reverse Engineering Compiler by Giampiero Caprino (gcaprino@katamail.com), is a portable decompiler which supports a ...

The Rewriting Calculus provides a combination of functional programming and term rewriting. http://www.loria.fr/~ckirchne/ rho/rho.html HoratiuCirstea ClaudeKirchner ...

Homepage: http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html BirdMeertensFormalism CategoryPeople

The Rigi C parser, cparse , is no longer supported. However, you can still download cparse package; see RigiReleases. Kostas Kontogiannis has kindly written down his ...

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

Publication list (until ~1998, now outdated): http://www.rigi.csc.uvic.ca/Pages/publications.html More recent publications: Rigi An Environment for Software Reverse ...

This page collects links to systems supporting RuleBasedProgramming. Feel free to add missing links. TermRewritingSystems TransformationSystems ObjectOrientedRules ...

Proceedings of the WorkshopOnRuleBasedProgramming 2002: to appear 2001: http://www.elsevier.nl/locate/entcs/volume59.html 2000: http://www.loria.fr/~ckirchne/ rule2000 ...

Semantics, Applications and Implementation of Program Generation Deadline: March Conference: September (with PLI) 2002: http://www.cs.yale.edu/homes/taha/saig 2001 ...

Specification and Description Language http://www.tdr.dk/public/SDL/SDL.html

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

The SoftwareProductLine Conference 2000: http://www.sei.cmu.edu/plp/conf/SPLC.html 2002: http://www.sei.cmu.edu/SPLC2/ 2004: http://www.sei.cmu.edu/SPLC2004/ CategoryConference ...

Software Engineering Body of Knowledge. The software engineering body of knowledge is an all-inclusive term that describes the sum of knowledge within the profession ...

Scaffolding for Software Renovation by Alex Sellink and Chris Verhoef. Available: ps 1 html 2 pdf 3

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

Scheme is a dialect of LispLanguage, i.e., another FunctionalProgrammingLanguage. http://www.schemers.org DrScheme: a programming environment for Scheme Teach Yourself ...

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

Smalltalk Refactory The (Smalltalk) Refactoring Browser is an interactive program for ProgramRefactoring, i.e., behaviour preserving transformations that improve ...

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

Software Architecture: a Roadmap David Garlan In A, Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event colocated with ICSE 2000). Roadmap ...

Definitions of Software Architecture. There are many definitions of what SoftwareArchitecture is: an overview of these is given at http://www.sei.cmu.edu/architecture ...

Software configuration is concerned with creating different specializations of a software artifact for different environments. (See also VariabilityManagement) Configuration ...

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

ICGT 2002 Workshop on Software Evolution Through Transformations (SET 2002) Towards uniform support throughout the software life-cycle Transformations of artefacts ...

Software Maintenance And Evolution: A Roadmap By KeithBennett and VaclavRajlich. In A Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event ...

Software Migrations Ltd Software Migrations Ltd (SML) use formal transformations to convert one form of code to another; they can work on anything from assembly language ...

From W. Humphrey, Managing the Software Process , Addison-Wesley, 1989: The software process is the set of tools, methods, and practices used to produce a software ...

Software product line Group of products, sharing a common, managed set of features to satisfy the needs of a selected market. J. Withey, Investment Analysis of Software ...

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

sortrsf is a command line program that is part of the RigiSystem. If your Rigi environment is setup: documentation is located at $RIGI/doc/rigiutils/sortrsf.html ...

SourceAgain is a commercial Java decompiler by Ahpah Software. SourceAgain correctly recovers Java control structures and optimizations from the bytecode. Further ...

http://www.v-com.com/product/devsopr.html Sourcer is a commercial program, for disassembling x86 binaries (EXE, NE and PE). Sourcer 8.0, includes the BIOS Preprocessor ...

SpecWare is a ProgramSynthesis system based on CategoryTheory. Homepage: http://www.kestrel.edu/HTML/prototypes/specware.html

TXL Software Research Inc. is the company that distributes and supports TXL Homepage: http://www.thetxlcompany.com/thecompany.html

Makoto Murata, Dongwon Lee and Murali Mani Abstract Taxonomy of XML Schema Languages using Formal Language Theory On the basis of regular tree languages, we present ...

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

Template Haskell Website Template Haskell at the Haskell Wiki Implementation Template Haskell is available in GHC 6.0 Publications Papers on Template-Haskell Template ...

Homepages http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html http://research.microsoft.com/~thoare/ PlayingByTheRules CategoryPeople

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

Description Several companies provide products or services based on program analysis and transformation technology AbsInt AbsoftCompany AllenSystemsGroup (Viasoft ...

Conferences and Workshops on Program Transformation Transform-based Events Events with their home page on this wiki. Feel free to use this wiki to host the webpage ...

Here are some research groups that work on program transformation, ordered by region. Netherlands Software Technology Group (Universiteit Utrecht), http://www.cs.uu ...

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

The following people are somehow related to ProgramTransformation. Note that the list is by no means complete. Please add anyone (including yourself) to the list, ...

A program transformation system is a (collection of) tool(s) for implementing ProgramTransformations. Survey of Transformation Systems There are many transformation ...

The Tuple-Attribute language (TA)is based on the RSF triple notation. Edges and nodes are specified identically to RSF. Nodes and types can be attributed. Attributes ...

The University of Berne (Stephane Ducasse and Oscar Nierstrasz) together with the University of Antwerp (Serge Demeyer) created a tutorial on object-oriented reengineering ...

University of California, San Diego SoftwareEvolution Group http://www-cse.ucsd.edu/users/wgg/swevolution.html Software is changed--maintained and evolved--more often ...

Unified Modeling Language see http://www.rational.com/uml/index.jsp for tool and SoftwareProcess support see http://www.visual-paradigm.ocm/vpuml.php for powerful ...

Introduction Unicode is an effort to create a single character set that includes every single character needed by a written human language on our the planet. An important ...

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

Understanding Software Systems Using Reverse Engineering Technologies: Research and Practice HausiMueller , Department of Computer Science, University of Victoria ...

There are many tools for editing UML diagrams. I conducted a little comparison to find a good tool to use in a software engineering course in the Spring of 2000. This ...

Web site collecting all sorts of resources on ProgramUnderstanding, set up by FrancoiseBalmas. http://www.ai.univ-paris8.fr/UPU/repository.html CategoryProgramUnderstanding ...

250 Machine-Independent Computer Programming TABLE XIII MACHINE LANGUAGE INSTRUCTION REPERTOIRE OF THE UNIVAC M-46O COUNTESS COMPUTER FF Function FF Function 00 Illegal ...

Vaclav Ralich, http://www.cs.wayne.edu/~vip/VaclavRajlich.html Topics: SoftwareMaintenance DocumentationGeneration CategoryPeople

Russian philosopher-scientist, developer of REFAL language and SuperCompilation, a ProgramOptimization technique. See http://pespmc1.vub.ac.be/TURCHIN.html Main.MaD ...

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

JohnLaunchbury and TimSheard. Warm Fusion: Deriving Build-Catas from Recursive Definitions. Conference Record 7th ACM SIGPLAN/SIGARCH Int.Conf. on Functional Programming ...

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

Description (from call for papers) Rule-based formalisms are ubiquitous in computer science, and even more so in constraint reasoning and programming. In constraint ...

http://www.actworld.com/tools/index.shtml XACT by Applied Conversion Technologies, Inc. is a tool for transforming assembly language to C, which is part of X4MR-Based ...

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

Java: http://www.xmlpull.org/ JSR 173: http://www.jcp.org/jsr/detail/173.jsp Microsoft's XmlReader Main.MartinBravenboer 30 May 2002

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