The following contributions were selected (out of 15 submissions) for presentation at the workshop: Anthony Anjorin, Gergely Varro and Andy Schürr. Complex Attribute ...

Details about the conference program will follow later.

Registration for BX 2012 will be part of the registration for ETAPS 2012.

Please see the POPL 2008 web pages.

INCLUDE{ConferenceHeader} INCLUDE{AimsAndTopics} INCLUDE{PublicationVenue} Submissions can use LNCS or EC-EASST style. See the submission guidelines for details. ...

++ Follow on Twitter 2011-07-31 Program Committee formed. 2011-04-25 Workshop date fixed. 2011-03-11 BX accepted as ETAPS 2012 workshop. STOPINCLUDE

TWiki.BX12 Web Preferences The following settings are web preferences of the TWiki.BX12 web. These preferences overwrite the site-level preferences in TWIKIWEB . ...

This is a collection of pointers to descriptions of transformation problems. It would be interesting to see solutions for these problems in different transformation ...

2002-01-23 Creation of WebNews for default web Main.EelcoVisser #26412; #25253; #35759; ( #35760; #32773; #25991; #23433;) “‘ #20845; #21512; #24425;’ #35753; #25105 ...

CALL FOR PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...

You can register online for GPCE'06 at the OOPSLA'06 Registration Site. Advance registration is open now. The GPCE participants should check the OOPSLA'06 page for ...

Submission is closed. Submissions 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research results and/or experience related to the topics list ...

To register for tutorials, go to the OOPSLA registration page. GPCE'06 presents the following tutorials: Tutorial GPCE1: Model Driven Development Basics using Eclipse ...

Under Construction

Program Chairs: Douglas Schmidt (Vanderbilt University, USA) Todd Veldhuizen (Indiana University, USA) Program Committee Members: Giuseppe Attardi (University of Pisa ...

Workshops/Tutorials chairs: Christa Schwanninger (Siemens, Germany) Arno Jacobsen (University of Toronto, Canada) GPCE'06 Workshops And Tutorials Schedule INCLUDE ...

details about the venue will follow later

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...

2006-10-12 Final Schedule booklet available (pdf) ConferenceProgram updated. 2006-06-21 The list of accepted papers has been posted. 2006-06-16 Online registration ...

TWiki.GPCE06 Web Preferences The following settings are web preferences of the TWiki.GPCE06 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Statistics for TWiki.GPCE06 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 2995 ...

Technical Papers Sunday, October 19 8:50-9:00 Welcome 9:00-10:00 Keynote Session Chair: Julia Lawall Emerging Challenges for Large Scale Systems Integration Dr. Andrew ...

Registration is handled through OOPSLA page

Co-located with OOPSLA 2008 in Nashville, Tennessee. OOPSLA travel and lodging information.

Abstract Over the past 15 years large systems integrators have grown in size by an order of magnitude. During this time the nature of the systems we build, the manner ...

INCLUDE{ConferenceHeader} List of workshops DSPD 2008: Workshop on Domain-Specific Program Development McGPLE 2008: Workshop on Modularization, Composition and Generative ...

Program Chair: Jeremy Siek (University of Colorado at Boulder) Program Committee Members: David Abrahams (Boost Consulting) Uwe Aßmann (Technische Universität, Dresden ...

GPCE Home GPCE'08 Home Program Organization Dates Venue Registration Tutorials GP1: MDE Systems GP2: S. Jarzabek GP3: W. Taha Workshops DSPD 2008 McGPLE 2008 STS ...

TWiki.GPCE08 Web Preferences The following settings are web preferences of the TWiki.GPCE08 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Statistics for TWiki.GPCE08 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 2962 ...

Tutorials and workshops of interest to the GPCE audience can be submitted to MODELS 2009. Please contact the corresponding MODELS chairs for submission details. Accepted ...

General Chair: Jeremy Siek (University of Colorado at Boulder, United States of America) Program Chair: Bernd Fischer (University of Southampton, United Kingdom) Program ...

MODELS and GPCE registration Registration is live now! Advance registration is possible until August 31, 2009. Click here to go to the actual registration page. The ...

GPCE 2009 is co-located with MODELS 2009 and SLE 2009, and will take place in the Hyatt Regency Tech Center. Click here for travel information. Hyatt Regency Tech ...

GPCE Home GPCE'09 Home Keynotes Poster Program Organization Dates Venue Registration Calls for Papers Tutorials Workshops FOSD workshop ElectronicSubmission

TWiki.GPCE09 Web Preferences The following settings are web preferences of the TWiki.GPCE09 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Statistics for TWiki.GPCE09 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 3839 ...

CALL FOR TUTORIAL LECTURES INCLUDE{ConferenceHeader} Important dates Submission of tutorial proposals: Tuesday, July 6, 2010, 23:59:59 Author notification: August ...

#TutorialSchedule Sunday, October 10 All Sunday activities will take place in Academisch Genootschap Eindhoven. The tutorials will take place in the Meerlezaal, FOSD ...

Ralf L mmel is Professor of Computer Science at University of Koblenz-Landau. In his career, he also served at Microsoft Corp., Free University of Amsterdam, Dutch ...

The Hitchhiker's Guide to Software Languages Ralf L mmel, University of Koblenz-Landau, Germany. There is only that much space in the CS curriculum, and there are ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

GPCE Home GPCE'10 Home Keynotes Schedule Accepted Papers Poster Organization Dates Venue Registration Calls for Papers Tutorials Workshop FOSD ElectronicSubmission ...

TWiki.GPCE10 Web Preferences The following settings are web preferences of the TWiki.GPCE10 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Please help us promote GPCE by including the following HTML code in your webpage, which will include the above image link to our website (you can change the width ...

Registration for GPCE, via collocated conference SPLASH, is now open. Early registration deadline for GPCE/SPLASH is September 23. We hope that you will register before ...

The Hitchhiker's Guide to Software Languages Ralf L mmel, University of Koblenz-Landau, Germany. There is only that much space in the CS curriculum, and there are ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

TWiki.GPCE11 Web Preferences The following settings are web preferences of the TWiki.GPCE11 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Help to spread the word about GPCE'12! Please help us promote GPCE by including the following HTML code in your webpage, which will include the above image link to ...

CALL FOR PAPERS INCLUDE{ConferenceHeader} Important Dates Submission of papers: PAPERSUBMISSION Author notification: PAPERNOTIFICATION Scope Generative and component ...

General Chair: Klaus Ostermann (University of Marburg, Germany) Program Chair: Walter Binder (University of Lugano, Switzerland) Program Committee Members: Benoit ...

HotDrink is a JavaScript library for constructing forms, dialogs, and other common user interfaces for Web applications. With HotDrink, instead of writing event handlers ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development just as automation and componentization ...

TWiki.GPCE12 Web Preferences The following settings are web preferences of the TWiki.GPCE12 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Help to spread the word about GPCE'13! Please help us promote GPCE by including the following HTML code in your webpage, which will include the above image link to ...

HotDrink is a JavaScript library for constructing forms, dialogs, and other common user interfaces for Web applications. With HotDrink, instead of writing event handlers ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

TWiki.GPCE13 Web Preferences The following settings are web preferences of the TWiki.GPCE13 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Help to spread the word about GPCE'13! Please help us promote GPCE by including the following HTML code in your webpage, which will include the above image link to ...

HotDrink is a JavaScript library for constructing forms, dialogs, and other common user interfaces for Web applications. With HotDrink, instead of writing event handlers ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

TWiki.GPCE14 Web Preferences The following settings are web preferences of the TWiki.GPCE14 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Which conventions should we follow in GMT project? There are Eclipse conventions at http://dev.eclipse.org/conventions.html . Should we follow those blindly? In FUUT ...

I(Ghica) would like to make some remarks about splitting fuut into various jars, considering dependency management. Maybe we can talk about it tonight. A candidate ...

Introduction As the commercial production of software systems moves towards being a traditional industry, automation will necessarily play a more substantial role ...

Welcome to the Rice PLT project on Resource Aware Programming (RAP) Languages for embedded software ATTACHURL /emsp.gif Introduction This research group explores the ...

CALL FOR PAPERS (closed) INCLUDE{ConferenceHeader} electronic submission at http://gpce.program-transformation.org Scope Generative and component approaches have ...

FINAL CALL FOR PAPERS Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...

CALL FOR PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...

General chair Tim Sheard (OGI School of Science Engineering at OHSU) Program committee chairs Gabor Karsai (Vanderbilt University) Eelco Visser (Utrecht University ...

INCLUDE{http://serl.cs.colorado.edu/~rutherfo/gpce yrw04/cfp/cfp.html} See: http://www.cs.colorado.edu/~rutherfo/gpce yrw04/cfp/cfp.html

CLOSED: Authors of accepted papers and demos should complete two steps by PAPERCAMERAREADY : Electronic submission of camera-ready papers at http://www.easychair.org ...

Proposals for additional items for the meeting should be sent to moggi@unige.it by the end of August Proposals for hosting GPCE'07 (or later editions of GPCE) should ...

CALL FOR TECHNICAL PAPERS INCLUDE{ConferenceHeader} Program Chairs Robert Gl ck, University of Copenhagen Michael Lowry, NASA Ames Research Center Program chairs ...

CALL FOR PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...

General Chair: Eugenio Moggi (Genova University) INCLUDE{ProgramCommittee} Publicity Chair: Eelco Visser (Utrecht University) Workshop and Tutorial Chairs: Andrew ...

INCLUDE{ URLLOCAL venue.html}

Program Chairs: Robert Gl ck (University of Copenhagen) Michael Lowry (NASA Ames Research Center) Program Committee Members: Don Batory (University of Texas, USA) ...

GPCE Home GPCE'05 Home Organization Dates Venue Program Registration GPCE conference Affiliated events Tutorials and Workshops W1 W2 W3 T1 T2 Travel, Hotels, etc ...

TWiki.Gpce05 Web Preferences The following settings are web preferences of the TWiki.Gpce05 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

-- Main.EugenioMoggi 04 Oct 2005 GPCE05-GC-report.html: GPCE'05 General Chair Report GPCE05-PC-report.pdf: GPCE'05 PC Chairs Report GPCE05-PC-report.pdf: GPCE'05 ...

t.b.a.

Details about the conference program will follow later.

Program Chairs Kristoffer Rose (Two Sigma Investments, LLC, USA) Janis Voigtl nder (University of Bonn, Germany) Program Committee Members Bertram Felgenhauer (University ...

Registration for HART 2014 will be part of the registration process for ICFP 2014.

Please see the POPL 2008 web pages.

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Invited Speaker INCLUDE{InvitedTalks} INCLUDE{PublicationVenue}

2014-02-10 Program Committee formed. 2014-02-01 Invited speaker confirmed. 2014-01-16 Workshop date fixed. 2013-12-19 HART accepted as ICFP 2014 workshop. STOPINCLUDE ...

TWiki.HART14 Web Preferences The following settings are web preferences of the TWiki.HART14 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

INCLUDE{"Trash.BlW" warn "off"} Home Lecture Material Lab Exercises Software Documentation Stratego/XT Manual Stratego Library Java Syntax Dryad Library Contact Mailing ...

Name: Doug Smith Email: smith@kestrel.edu Homepage: http://www.kestrel.edu/home/people/smith/index.html Country: USA Comment: Personal Preferences (details in TWIKIWEB ...

Name: Eelco Dolstra Email: eelco@cs.uu.nl Affiliation: Universiteit Utrecht Homepage URL: http://www.cs.uu.nl/staff/eelco.html Country: Netherlands Comment: Personal ...

Name: Jean Bezivin Email: Jean.Bezivin@lina.univ-nantes.fr Homepage: http://www.sciences.univ-nantes.fr/info/lrsg/Pages perso/JB/Jean.Bezivin.html Country: France ...

Name: José Luiz Fiadeiro Email: jose@fiadeiro.org Homepage: http://www.fiadeiro.org/jose/research.html Country: United Kingdom Comment: Personal Preferences (details ...

Homepage: Karl Trygve Kalleberg Email: karltk near ii.uib.no Affiliation: Research Fellow, University of Bergen, Norway Country: Norway Software Program transformation ...

Name: KyleRoss Email: kyle@cs.chalmers.se Homepage: http://www.cs.chalmers.se/~kyle/academe.html Country: Sweden Comment: Personal Preferences (details in TWIKIWEB ...

Name: Mike Van Emmerik Email: emmerik at gmail dot com Homepage URL: http://www.vanemmerikfamily.com/mike (home) Boomerang open source decompiler: http://boomerang ...

Go to http://www.netral.com/index-fr.html. I participate in the board.

Name: Oege de Moor Email: oege@comlab.ox.ac.uk Homepage: http://www.comlab.ox.ac.uk/oucl/work/oege.de.moor.html Country: United Kingdom Comment: Personal Preferences ...

Name: Yan Zhang Email: zhangyan@informatik.uni-stuttgart.de Affiliation: University of Stuttgart, Institute of Computer Science, Department of Programming Languages ...

Packages Octave Frontend Octave Optimizer Octave Typechecker Octave to C++ Backend Developers Daily generated documentation (by xDoc) Roadmap going on Other useful ...

Contents The Optimizer implements several optimization on Octave code. The optimizations are implemented as source-to-source transformation, similar to the optimization ...

The Type Inferencer is a typechecker for the Octave language. Although the implementation has changed significantly, currently the ideas are only expressed in the ...

Details about the conference program will follow later.

Under Construction

INCLUDE{ConferenceHeader} Online registration open at http://www.regmaster.com/conf/popl2007.html Early registration deadline is December 15, 2006 News INCLUDE{WebNews ...

Details about the conference program will follow later.

Proceedings PEPM proceedings in the ACM Digital Library. PE proceedings in SpringerLink. PE summer school in SpringerLink. Dates and Venues PEPM 2007: Nice, France ...

Program Chairs Robert Gl ck (University of Copenhagen, Denmark) Oege de Moor (Oxford University, UK) Program Committee Members Kenichi Asai (Ochanomizu University ...

Registration is part of Registration for POPL 2008 and Affiliated Events. Accommodation and Local Information.

Kenichi Asai (Ochanomizu University, Japan) John Hatcliff (Kansas State University, USA) Michael Leuschel (University of D sseldorf, Germany) Annie Liu (State University ...

Please see the POPL 2008 web pages.

INCLUDE{ConferenceHeader} Online registration open at http://www.regmaster.com/conf/popl2008.html News INCLUDE{WebNews} INCLUDE{AimsAndTopics} The workshop proceedings ...

2008-07-18 PEPM 2009 will be co-located with POPL 2009 in Savannah, GA, USA 2007-12-06 program. 2007-11-20 Registration is open. 2007-11-12 20 submissions accepted ...

TWiki.PEPM08 Web Preferences The following settings are web preferences of the TWiki.PEPM08 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Details about the conference program will follow later.

Dates, Venues, Statistics PEPM 2009: Savannah, Georgia, USA; 2 day workshop; 51 participants; 36 submissions, 20 accepted. PEPM 2008: San Francisco, California, USA ...

Registration for PEPM 2010 is part of the registration for POPL 2010, here. The deadline for reservations in the conference hotel at block price is December 28, 2009 ...

Please see the POPL 2008 web pages.

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow this link for the complete for Papers. There is also a more compact PDF version.

2011-01-24 PEPM'11 in Austin. 2010-01-21 Proceedings in the ACM DL. 2010-01-18 49 participants. 2009-11-26 Schedule available. 2009-11-10 Special feature announced ...

TWiki.PEPM10 Web Preferences The following settings are web preferences of the TWiki.PEPM10 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Details about the conference program will follow later.

Dates, Venues, Statistics PEPM 2010: Madrid, Spain; 2 day workshop; 49 participants; 45 submissions, 18 accepted. PEPM 2009: Savannah, Georgia, USA; 2 day workshop ...

Registration for PEPM 2011 is part of the registration for POPL 2011, here. The deadline for reservations in the Omni Austin Hotel Downtown(Texas) at the special ...

Please see the POPL 2008 web pages.

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} PEPM 2011 is the 20th edition of the PEPM series! To celebrate this 20th anniversary, the general chairs from the ...

2010-12-13 Local Information updated. 2010-11-30 Schedule available. 2009-11-15 15 papers accepted. 2009-10-22 35 papers submitted. STOPINCLUDE

TWiki.PEPM11 Web Preferences The following settings are web preferences of the TWiki.PEPM11 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Details about the conference program will follow later.

We are proud to present the following two invited talks: Markus P schel (ETH Z rich, Switzerland): Compiling Math to High Performance Code BR BR Abstract Extracting ...

Dates, Venues, Statistics PEPM 2011: Austin, Texas, USA; 2 day workshop; 33 participants; 35 submissions, 15 accepted. PEPM 2010: Madrid, Spain; 2 day workshop; 49 ...

Program Chairs Oleg Kiselyov (Monterey, CA, USA) Simon Thompson (University of Kent, UK) Program Committee Members Emilie Balland (INRIA, France) Ewen Denney (NASA ...

Registration for PEPM 2012 is part of the registration for POPL 2012, here. The deadline for reservations in the Sheraton Society Hill Hotel in Philadelphia's historic ...

Please see the POPL 2008 web pages.

2011-12-09 Workshop Program posted. 2011-11-19 Registration is now open 2011-11-08 19 papers accepted out of submitted 37. 2011-10-10 Submission deadline extended ...

TWiki.PEPM12 Web Preferences The following settings are web preferences of the TWiki.PEPM12 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Details about the conference program will follow later.

Dates, Venues, Statistics PEPM 2012: Philadelphia, Pennsylvania, USA; 2 day workshop; 46 participants; 37 submissions, 19 accepted. PEPM 2011: Austin, Texas, USA ...

Program Chairs Elvira Albert (Complutense University of Madrid, Spain) Shin-Cheng Mu (Academia Sinica, Taiwan) Program Committee Members María Alpuente (Technical ...

Registration for PEPM 2013 is part of the registration for POPL 2013. Please go to their online registration page. You must register an account before being shown ...

Please see the POPL 2008 web pages.

TWiki.PEPM13 Web Preferences The following settings are web preferences of the TWiki.PEPM13 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Details about the conference program will follow later.

We are delighted to have the following two invited speakers: Michal Moskal (Microsoft Research, USA): Lessons from a Web-Based IDE and Runtime Abstract At Microsoft ...

Dates, Venues, Statistics PEPM 2013: Rome, Italy; 2 day workshop; 56 participants; 29 submissions, 17 accepted. PEPM 2012: Philadelphia, Pennsylvania, USA; 2 day ...

Program Chairs Wei-Ngan Chin (National University of Singapore, Singapore) Jurriaan Hage (Utrecht University, Netherlands) Program Committee Members Eacute;velyne ...

Please see the POPL 2008 web pages.

TWiki.PEPM14 Web Preferences The following settings are web preferences of the TWiki.PEPM14 web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Syntax definition The syntax definition can be browsed online: PHP4 syntax definition PHP5 syntax definition The syntax definition of the PHP versions identify which ...

TOC Why configuration? The configuration file is used to configure the security-analysis within php-sat. It contains information about three things: Which variables ...

The PHP-Sat logo is made by Robert van Geenhuizen. We are very grateful that he took the time to develop this logo. We think it is 'compleet hip', which means so much ...

There where two sources that made the idea for PHP-Sat. The first source of inspiration came from my work as a assistant at the course "internet programmeren" (Internet ...

TOC Introduction Within the documentation of PHP-front the TheExampleProject is used to explain how you can setup your own project. This documentation uses PHP-Tools ...

Safety levels are used to represent the level of security a variable has within the security analysis. The set of safety levels is finite and has a partial order by ...

We would like to thank the following people/projects/institutes for contributing to PHP-SAT: (In alphabetical order) Bravenboer, Martin For being my mentor during ...

The empty module is a top-level directory in the SVN-repository which contains everything you need to start your own project based on PHP-Front. The special name that ...

These pages describe how you can set-up your PHP-Front-based project. We will use a real-life example to explain all the steps that are involved in making a PHP-Front ...

How to create an ErrorPage with in your WorkPlaceForms This page is a walk-through to generate an ErrorPage in your forms so the form user would access before finalizing ...

The source code of SDF is split in several components. Each component implements the same build interface, and adheres to certain coding standards. Programming environment ...

Introduction A parsing algorithm that maintains multiple LR parsing states in parallel. From Object Oriented Tree Traversal With JJForester : GeneralizedLR parsing ...

SDF2 is a rich formalism for the definition of the syntax of all kinds of computer languages. This page explores the possibilities of the formalism by means of a number ...

A Quick Introduction to SDF describes the essence of SDF2 in 3 pages, but may be slightly out-of-date considering some details. Quick introduction to syntax analysis ...

Language Version Available in View online ASF SDF Library browse AsFix SDF Library browse AspectJ 5.0 AspectJ-front browse ATerm SDF Library browse Bibtex Bibtex ...

Full bibliography of SDF CWI SEN1 publications Syntax Definition and Parsing publications in the list of publications by Eelco Visser Language Filters For Scannerless ...

Related Software This page lists known third-party software that is available for SDF IDE The SDF Meta-Environment is an IDE for SDF. It is currently not released ...

STARTINCLUDE STOPINCLUDE 2008-06-10 Terence Parr author of ANTLR visits CWI to present ongoing work on grammar reuse. 2008-06-09 SDF 2.6.2 source released a special ...

Introduction A parsing algorithm that maintains multiple LR parsing states in parallel. From Object Oriented Tree Traversal With JJForester : GeneralizedLR parsing ...

SDF2 is a rich formalism for the definition of the syntax of all kinds of computer languages. This page explores the possibilities of the formalism by means of a number ...

Introduction The SDF2 Bundle is an easy to install collection of packages related to the SDF2 syntax definition formalism. The packages are developed at the CWI. ...

Online SDF2 and SGLR demo: http://www.cwi.nl/themes/sen1/sdf2-demo/index.html

Quick Introduction to SDF describes the essence of SDF2 in 3 pages. The continuously updated SDF manuals: Quick introduction to syntax analysis PDF The Syntax Definition ...

Language Version Available in View online ASF SDF Library 1.0 browse AsFix SDF Library 1.0 browse AspectJ 5.0 AspectJ-front browse ATerm SDF Library 1.0 browse Bibtex ...

STARTINCLUDE 2007-11-26 Updated the SDF website with new release info. In the meantime much has happened. SDF 2.5.1 has been released. Rob Economopoulos has refactored ...

The Spoofax project consists of the following components: Spoofax/IMP IMP Stratego Stratego/J STRJ SDF JSGLR Aster

Supporting material and documentation: A Tour of Spoofax/IMP (recommended) Example projects Test-Driven Language Development with Spoofax Frequently Asked Questions ...

Updates of Spoofax cause Eclipse to time out; why? Due to a known problem with the combination of Eclipse 3.7, Java 1.7, and Windows, the update manager can be very ...

Documentation INCLUDE{Documentation} Open Issues We maintain a bugtracker with open issues at YellowGrass.org, but if you run into any issues you can also directly ...

TOC Introduction AspectJ-front provides: Modular syntax definition for AspectJ 5.0 in SDF. The AspectJ syntax definition is an extension of the modular syntax definition ...

TOC Description The bibtex-tools package provides components for processing BibTeX files, mainly for producing publication lists in PDF and HTML automatically from ...

The released versions of BibtexTools are currently not available. You can check out the sources directly from https://svn.strategoxt.org/repos/StrategoXT/bibtex-tools ...

E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In Proceedings of the third ACM SIGPLAN International Conference ...

K. Olmos and E. Visser. Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. In R. Bodik, editor, 14th ...

This page collects references to language constructs in other languages that have some commonalities with dynamic rewrite rules. Dynamically Scoped Variables in Lisp ...

xDoc: generate documentation for Stratego specifications General Rob Vermaas is working at the moment on xDoc. Examples of generated documentation can be found at ...

Call for Participation Fifth Stratego User Days (SUD'04) with a special session on CodeBoost March 1 3, 2004 Utrecht University Utrecht, The Netherlands TOC Scope ...

Monday Stratego Development 9:00 Eelco Visser Stratego/XT in 2003 Program Overview StrategoCompiler Announcement: C transformation system 10:00 Martin Bravenboer ...

( this overview is under construction, please contribute! ) .def Foo.def is an SDF definition . An SDF definition is stored in a .def file and is just a bundle of ...

Transform.PatriciaJohann and Main.EelcoVisser. Strategies for Fusing Logic and Control via Local, Application-Specific Transformations. Technical Report UU-CS-2003 ...

TOC Introduction The Stratego/XT Grammar Engineering Tools is a collection of tools for the recovery, development, testing, and maintenance of grammars. Currently ...

under construction Main.EelcoVisser 16 May 2003 A full fledged Stratego application does more than transform an ATerm into another ATerm. To transform programs ...

The Stratego/XT packages integration build provides a heavily tested release of the latest version of Stratego/XT, its dependencies, and packages based on Stratego ...

java-csharp was an experimental project to extend the Java language with a number of new language features, based on the related C# language. Using source-to-source ...

TOC Features Java-front is a package you can use to generate or transform Java code. It contains a handcrafted SDF grammar for Java, signatures generated from this ...

Java-Swul parts The user interface of JavaJuke is build using Java-Swul. The interface source is a mixture of using Swul to create default Swing components and integrating ...

TOC Introduction The examples covered in this page show some of the capabilities of Java-Swul. All the examples are based on code in the xmpl directory in the Java ...

TOC Introduction Jimple-front defines the syntax of Jimple, the typed 3-address representation of Java bytecode of the Soot Java optimization framework. This representation ...

STARTINCLUDE .newsitem h3 { font-size: 100 ; color: #333333; padding-bottom: 3px; border-bottom: 1px dotted #bb9; } .newsitem em { float: right; font-size: x-small ...

Mac OS X / Intel The latest unstable releases of Stratego/XT 0.17 support Mac OS X on Intel machines. An experimental installer is available. See the announcement ...

MetaBorg is a method for providing concrete syntax for domain abstractions to application programmers. The method consists of embedding domain-specific languages in ...

StrategoXT On Microsoft Windows StrategoXT requires Cygwin. In StrategoXT 0.9.4 all serious problems on Microsoft Windows/Cygwin are solved. Standard tarball distributions ...

Otto Skrove Bagge has designed and implemented the second version of CodeBoost. For more information, see http://www.ii.uib.no/~otto/index-eng.html.

TOC Introduction Extensible Compilers. Many extensible compilers and programming languages allow the syntax of a base language to be extended to introduce new syntactic ...

ppgen INCLUDE{"http://losser.st-lab.cs.uu.nl/~mbravenb/tool-ref/ppgen.html"}

A printer is a mapping from terms to text. If this is done in a nice way, i.e., layout is placed in appropriate places, the formatter deserves the term pretty printer ...

M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae, 69:1--56, 2005. (techrep) Abstract ...

E. Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program ...

INCLUDE{PublicationPages} INCLUDE{http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/publications-unstable-latest/publications/strategoxt/strategoxt-alpha.html ...

INCLUDE{PublicationPages} INCLUDE{http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/publications-unstable-latest/publications/strategoxt/strategoxt-by-type.html ...

INCLUDE{PublicationPages} INCLUDE{http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/publications-unstable-latest/publications/strategoxt/strategoxt-by-type-by ...

INCLUDE{PublicationPages} INCLUDE{http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/publications-unstable-latest/publications/strategoxt/strategoxt-by-year.html ...

INCLUDE{PublicationPages} INCLUDE{ PUBLICATIONS /strategoxt/strategoxt-by-year-by-type.html}

B. Fischer and E. Visser. Retrofitting the AutoBayes Program Synthesis System with Concrete Object Syntax. In C. Lengauer et al., editors, Domain-Specific Program ...

STRJ compiles Stratego to Java, and is a Java-based variation of the Compiler. TOC Introduction The compiler comes in two flavors: one called strj , compiled with ...

under construction Main.MartinBravenboer 23 Jul 2003 The samples-net-xml package is a bundle of server-side and client-side example applications using the xml and ...

May 2 4, 2005 Utrecht University Utrecht, The Netherlands TOC Scope The Stratego User Days are a yearly meeting of Stratego/XT developers and users. Topics include ...

K. Olmos and E. Visser. Strategies for Source-to-Source Constant Propagation. In B. Gramlich and S. Lucas (editors) Second International Workshop on Reduction Strategies ...

Delft University of Technology The Program Transformation project of the Software Engineering Research Group at the Delft University of Technology takes care of most ...

Introduction The Stratego Compiler translates a Stratego specification to a C program. The compiler is completely implemented in Stratego (except for the parser, ...

INCLUDE{WebNotice} There are many interesting and less interesting improvements that can be made to the Stratego implementation. Anyone who is interested in doing ...

INCLUDE{WebNotice} Stratego is a language for program transformation and XT is a collection of tools for building and generating program transformation components ...

INCLUDE{WebNotice} EelcoVisser, 23 November 2011 Stratego/XT is available in several ways: Users of Stratego/XT or packages based on Stratego/XT typically just want ...

This page contains a complete overview of all releases of Stratego. Not all distributions are still available from the server. However, all distributions since 0.4 ...

Stratego 0.8.1 Contents of the Distribution The StrategoDistribution contains the complete sources of the StrategoCompiler, StrategoScript and the standard library ...

This page contains a complete overview of all releases of Stratego. Not all distributions are still available from the server. However, all distributions since 0.4 ...

Upcoming STARTINCLUDE 2009-06-16 Code Generation 2009 tutorial on Creating Domain-Specific Languages with Stratego/XT. STOPINCLUDE Past 2008-10-21 OOPSLA 2008 talk ...

Introduction Stratego Regular is a package of tools for working with tree languages. A tree language is a set of trees define by a tree grammar. Stratego Regular ...

Released July 16, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...

Released October 04, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...

Issues closed and resolved in StrategoXT 0.12 Bug STR-90 sdf2rtg (or maybe just pp-rtg) does not support quoted constructors STR-96 Generic application of dynamic ...

Stratego/XT 0.13 released January 13, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs ...

Stratego/XT 0.16 released November 4th, 2005 RED Warning: ENDCOLOR This release has known issues with recent GCC 4.x, GNU Make 3.81, Mac OS X, and operating systems ...

Stratego/XT 0.17 released July 2009 Known issues On 64 bit systems, parsing using SGLR (which is used in many Stratego programs) can result in SEGV due to limited ...

Release Notes Stratego/XT Version 0.17 Bug STR-248 implode-asfix: support AsFix2ME constructs STR-263 Extend ArgOption with default value argument STR-283 pp ...

Version 0.5 released: March 26, 2001 SUMMARY OF CHANGES (with respect to release 0.4.22) StrategoScript an interpreter for Stratego Syntax clean up Compiler and library ...

Stratego/XT 0.9 released on January 26, 2003 Contents TOC Download Source distribution StrategoXT is built using the ATermLibrary, the SDF syntax definition formalism ...

StrategoXT 0.9.1 Version StrategoXT-0.9.1 released on June 4, 2003 Contents TOC Download Source distribution StrategoXT is built using the ATermLibrary, the SDF syntax ...

Introduction The Stratego Shell is an interactive front-end to the Interpreter. In the Stratego Shell you rewrite a current subject term according to strategies ...

StrategoLanguage is designed for transformation of tree or term structures. Stratego has support for the definition of generic traversals over trees, which makes the ...

Stratego/XT is the combination of the language for strategic programming with the XT bundle of transformation tools. XT XT is a bundle of transformation tools that ...

Stratego/XT: An Annotated Bibliography INCLUDE{http://www.stratego-language.org/publications/publications.html}

tfof-deforest is a small demo package around a case study into transformation of functional programs, more specifically: on eliminating intermediate trees by deforestation ...

Dryad is a natural female tree spirit, associated with trees. Also, it is a collection of tools for developing transformation systems for Java source and bytecode ...

An experimentation project for exploring extensibility of languages and their transformations. Sources Blog E.Visser. Transformations for Abstractions. SCAM 2005. ...

Documentation for version 0.4.x of Stratego (2000) not up to date with latest version. The StrategoTutorial HTML PostScript Explains how to get started using Stratego ...

2004-02-25 Nemerle is a new hybrid (functional, object-oriented and imperative) programming language for the .NET platform. Key features of the language include: ...

See also the WebChanges page. STARTINCLUDE 2010-05-28 Version 0.5 of the Spoofax Language Workbench has been released. Read the announcement on the main page. 2010 ...

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

The style guide for writing Javadoc comments is a useful starting point for a style guide for writing xDoc comments for Stratego. this guide should be rewritten to ...

TOC Introduction XWeb is a generic template-based transformation demonstration service; it's implemented as a CGI application. The current version contains a demo ...

With the Stratego-xml syntax defintion you can use the ConcreteSyntax of XML syntax in the Stratego. The stratego-net samples package contains some examples of the ...

a1 a2 a3 a4 a5 a6 a7

STS'06: Software Transformation Systems Workshop part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'06) October ...

The proposal is to have several software transformation systems implement a Tiger compiler. Tiger resources The Tiger language reference is in the Transform.ModernCompilerImplementationInML ...

This is a short introduction training course for TWiki beginners (newbies). SLIDESHOWSTART{template "ATasteOfTWikiTemplate"} A Taste of TWiki The basic function of ...

Administrator Skills Assumptions For each of these, the requirement is either pre-existing knowledge/skill, or the willingness to spend significant time (i.e. from ...

TOC STARTINCLUDE #EncodeURLsUTF8 # Appendix C: Encode URLs With UTF8 This page addresses implemented UTF-8 support for URLs only. The overall plan for UTF-8 support ...

TOC STARTINCLUDE #FileSystem # Appendix A: TWiki Filesystem Annotated directory and file listings, for the 01-Sep-2004 TWiki production release. Who and What is This ...

Comment Plugin This plugin allows users to quickly post comments to a page without an edit/preview/save cycle. ( Discussion in TWiki:Plugins/CommentPluginDev ) TOC ...

DragonSkin customization This topic contains information on how to change user-configurable look-and-feel aspects of !Dragonskin. See DragonSkinInstall for installation ...

DragonSkin installation This topic describes how to install !DragonSkin and perform some simple administrator-level (i.e. requiring the editing of template and CSS ...

Edit Table Plugin This plugin allows you to edit TWiki tables using edit fields and drop down boxes. Tables have an Edit table button if preceeded by an EDITTABLE ...

TOC STARTINCLUDE # File Attachments Each topic can have one or more files of any type attached to it by using the Attach screen to upload (or download) files from ...

TOC STARTINCLUDE # TWiki Formatted Search Results Inline search feature allows flexible formatting of search result The SEARCH{...} variable documented in TWikiVariables ...

GoodStyle Collaboration Tips TWiki has a very simple text formatting shorthand . In any case, you won't go wrong if you simply: start each line without spaces separate ...

Include Topics and Web Pages Using INCLUDE{...} Variable Use the INCLUDE{...} variable to embed the content of another topic or web page inside a TWiki topic. The ...

Instant TWiki Site Enhancements These quick enhancements are aimed at improving TWiki's ease-of-use. New TWiki site administrators are especially encouraged to review ...

Inter-Wiki Link Rules (or Links to other Sites) This topic lists all aliases needed to map Inter-Site links to external wikis/sites. Whenever you write ExternalSite ...

Main Features of TWiki Any web browser: Edit existing pages or create new pages by using any web browser. There is no need to upload pages. Edit link: To edit a page ...

Customization of !PatternSkin This page describes ways to change the layout, fonts and colors of PatternSkin. TOC{title "Page contents:"} Your own TWiki look You ...

Slide Show Plugin This Plugin converts a topic with headings into a slide show. TOC Introduction There is already a defacto standard for presentations, why this Plugin ...

TWiki Spreadsheet Plugin This Plugin adds speadsheet capabilities to TWiki topics. Formulae like CALC{"$INT(7/3)"} are evaluated at page view time. They can be placed ...

The 216 Standard Colors This table can be used to choose a color in WEBPREFSTOPIC of each web. #000000 #000033 #000066 #000099 #0000CC #0000FF #003300 #003333 #003366 ...

TOC STARTINCLUDE # Appendix B: TWiki CSS Listing of CSS class names emitted from TWiki core code and standard plugins, for the 01-Aug-2004 TWiki production release ...

FAQ: I would like to install TWiki on my server. Can I get the source? Answer: TWiki is distributed under the GnuGeneralPublicLicense. You can get the source from ...

TOC STARTINCLUDE # TWiki Forms Form-based input in topics, with name/value pairs stored as Meta Data variables; choose one of multiple forms per web topic Overview ...

TOC STARTINCLUDE # TWiki::Func Module Documentation Official list of stable TWiki functions for Plugin developers Description This module defines official funtions ...

TOC STARTINCLUDE # Appendix D: TWiki Development Timeline 01-Sep-2004 Release (Cairo) Major New Features Automatic upgrade script, and easier first-time installation ...

TOC STARTINCLUDE # TWiki Installation Guide Installation instructions for the TWiki 01-Sep-2004 production release. If you are reading this on your own TWiki installation ...

TOC STARTINCLUDE # TWiki Plugins Plug-in enhanced feature add-ons, with a Plugin API for developers Overview You can add Plugins to extend TWiki's functionality, ...

TWiki Site-Level Preferences The following are site-level settings that affect all users in all webs on this TWikiSite. They can be selectively overwritten on the ...

TWiki is a Web-based collaboration platform A TWiki site is an easy-to-use, full-featured open communications environment: people anywhere on the Web or on an intranet ...

TOC STARTINCLUDE # TWiki System Requirements Server and client requirements for TWiki 01-Sep-2004 Low client and server requirements are core features that keep TWiki ...

TOC STARTINCLUDE # TWiki Templates Definition of the templates used to render all HTML pages displayed in TWiki Overview The new modular template system offers flexible ...

TWiki Topics TOC The basic building block of a TWiki site is called a topic , identified by a unique, hopefully descriptive, TWIKIWEB .WikiWord title. It may seem ...

TOC STARTINCLUDE # TWiki Upgrade Guide Upgrade from the previous TWiki 01-Feb-2003 production release to TWiki 01-Sep-2004 Overview This guide describes how to upgrade ...

## TWiki Upgrade Notes for Version 01 May 2000 If you are coming from a version earlier than the 01 May 2000 production release, please see TWikiUpgradeTo01May2000 ...

TOC STARTINCLUDE # TWiki Upgrade Guide Upgrade from TWiki 01-Dec-2000 or TWiki 01-Sep-2001 to TWiki 01-Dec-2001 (previous to new full release) This guide describes ...

TOC STARTINCLUDE # TWiki Upgrade Guide Upgrade from the previous TWiki 01-Dec-2001 production release to TWiki 01-Feb-2003 Overview This guide describes how to upgrade ...

Note: This topic is included by TWikiVariables STARTINCLUDE #VarATTACHURL ATTACHURL full URL for attachments in the current topic Syntax: ATTACHURL Expands to: ATTACHURL ...

Note: This topic is included by TWikiVariables STARTINCLUDE #VarNOTIFYTOPIC NOTIFYTOPIC name of the notify topic Syntax: NOTIFYTOPIC Expands to: NOTIFYTOPIC , renders ...

Table Plugin Gives extra control of table display: Allows sorting Changing table properties like border width, cell spacing and cell padding Changing background color ...

Text Editor A text editor, or text processor, handles plain text only, different from a word processor because it doesn't do display formatting like bold type, or ...

Text Formatting FAQ The most frequently asked questions about text formatting are answered. Also, TextFormattingRules contains the complete TWiki shorthand system ...

TOC{depth "4"} STARTINCLUDE # TWiki Text Formatting Working in TWiki is as easy as typing in text exactly like email . You don't need to know HTML, though you can ...

Since wabi-sabi represents a comprehensive Japanese world view or aesthetic system, it is difficult to explain precisely in western terms. According to Leonard Koren ...

Welcome to TWiki: a flexible, powerful, secure, yet simple web-based collaboration platform. Use TWiki to run a project development space, a document management system ...

Welcome, WIKIUSERNAME ! Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site ), a meeting place to work on common interests. Anyone can contribute using ...

References on Wiki and Collaboration Some useful articles and books around collaboration and the Wiki technology in particular. TOC Wiki Technology and TWiki Book ...

A WikiWord consists of two or more words with initial capitals, run together. When you type a WikiWord, you establish a hyperlink. It's as easy as that. WikiWords ...

TOC STARTINCLUDE # Windows Install Cookbook Introduction This cookbook is intended to get you up and running with TWiki on Windows quickly, with as few problems as ...

Books and Articles on Optimizing Compilers ModernCompilerImplementation HighPerformanceCompilersForParrallelComputing Other Sites Google Web Directory http://directory ...

Tiger ModernCompilerImplementation by Transform.AndrewAppel Stratego HpcSlides Stratego.StrategoDocumentation TigerCompiler documentation MIPS SpimSimulator Gentle ...

The MIPS architecture is a family of RISC computer architectures designed by Transform.MipsTechnologies. The SpimSimulator can be used to simulate MIPS assembly language ...

spim is a simulator for MIPS AssemblyCode written by Transform.JamesLarus. There are two versions of the program. spim provides a commandline interface and xspim ...

Tiger is the example programming language used in Transform.AndrewAppel's textbook on Transform.ModernCompilerImplementationInML. Language features data types integers ...

Summary Converts an ATerm to a comparable XML document. Description The tools aterm2xml and xml2aterm support the conversion from ATerm to XML and vice versa. Since ...

Name abox2html Synopsis abox2html c i box-term o html-file t title Description The utility abox2html produces an HTML file according to the formatting defined in ...

Name abox2latex Synopsis abox2latex alltt boxenv i box-term o html-file w width t abbreviations file Description The utility abox2latex produces LaTeX code according ...

Description AsFix (ASF+SDF fixed format) is a format for representing parse trees in the ATerm format. Currently two versions of AsFix are in used: AsFix2ME and AsFix2 ...

Name asfix2abox Synopsis asfix2abox c i asfix-tree o box-term p table1 p table2 ... Description The asfix2abox utility is a generic formatter that maps a parse-tree ...

asfix-tools is a collection of tools for the AsFix (ASF Fixed) format. The AsFix format is a format for representing a parse tree. Sdf.SGLR outputs its result in the ...

Description Compiling and installing software packages is often a time consuming and complicated business. You have to read the installation instructions to determine ...

The Box Language is described in the Stratego/XT manual: Box Text Formatting Language Documentation to pretty print a grammar to define pretty print tables Publications ...

Introduction The GPP package is a tool suite for generic pretty-printing. GPP supports pretty-printing of parse-trees in the AsFix format with comment preservation ...

Task How to pretty-print a grammar. Description A grammar can be pretty-printed (to plain text, html, or latex) using the GPP package in the following way: 1. Parse ...

News May-2-2007. Version 0.3 of the koala compiler has been released. Checkout HowToObtainKoalaCompiler Description The Koala-compiler package forms an Open Source ...

Parse-unit is now described in the Stratego/XT Manual: Unit Testing with parse-unit.

The documentation of GPP pretty-print tables is now part of the Stratego/XT manual: Generic Pretty Printing: Pretty Print Tables

rtg2sig Summary Generates a Stratego Signature from an RTG. Options module n Generated module has name n i f input f Read input from f o f output f Write output to ...

Introduction rtg2typematch is a tool for generating a duck-typing-based strategies that check if an ATerm is of a type as defined in an RTG. An example will make ...

Description sdf-front is a collection of tools and specifications for the Stratego.SDF2 concrete syntax Specifications Syntax definition of Stratego.SDF2 Syntax definition ...

autoxt autoxt installs makerules and autoconf macros for using XT tools strc strc stratego-front parse-stratego parses a Stratego module pp-stratego pretty-prints ...

Conversion to ATerms with knowledge of a schema for the XML document is called interpretation of XML against a schema. This kind of conversion is work in pogress, ...

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