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

Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be databases, software ...

Submissions should be submitted electronically to http://www.easychair.org/PEPM2008 Submissions 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research ...

We are proud to feature the following two invited talks: Juan de Lara (Autonomous University of Madrid, Spain): Bidirectional Transformations with Graphical Constraints ...

to be announced

Submission Guidelines INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates}

Proceedings Accepted regular papers will appear as a volume of EC-EASST. A preliminary version of the proceedings, including the short papers and lightning talk abstracts ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...

Submissions are expected in the following categories: regular papers (11 to 15 pages) short papers (up to 8 pages) lightning talks (extended abstracts) Submissions ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

Previous Up Next Introduction So far we have assumed the basic actions applied by strategies are rewrite rules. However, taking a closer look at rules, we see that ...

Previous Up Next Introduction Program transformation systems need some kind of representation for program that can be manipulated. Programmers write programs as texts ...

Previous Up Introduction The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context ...

Salvador Trujillo, Don Batory and Oscar Diaz. Feature Refactoring a Multi-Representation Program into a Product Line Sven Apel and Don Batory. When to Use Features ...

CALL FOR TOOL DEMONSTRATIONS INCLUDE{ConferenceHeader} Program Chairs Douglas Schmidt, Vanderbilt University Todd Veldhuizen, Indiana University Program chairs can ...

CALL FOR TECHNICAL PAPERS INCLUDE{ConferenceHeader} Important Dates There will be no pre-submission. Submission : PAPERSUBMISSION extended Notification: PAPERNOTIFICATION ...

CALL FOR TECHNICAL PAPERS Fifth International Conference on Generative Programming and Component Engineering (GPCE'06) http://www.gpce.org/06/ October 22-26, 2006 ...

CALL FOR POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...

CALL FOR PRACTITIONER REPORTS INCLUDE{ConferenceHeader} Industrial Track Chair Important Dates Practitioner report submission: Notification of acceptance: Program ...

CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chairs Christa Schwanninger, Siemens AG Hans-Arno Jacobson, University of Toronto Tutorial chairs can ...

General Chair: Stanislaw Jarzabek (National University of Singapore, Singapore) INCLUDE{ProgramCommittee} Workshop and Tutorial Chairs: Christa Schwanninger (Siemens ...

The OOPSLA'06 Advance Program, including GPCE-related events, is available now. Workshops Sunday, October 22 Aspect-Oriented Product Line Engineering (AOPLE) 8:30am ...

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

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

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

Tuesday, October 24 8:30-10:00 Technical papers: Staging Session chair: Eelco Visser Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for ...

Using Feature Models for Product Derivation Danilo Beuche, pure-systems GmbH Olaf Spinczyk, University Erlangen-Nuremberg Monday, Oct 23, from 08:30 to 12:00 Abstract ...

Engineering Software Factories for Developing Enterprise Applications Using Model-Driven Techniques Vinay Kulkarni, Tata Research Development and Design Centre Sreedhar ...

Generative Software Development Krzysztof Czarnecki, University of Waterloo Wednesday, Oct 25, from 13:30 to 17:00 Abstract Product-line engineering seeks to exploit ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

CALL FOR PAPERS (pdf) INCLUDE{ConferenceHeader} Important Dates Submission of abstracts : PAPERPRESUBMISSION Submission : PAPERSUBMISSION Notification : PAPERNOTIFICATION ...

CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Important Dates Proposal submission deadline for tutorial proposals: PROPOSALSUBMISSION Date for notification ...

CALL FOR WORKSHOP PROPOSALS INCLUDE{ConferenceHeader} Important Dates Proposal submission deadline for tutorial proposals: PROPOSALSUBMISSION Date for notification ...

General Chair: Yannis Smaragdakis (University of Oregon) INCLUDE{ProgramCommittee} Chair for Satellite Events: Ralf L mmel (University of Koblenz-Landau) Publicity ...

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

Abstract In 1984, John Hughes wrote a seminal paper titled, "Why Functional Programming Matters," in which he eloquently explained the value of pure and lazy functional ...

GPCE Tutorial #1 (GP1) "Effective Model Driven Engineering to Create Domain Specific Languages" by Bruce Trask and Angel Roman, MDE Systems Inc. Date: Oct 22, morning ...

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

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

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

2008-08-04 The conference program is now available. 2008-06-09 Workshops and Tutorials are listed online. 2008-04-03 Submission website is now open. 2008-01-08 Paper ...

CALL FOR PAPERS (pdf) INCLUDE{ConferenceHeader} Important Dates Submission of abstracts : PAPERPRESUBMISSION Now CLOSED Submission : PAPERSUBMISSION PAPERSUBMISSIONPOSTPONED ...

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

GPCE Event Locations (hotel floor plan) Meeting room: Grand Mesa Ballroom D on the 2nd floor Breakfast and coffee breaks: directly outside the meeting room Lunches ...

Eating our own dog food: DSLs for generative and transformational engineering Joint Keynote with SLE Jim Cordy, School of Computing, Queen's University, Kingston ...

Rishiyur S. Nikhil is co-founder and CTO of Bluespec, Inc., which develops tools that dramatically improve correctness, productivity, reuse and maintainability in ...

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

Abstract : Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized ...

Abstract : Function-block-based modeling is often used to develop embedded systems, particularly as system variants can be developed rapidly from existing modules ...

CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates Submission of abstracts: PAPERPRESUBMISSION Submission of papers: PAPERSUBMISSION Author notification ...

Abstract : Aspect-oriented programming provides a convenient high-level model to define several kinds of dynamic analyses, in particular thanks to recent advances ...

General Chair: Eelco Visser (Delft University of Technology, The Netherlands) Program Chair: Jaakko Järvi (Texas A M University, United States of America) Program ...

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

GPCE 2010 will be held in the Auditorium of the Eindhoven University of Technology, co-located with SLE 2010 The Eindhoven University of Technology was founded in ...

Abstract : Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is ...

Abstract : Modular robots are mechatronic devices that enable the construction of highly versatile and flexible robotic systems that can dynamically modify their ...

Project Fortress: A Growable Language for Scientists and Engineers Sukyoung Ryu Abstract We can think of a programming language as a vocabulary of words and a set ...

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

Embedded Domain-speci #64257;c Language Implementation using Dependent Types Edwin Brady Abstract Domain-speci #64257;c languages (DSLs) are programming languages ...

Agile and Ef #64257;cient Domain-Speci #64257;c Languages using Multi-stage Programming in Java Mint Mathias Ricken, Edwin Westbrook, Walid Taha Abstract Domain-specific ...

Ontologies and Software Language Engineering Dragan Gaševi #263;, Fernando Silva Parreiras, Tobias Walter Abstract Trying to advance the current practices for sharing ...

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

Jeroen Arnoldus, Mark Van Den Brand and Alexander Serebrenik: Less is More: Unparser-completeness of Metalanguages for Template Engines Marko Rosenmueller, Norbert ...

Abstract : Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized ...

Abstract : Function-block-based modeling is often used to develop embedded systems, particularly as system variants can be developed rapidly from existing modules ...

CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates (NEW) Submission of abstracts: PAPERPRESUBMISSION (DEADLINE PASSED) Submission of papers: PAPERSUBMISSION ...

Abstract : Aspect-oriented programming provides a convenient high-level model to define several kinds of dynamic analyses, in particular thanks to recent advances ...

General Chair: Ewen Denney (SGT/NASA Ames, USA) Program Chair: Ulrik Pagh Schultz (University of Southern Denmark, Denmark) Program Committee Members: Andrzej W #261 ...

Registration: Salon Foyer (Hilton Executive Tower, downstairs) Conference location: Salon Ballroom I and II (Hilton Executive Tower, downstairs) #TechnicalSchedule1 ...

GPCE 2011 will be held at Hilton Portland and Executive Tower, 921 SW Sixth Avenue, Portland, Oregon, co-located with SPLASH 2011. See hotel website for more information ...

Abstract : Tool support is vital to the effectiveness of domain-speci #64257;c languages. With language workbenches, domain-speci #64257;c languages and their tool ...

Abstract : The relationship between feature modules and feature interactions is not well-understood. To explain classic examples of feature interaction, we show that ...

Abstract : User interfaces exhibit a wide range of features that are designed to assist users. Interaction with one widget may trigger value changes, disabling, or ...

Abstract : Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is ...

Abstract : The adoption of a product line strategy can bring signi #64257;cant productivity and time to market improvements. However, evolving a product line is risky ...

Abstract : Modular robots are mechatronic devices that enable the construction of highly versatile and flexible robotic systems that can dynamically modify their ...

Abstract : The output of a code generator is assumed to be correct and not usually intended to be read or modi #64257;ed; yet programmers are often interested in ...

We are pleased to announce that GPCE 2011 will be featuring 2 excellent tech talks. BR Tech Talk 1: Pragmatics for Formal Semantics Olivier Danvy Abstract This tech ...

Abstract : The validation and veri #64257;cation of reliable systems is a dif #64257;cult and complex task, mainly for two reasons: First, it is dif #64257;cult to ...

Project Fortress: A Growable Language for Scientists and Engineers Sukyoung Ryu Abstract We can think of a programming language as a vocabulary of words and a set ...

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

Embedded Domain-speci #64257;c Language Implementation using Dependent Types Edwin Brady Abstract Domain-speci #64257;c languages (DSLs) are programming languages ...

Agile and Ef #64257;cient Domain-Speci #64257;c Languages using Multi-stage Programming in Java Mint Mathias Ricken, Edwin Westbrook Abstract Domain-specific languages ...

Ontologies and Software Language Engineering Dragan Gaševi #263;, Fernando Silva Parreiras, Tobias Walter Abstract Trying to advance the current practices for sharing ...

GPCE Home GPCE'11 Home Keynotes Schedule Accepted Papers Tech Talks Poster Banner Organization Dates Venue Registration Calls for Papers Tech Talks Workshops ElectronicSubmission ...

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

September 24, 2012 FOSD September 25, 2012 FOSD SLE Doctoral Symposium GPCE 18:15 GPCE/SLE/FOSD Welcome Reception September 26, 2012 SLE GPCE 09:10-09:15 Opening ...

GPCE 2011 will be held at Hilton Portland and Executive Tower, 921 SW Sixth Avenue, Portland, Oregon, co-located with SPLASH 2011. See hotel website for more information ...

Compile-time variability is paramount in many software systems: Users can select desired features and generate a product tailored for their needs. For example, the ...

How do you improve the behavior of a software team? There will always be team members who are great at quickly producing a new prototype, and others who do a great ...

We present a formal calculus for modeling and implementing variation in software. It unifies the compositional and annotative approaches to feature implementation ...

Package Templates (PT) is a mechanism designed for writing reusable modules, called templates, each consisting of a set of classes that can be adapted to their use ...

Aspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide ...

Project Fortress: A Growable Language for Scientists and Engineers Sukyoung Ryu Abstract We can think of a programming language as a vocabulary of words and a set ...

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

Embedded Domain-speci #64257;c Language Implementation using Dependent Types Edwin Brady Abstract Domain-speci #64257;c languages (DSLs) are programming languages ...

Agile and Ef #64257;cient Domain-Speci #64257;c Languages using Multi-stage Programming in Java Mint Mathias Ricken, Edwin Westbrook Abstract Domain-specific languages ...

Ontologies and Software Language Engineering Dragan Gaševi #263;, Fernando Silva Parreiras, Tobias Walter Abstract Trying to advance the current practices for sharing ...

GPCE Home GPCE'12 Home GPCE'13 Home Program Registration Venue and Accommodation Organization Dates Calls for Papers Tech Talks

2012-09-26 The EAPLS 2012 GPCE/SLE Best Paper Award was given to Ferruccio Damiani, Luca Padovani, and Ina Schaefer for their GPCE'12 paper A Formal Foundation for ...

CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates Submission of papers: June 14, 2013 Author notification: August 22, 2013 Scope Generative and ...

General Chair: Jaakko Järvi (Texas A M University, USA) Program Chair: Christian Kästner (Carnegie Mellon University, USA) Program Committee: Jonathan Aldrich (Carnegie ...

October 26, 2013 FOSD Workshop October 27, 2013 Opening and Keynote Address 08:30-08:40 Welcome and Introduction 08:40-10:00 Don Batory. Dark Knowledge and Graph ...

Compile-time variability is paramount in many software systems: Users can select desired features and generate a product tailored for their needs. For example, the ...

How do you improve the behavior of a software team? There will always be team members who are great at quickly producing a new prototype, and others who do a great ...

We present a formal calculus for modeling and implementing variation in software. It unifies the compositional and annotative approaches to feature implementation ...

Package Templates (PT) is a mechanism designed for writing reusable modules, called templates, each consisting of a set of classes that can be adapted to their use ...

Aspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide ...

Project Fortress: A Growable Language for Scientists and Engineers Sukyoung Ryu Abstract We can think of a programming language as a vocabulary of words and a set ...

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

Embedded Domain-speci #64257;c Language Implementation using Dependent Types Edwin Brady Abstract Domain-speci #64257;c languages (DSLs) are programming languages ...

Agile and Ef #64257;cient Domain-Speci #64257;c Languages using Multi-stage Programming in Java Mint Mathias Ricken, Edwin Westbrook Abstract Domain-specific languages ...

Ontologies and Software Language Engineering Dragan Gaševi #263;, Fernando Silva Parreiras, Tobias Walter Abstract Trying to advance the current practices for sharing ...

GPCE Home GPCE'13 Home Keynotes Programm Registration Organization Dates GPCE Poster GPCE Button Venue Grants Call for Papers Tech Talks FOSD Workshop

Andreas Ruprecht, Bernhard Heinloth and Daniel Lohmann: Automatic Feature Selection in Large-Scale System-Software Product Lines Benjamin Hess, Markus Pueschel and ...

INCLUDE{ConferenceHeader} Important Dates Submission of papers: May 30, 2014 Author notification: July 7, 2014 Scope Generative and component approaches and domain ...

General Chair: Ulrik Pagh Schultz (University of Southern Denmark, DK) Program Chair: Matthew Flatt (University of Utah, USA) Local Organizer: Ivica Crnkovic (Mälardalen ...

September 14, 2013 FOSD Workshop September 15, 2013 Welcome and Keynote 08:30-09:00 Welcome and Introduction 09:00-10:00 SLE Keynote: From Language Engineering to ...

GPCE 2013 will be held at Västerås, Sweden, co-located with ASE 2014.

Compile-time variability is paramount in many software systems: Users can select desired features and generate a product tailored for their needs. For example, the ...

Joint GPCE/SLE Keynote Programming Cloud-connected Mobile Devices Nikolai Tillmann (Microsoft Research) We are experiencing a technology shift: Powerful and easy-to ...

How do you improve the behavior of a software team? There will always be team members who are great at quickly producing a new prototype, and others who do a great ...

We present a formal calculus for modeling and implementing variation in software. It unifies the compositional and annotative approaches to feature implementation ...

Package Templates (PT) is a mechanism designed for writing reusable modules, called templates, each consisting of a set of classes that can be adapted to their use ...

Aspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide ...

Project Fortress: A Growable Language for Scientists and Engineers Sukyoung Ryu Abstract We can think of a programming language as a vocabulary of words and a set ...

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

Embedded Domain-speci #64257;c Language Implementation using Dependent Types Edwin Brady Abstract Domain-speci #64257;c languages (DSLs) are programming languages ...

Agile and Ef #64257;cient Domain-Speci #64257;c Languages using Multi-stage Programming in Java Mint Mathias Ricken, Edwin Westbrook Abstract Domain-specific languages ...

Ontologies and Software Language Engineering Dragan Gaševi #263;, Fernando Silva Parreiras, Tobias Walter Abstract Trying to advance the current practices for sharing ...

GPCE Home GPCE'14 Home Registration Program Keynote Tech Talk Poster and Flyer Organization Dates Call for Papers Grants

This is intendet to be a collection of questions and answers regarding GMT architecture. It also is meant to store old discussion and to make GMT more clear to newcomers ...

Generative Model Transformer Edit WebContents to add links to the content bar on the left. Edit WebPreferences to change color of the content bar. This wiki is the ...

The International Conference on Generative Programming and Component Engineering (GPCE) Bylaws Organizational Goals Program generation techniques have the potential ...

The International Conference on Generative Programming and Component Engineering (GPCE) Bylaws Aim Program generation techniques have the potential to revolutionize ...

The GPCE Steering Committee Members Bernd Fischer (SA) (2011-) Ewen Denney (USA) (2012-) Matthew Flatt (USA) (2014-) Jaakko Jarvi (USA) (2010-) Christian Kästner ...

The following papers have been accepted for presentation at the conference: On the design of a domain-specific language for OS process-scheduling extensions Julia ...

CALL FOR TOOL DEMONSTRATIONS INCLUDE{ConferenceHeader} Demonstrations Committee Simon Helsen (Chair), University of Waterloo, Canada William Cook, University of Texas ...

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 POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...

CALL FOR PRACTITIONER REPORTS INCLUDE{ConferenceHeader} Industrial Track Chair Important Dates Practitioner report submission: Notification of acceptance: Program ...

CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chair Jeff Gray, University of Alabama at Birmingham (tutorials04@gpce.org) Important Dates Proposal ...

CALL FOR WORKSHOP PROPOSALS(closed) INCLUDE{ConferenceHeader} Workshop Chair Zino Benaissa. Intel, Austin, Texas. (workshops04@gpce.org) Important Dates Workshop ...

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

TOC Sunday, October 24, 2004 : Tutorials and Workshops GP1: Adaptive Object-Model Architecture GP2: Multi-stage Programming GP3: Generative Software Development Workshop ...

TOC Mailinglists For all chairs https://mail.cs.uu.nl/mailman/listinfo/gpce-org For the PC chairs General chair https://mail.cs.uu.nl/mailman/listinfo/gpce-chairs ...

Chair: Gabor Karsai This panel will discuss crucial questions about the state and future of Generative Programming. Panelists include: D. Batory, K. Czarnecki, J. ...

GPCE/OOPSLA Demonstration 16 The Concern Manipulation Environment Peri Tarr, IBM Thomas J. Watson Research CenterMatthew Chapman, IBM Hursley ParkWilliam Chung, IBM ...

GPCE Demonstration 23 Implementation of DSLs using staged interpreters in MetaOCaml Kedar Swadi , Rice University Tue, 26 Oct., 15.30 16.15, Exhibition Hall Demo ...

Peter D. Mosses Now available: Slides BRICS and Department of Computer Science, University of Aarhus, Denmark pdmosses@brics.dk http://www.brics.dk/~pdm Peter Mosses ...

INCLUDE{ConferenceHeader} Software Transformation Systems Workshop Workshop Organisers Magne Haveraaen, University of Bergen, Norway Jim Cordy, Queen's University ...

Multi-stage Programming in MetaOCaml Description Despite their potential for improving reuse, abstraction mechanisms such as objects, abstract types, polymorphism ...

Generative Software Development Description System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing ...

Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering Description As software demands grow, so does the need ...

Instructions The following technical papers have been accepted for presentation at the conference (in no specific order): Efficient Code Generation for a Domain Specific ...

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

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

FIRST CALL FOR CONTRIBUTIONS 4th International Conference on Generative Programming and Component Engineering (GPCE'05) Sep 29 Oct 1, 2005, Tallinn (Estonia) http ...

CALL FOR POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...

CALL FOR PRACTITIONER REPORTS INCLUDE{ConferenceHeader} Industrial Track Chair Important Dates Practitioner report submission: Notification of acceptance: Program ...

CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chairs Andrew Malton, University of Waterloo Jeff Gray, University of Alabama at Birmingham Tutorial ...

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

Online registration for all co-located events is available from http://www.cs.ioc.ee/tfp-icfp-gpce05/ All registrations should be done by LATEREGISTRATION , since ...

CLOSED: Electronic submission of abstracts (by PAPERPRESUBMISSION ) and papers and demos (by PAPERSUBMISSION ) should be done at http://www.easychair.org/GPCE-05/submit ...

GPCE/OOPSLA Demonstration 16 The Concern Manipulation Environment Peri Tarr, IBM Thomas J. Watson Research CenterMatthew Chapman, IBM Hursley ParkWilliam Chung, IBM ...

GPCE Demonstration 23 Implementation of DSLs using staged interpreters in MetaOCaml Kedar Swadi , Rice University Tue, 26 Oct., 15.30 16.15, Exhibition Hall Demo ...

#OscarNierstrasz Oscar Nierstrasz: Object-oriented Reengineering Patterns ABSTRACT Surprising as it may seem, many of the early adopters of object-oriented languages ...

Thursday, September 29, 2005 : GPCE Conference 8:45 9:00 Opening Session A (session chair: Eugenio Moggi) 9:00 10:00 Oscar Nierstrasz: Object-oriented Reengineering ...

INCLUDE{ConferenceHeader} ProgramMainEvent ProgramsAffiliatedEvents Software Transformation Systems Workshop Workshop Organisers Magne Haveraaen, University of Bergen ...

Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering Description As software demands grow, so does the need ...

Multi-stage Programming in MetaOCaml This tutorial is CONFIRMED . Limited support is available for students, please contact taha@cs.rice.edu. Description Despite ...

Challenges and Best Practices of Generative Software Engineering in the Context of Large Complex Business Applications X APOLOGIES THIS TUTORIAL HAS BEEN CANCELLED ...

The tasks that might be more demanding are CAPITALIZED. Tasks of Publicity Chair: PUBCHAIR SET-UP and ADMINISTER the conference web site (others will provide content ...

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

Important Dates for GPCE'05 (see also GpceTasks ) DATE ACTION YYYY-MM-DD SUBJECT STATUS DESCRIPTION 2004-10-27 GENCHAIR done Preliminary announcement at GPCE'04 business ...

The tasks that might be more demanding are CAPITALIZED. Tasks of Publicity Chair: PUBCHAIR SET-UP and ADMINISTER the conference web site (others will provide content ...

This page contains a list of mailinglists that can be used to send calls for papers to. It does not seem appropriate or necessary to send such announcements to every ...

Application for SIGPLAN 100 sponsorship (and SIGSOFT in cooperation status) GPCE05-SIGPLAN-sponsorship-application.txt GPCE05-description.txt submitted to SIGPLAN ...

Application for SIGPLAN 100 sponsorship (and SIGSOFT in cooperation status) GPCE06-SIGPLAN-sponsorship-application.txt GPCE06-SIGSOFT-Cooperation-status.txt submitted ...

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

t.b.a.

Submissions should be submitted electronically to http://www.easychair.org/PEPM2008 Submissions 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research ...

We are proud to feature an invited talk by Oleg Kiselyov!

to be announced

INCLUDE{PublicationVenue} Important Dates INCLUDE{ImportantDates}

Submission and Proceedings We solicit two types of submissions: Extended abstracts. Presenting original research, and also preliminary reports of work in progress ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...

Submission is electronically at https://www.easychair.org/conferences/?conf hart2014.

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

TOC Getting Started To start a proper shell and initialize your path, run the following commands. ( martin is on purpose. Don't change the username to your own account ...

Name: Amir Berkovitch Email: amir@Babyplug.co.il Homepage URL: http://www.babyplug.co.il/eng.htm Country: Israel My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

Name: Arthur van Dam Email: adam@cs.uu.nl Personal homepage: http://www.eye-home.net Research homepage: http://arthur.van-dam.net/twiki/ Country: Netherlands Main ...

Name: David Aldavert Email: dxaldmir@hotmail.com Homepage URL: http://no.entinc.cat Country: Spain My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome ...

Name: Emir Pasalic Email: pasalic@cs.rice.edu Homepage URL: http://www.cs.rice.edu/~pasalic Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome ...

Name: Mike Mannix Email: mike@gearcore.com Company Name: AIR / AIRservices Country: USA TWiki Comments: xtreme fan Personal Preferences (details in TWIKIWEB .TWikiVariables ...

Name: PeterJohn Email: tomistia12@yahoo.com Homepage URL: http://www.magicfair.net Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome web ...

Name: Shishir Ramam Email: sramam@yahoo.com Homepage: http://no-page-yet.org Country: USA Comment: Should have done this before. Just read the email on getting access ...

Szoba-bot neve (szavazás) Mivel ha minden igaz, a napokban megkapom a szerverem, gondoltam rá, hogy futtathatnék rajta egy botot, ami a teahaz-ra 'felügyelne', meg ...

List of TWiki users Please take the time and add yourself to the list. To do that fill out the form in TWIKIWEB .TWikiRegistration. This will create an account for ...

The following papers have been accepted for presentation at the workshop: Jacques Carette and Michael Kucera. Partial Evaluation for Maple Ping Zhu and Siau-Cheng ...

General Chair: Stanislaw Jarzabek (National University of Singapore, Singapore) INCLUDE{ProgramCommittee} Workshop and Tutorial Chairs: Christa Schwanninger (Siemens ...

Submissions should be submitted electronically to http://www.easychair.org/PEPM2007 Please note that the deadline has been extended to PAPERSUBMISSION . Pre-submission ...

Monday, January 15, 2006 Opening: 8:45 9:00 Session 1: 9:00 10:00 (Invited Talk) Michael Schwartzbach. XML Graphs in Program Analysis Coffee break Session 2: 10 ...

Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...

Monday, January 15, 2006 Opening: 8:45 9:00 Session 1: 9:00 10:00 (Invited Talk) Michael Schwartzbach Coffee break Session 2: 10:30 12:00 (XML) Ralf Laemmel. Style ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

2007-07-25 PEPM 2008 will be co-located with POPL 2008 in San Francisco, USA 2006-12-07 program 2006-12-01 papers 2006-11-23 Invited speakers at PEPM 2007: Michael ...

General Chair John Hatcliff (Kansas State University, USA) INCLUDE{ProgramCommittee} Steering Committee INCLUDE{SteeringCommittee}

Submissions should be submitted electronically to http://www.easychair.org/PEPM2008 Submissions 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research ...

Monday, January 7, 2008 Opening: 8:45 9:00 Invited Talk 1: 9:00 10:00 Session Chair: Oege de Moor Monica Lam: Combining Static and Dynamic Analysis for Securing ...

Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

The following papers (in no particular order) will be presented at the workshop. Regular research papers: Christopher Brown and Simon Thompson. Clone Detection and ...

Submissions should be submitted electronically to http://www.easychair.org/PEPM2008 Submissions 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research ...

to be announced

INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Electronic Submission Papers must be submitted electronically in PDF format at http://www.easychair ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...

Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

The following papers (in no particular order) will be presented at the workshop. Regular research papers: Torben Mogensen. Partial Evaluation of the Reversible Language ...

Submissions should be submitted electronically to http://www.easychair.org/PEPM2008 Submissions 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research ...

to be announced

INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Electronic Submission Papers must be submitted electronically in PDF format at http://www.easychair ...

The abstracts are available here and here. Monday, January 24, 2011 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Session Chair: Jeremy Siek Olivier Danvy ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...

Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

The following papers (in no particular order) will be presented at the workshop. Regular research papers: Naoki Kobayashi, Kazutaka Matsuda and Ayumi Shinohara. Functional ...

Submissions should be submitted electronically to http://www.easychair.org/PEPM2008 Submissions 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research ...

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

to be announced

INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Electronic Submission Papers must be submitted electronically in PDF format at http://www.easychair ...

The abstracts are available here and here. Monday, January 23, 2012 Welcome. Best paper award announcement: 8:50 9:00 Invited Talk: 9:00 10:00 Session Chair: Oleg ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...

At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...

John Gallagher Siau-Cheng Khoo Oleg Kiselyov German Puebla Jeremy Siek Simon Thompson Janis Voigtl nder chair

Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

The list of accepted papers and their abstracts are shown below, in no particular order. Regular Research Papers: Jeroen Weijers, Jurriaan Hage and Stefan Holdermans ...

The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

Submissions should be submitted electronically to http://www.easychair.org/PEPM2008 Submissions 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research ...

to be announced

INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Electronic Submission Papers must be submitted electronically in PDF format at http://www.easychair ...

The abstracts are available here and here. Monday, January 21, 2013 Program Chairs' Report and Best Paper Award Announcement: 8:45 9:00 Invited Talk: 9:00 10:00 ...

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

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...

At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...

Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

The list of accepted papers and their abstracts are shown below, in no particular order. Regular Research Papers: Meng Wang, Shayan Najd: Semantic Bidirectionalization ...

The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

C A L L F O R P A P E R S P E P M 2014 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM14 January 20 ...

Submissions should be submitted electronically to http://www.easychair.org/PEPM2008 Submissions 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research ...

to be announced

INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Electronic Submission Papers must be submitted electronically in PDF format at https://www.easychair ...

Monday, January 20th, 2014 09:00 10:00 Invited Talk Session Chair: Wei-Ngan Chin Michal Moskal: Lessons from a Web-Based IDE and Runtime 10:30 12:00 Meta-Programming ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...

At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...

Elvira Albert (Complutense University of Madrid, Spain) Siau-Cheng Khoo (National University of Singapore, Singapore) Oleg Kiselyov (Monterey, CA, USA) chair Shin ...

Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

PHP-Sat offers the functionality to automatically analyze files which are included with the require / include functions of PHP. Many projects use some kind of include ...

The idea for a library that gives access to common php-meta-programming facilities was already mentioned in the application for the SoC. A quote: The community will ...

The pretty printer that comes with PHP is designed to pretty print an AST-representation of a PHP-program according to a set of rules. It is not designed to return ...

The following text was submitted as my proposal for Google's Summer of Code 2006: Project Title Using static analysis to find vulnerabilities Synopsis Applications ...

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

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

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

Using Maven Tycho Spoofax project can be built continuously using a combination of Maven, Tycho and Ant. Using Maven should make it easy to run it in a continuous ...

Debugging Stratego in Spoofax Projects Spoofax supports debugging of Stratego code used in the implementation of the various editor services. The Stratego debugger ...

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

TOC About The "template language" is a language that aims to eliminate redundancy in the specification of grammar, completion templates, and pretty printer. It borrows ...

This page provides a tour of the different features of Spoofax. For additional supporting material and documentation, visit our page. For a quick overview of features ...

Aster is an attribute grammar system based on Stratego. It makes use of the standard Stratego facilities such as matching and syntax to specify attribute equations ...

The autoxt package provides Autoconf and Automake support for packages constructed with the XT toolset. The package provides the autoxt tool which should be run as ...

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

TOC Description The concrete-syntax package provides parse-cs, a generic program for parsing programs with embedded syntax. The program is parameterized with meta ...

Is their a way to display strategies (or just thier names) from within Stratego. This could be used to add trace monitors to Stratego code. For example: I-str-detectfail ...

rules allow the run-time addition of rewrite rules. This can be used to model context-sensitive rewriting and has a host of applications in program transformation ...

We're currently rethinking the concept of dynamic rules; quite some changes are at stake. This topic collects some of our reasoning on behaviour and implementation ...

The ECMAScript project is a collection of packages that collectively represent a formal specification for the ECMAScript Edition 4 programming language (also known ...

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

Call for Participation FIFTH STRATEGO USER DAYS with a special session on CodeBoost March 1 3, 2004 Utrecht University Utrecht, The Netherlands http://www.stratego ...

Fourth Users Day (SUD'03) June 5, 2003 Utrecht University Utrecht, The Netherlands TOC Achievements The last year was again a productive year for the Stratego/XT ...

Program of the Fourth Users Day (SUD'03) June 5, 2003 Utrecht University Utrecht, The Netherlands Venue The meeting will be held at the Uithof campus of Utrecht University ...

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

StrategoXT 0.10 Installation Instructions Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm ...

StrategoXT 0.11 Installation Instructions Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm ...

StrategoXT 0.12 Installation Instructions Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm ...

First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.3.1 and sdf2-bundle 2.3 The URLs are specified in the the release page ...

First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.3.1 and sdf2-bundle 2.3 The URLs are specified in the the release page ...

TOC Download distribution First download Stratego XT 0.9.1. The instructions on this page assume that you have downloaded a distribution. See the Sources topic for ...

Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). The URLs are specified in the topic of the StrategoXT ...

Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). The URLs are specified in the topic of the StrategoXT ...

Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.0 and sdf2-bundle 1.6. The URLs are ...

Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.0.5 and sdf2-bundle 2.0.1 The URLs are ...

Introduction Java-Swul is a domain-specific language (DSL) for creating Java SWING user interfaces. The Java-Swul language is embedded in Java. In this fasion it ...

TOC JavaBorg is an instance of MetaBorg. Applications of JavaBorg are collected in the JavaBorg package. Installation JavaBorg can be obtained directly from the Subversion ...

Released October 04, 2004 Download Java-front 0.5 requires StrategoXT 0.12. Source tar.gz java-front-0.5 Source RPM java-front-0.5 Redhat Linux RPM Redhat 9.0: java ...

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

Good layout is important for the readability and hence maintainability of programs. This holds for any programming language. Stratego aims at not only providing a ...

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

The Pair constructor Pair(x, y) was used in thread and traversals for distribution of environments during traversal. The Pair constructor has become obsolete with ...

This page contains plans for past releases. See ReleasePlan for planning of future releases. StrategoXT 0.9.3 released September 1, 2003 New names for si and sc : ...

Pkg-config In this release we have introduced pkg-config for locating packages and their configuration. The use of pkg-config has several advantages: Distributions ...

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

Description The design of Stratego specifications can be improved by Transform.ReFactoring. Here is a list of refactorings. Please add to the list if you use missing ...

M. Bravenboer and E. Visser. Rewriting Strategies for Instruction Selection. In S. Tison, editor, Rewriting Techniques and Applications (RTA'02), volume 2378 of Lecture ...

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

E. Visser. Scoped dynamic rewrite rules. In M. van den Brand and R. Verma, editors, Rule Based Programming (RULE'01), volume 59/4 of Electronic Notes in Theoretical ...

Second Stratego Users Day February 8, 2001, Universiteit Utrecht www.stratego-language.org Program 10:00 coffee 10:15 opening Session 1: Language Design (chair Main ...

November 30 and December 1, 2006 Delft University of Technology Delft, The Netherlands TOC Scope The Stratego User Days are a yearly meeting of Stratego/XT developers ...

Creating a Stratego/XT project the simple way The easiest way to set up a working Stratego/XT project is to use the Create-a-Project tool called crap , available ...

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

We have downloaded and are starting to look at and study some of the tools, in particular the Stratego tools and their CobolX couterpart. Good! We would also like ...

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

This page provides an alphabetic glossary of terminology in the language. It is not complete nor finished. Feel free to add an entry or to improve an existing entry ...

The StrategoLogo needed an upgrade; the new logo is a smoother version of the original StrategoLogo. The StrategoLogo depicts TermTraversal. Please note that all logos ...

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

Issues fixed in StrategoXT 0.10 Bug STR-8 Scopes and Undefined are reserved terms STR-10 Incorrect variable unbound error when using the ( ) construct STR-11 Unbound ...

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

Resolved Issues for StrategoXT 0.11 Bug STR-7 pack-sdf fails with the message ERROR: Module Java.sdf not found if sglr does not exist STR-52 Illegal C code for mutual ...

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

Issues for StrategoXT 0.13. Bug STR-25 Appl/2 or Cons/0 is a reserved term? STR-127 ambiguity for negative numbers following colon in rules(..) STR-130 dr old uses ...

Stratego/XT 0.14 released May 9th, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or ...

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

Release Notes Stratego/XT Version 0.16 (Stratego Core Compiler) Bug STR-14 Scoping problem at higher optimization levels STR-15 strc doesn't work if invoked with ...

Stratego/XT STRATEGOXTVERSION released August 31st, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure ...

Release Notes Stratego/XT Version 0.16M1 (bugs in 0.15) Bug STR-85 Sloppy variable-scope in let-strategies STR-145 Shared libraries are not shared at Cygwin: static ...

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

See also StrategoRelease061 StrategoRelease062 StrategoRelease063 Stratego version 0.6 is available from www.stratego-language.org SUMMARY OF CHANGES (with respect ...

Stratego version 0.6.1 is available from http://www.stratego-language.org SUMMARY OF CHANGES (with respect to release StrategoRelease06) COMPILER Added compile time ...

Stratego version 0.6.2 is now available from StrategoDownload released: October 6, 2001 SUMMARY OF CHANGES (with respect to release 0.6) CONTRIBUTIONS Bug reports ...

Available from StrategoDownload New features TermWrap TermProject Release Announcement Version 0.6.3 released: November 26, 2001 SUMMARY OF CHANGES (with respect to ...

Stratego 0.6.4 is now available from http://www.stratego-language.org The release fixes a "fikse bug in Stratego!!" in the translation of Strategy Rules (rules of ...

Stratego version 0.7 is now available. Main.EelcoVisser 13 Mar 2002 New in 0.7beta FixedLengthTuple ListConstructor ListTraversal PairConstructor New in 0.7beta1 ...

See DependencyGraph08 for an overview of the dependencies between the packages involved in Release 0.8 Release 0.8 TermAnnotations Simple ListMatching ConfigurationFiles ...

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

StrategoXT 0.9.4 StrategoXT 0.9.4 released January 22, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure ...

The semantics of the core of Stratego is described in BuildingProgramOptimizersWithRewritingStrategies and ACoreLanguageForRewriting. Since those papers were written ...

The syntax of StrategoLanguage used to be defined by a LEX/Transform.YetAnotherCompilerCompiler grammar. In order to make maintenance and extension of the syntax definition ...

Strategies for Program Transformation Stratego Tutorial at ETAPS Full Day Tutorial on April 14, 2002 at Transform.ETAPS 2002 in Grenoble, France Handouts are now ...

The strategy inlining component of the optimizer replaces calls to strategies with their body, allowing other optimizations to specialize the strategy to its arguments ...

Question: Is there any symbol table implementation in stratego? Yes. There are several ways to go about using symbol table like functionality in Stratego programs ...

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

The Dryad Compiler is an open compiler for the Java platform, based on The Dryad. TOC Overview of Features The Dryad Compiler is a compiler for a language formed by ...

Utrecht University, Friday May 3, 2002 Stratego is a language for program transformation based on the paradigm of rewriting strategies. The language is being used ...

On May 3, 2002 the ThirdStrategoUsersDay was held at Utrecht University. During the day seven presentations about features or applications of Stratego were given. ...

StrategoXT encourages a development model in which stand-alone components are developed for separate aspects of program transformation, instead of implementing integrated ...

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

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 worker-wrapper component of the optimizer splits strategy definitions into a wrapper performing a pattern match, and a worker doing the real work of the operator ...

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

Some ideas for making advanced Stratego features more accessible to new users. Goals Easy to define a syntax for language X and implement a source-to-? or source-to ...

TXL solution to Chairmarks #4.6: Clone detection with consistent renaming. This example implements clone detection for clones of structured statements (if, while, ...

TXL solution to Chairmarks #2.3, Declarations-to-global, move all declarations from any nesting level to the global scope. Main.JamesCordy 02 Nov 2005 File "TILtoglobal ...

TXL solution to Chairmarks #2.4, Declarations-to-local, move all declarations to their most local location. Main.JamesCordy 02 Nov 2005 File "TILtolocal.Txl" TXL ...

TXL solution to Chairmarks #4.6: Clone detection. This example implements clone detection for exact clones of structured statements (if, while, for) in a TIL program ...

TXL solution to Chairmarks #2.2, transform all "for" statements to their equivalent "while" statement form. Main.JamesCordy 10 Oct 2005 File "TILfortowhile.Txl" ...

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

The goals of benchmarking Software Transformations Systems are: Increase communication on a technical level between designers of these systems Provide a quick overview ...

The Chairmarks are a small set of little benchmark transformation tasks, all based on the Imperative Language (TIL). They are called "chairmarks" because they are ...

TXL solution to Chairmarks #5.1: A complete Imperative Language interpreter implemented as a standalone TXL source transformation. No other libraries or support modules ...

This is a proposal for a Tiny Imperative Language for setting tiny benchmarks of source transformation systems such as the Chairmarks. Main.EelcoVisser Main.JamesCordy ...

TXL solution to Chairmarks #4.4: Type inference. This example implements type inference for untyped variables in a TIL program and flags all type conflicts and ambiguous ...

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

Dragon Skin TWiki:Plugins.DragonSkinDev has development-related information. Dragon skin (named after the logo on the site it was developed for) is intended to provide ...

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

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

TOC STARTINCLUDE # Manage Users Register users on your TWiki site; change/reset/install passwords; remove user accounts Authentication and Access Control TWikiUserAuthentication ...

TOC STARTINCLUDE # Managing Webs Adding webs is a web based operation; renaming and deleting webs are manual operations done directly on the server Overview A TWikiSite ...

Regular Expressions TOC Introduction Regular expressions (REs), unlike simple queries, allow you to search for text which matches a particular pattern. REs are similar ...

TOC STARTINCLUDE # TWiki Access Control Restricting read and write access to topics and webs, by Users and groups TWikiAccessControl allows you restrict access to ...

TWiki Admin Cook Book This page has many tips and tricks, particularly useful when you're installing TWiki for the first time. This guide is most useful RED before ...

TWiki Documentation Graphics This is one way to create a library of common icons, accessible through user-defined TWikiVariables set in WebPreferences, or in TWikiPreferences ...

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

TOC STARTINCLUDE # TWiki Site Tools Utilities for searching, navigation, and monitoring site activity TWikiSiteTools include utilities for navigating, searching and ...

## 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 User Authentication TWiki site access control and user activity tracking options TWiki does not authenticate users internally, it depends ...

## TWiki Username vs. Login Username This section applies only if your TWiki is installed on a server that is both authenticated and on an intranet . TWiki internally ...

# TWiki Shorthand Basics If you can enter text, you're ready for TWiki. With a few simple, intuitive TextFormattingRules, you'll be able to use plain text to create ...

This page provides online help for new users of TWiki, when editing a page the area between the horizontal lines is included just below the text input area. You can ...

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

Nutshell Summary of Windows Install Cookbook This summary of WindowsInstallCookbook is for you if: You've already installed TWiki on Windows before and want a quick ...

After finishing the basic TigerCompiler, extend it with at least one optimization component. Which optimization in which stage of compilation you implement is up to ...

Binary operations of the Stratego.IR language

CIR-Format is a component of the TigerCompiler in the TigerTrans package that checks the well-formedness of canonicalized IntermediateRepresentation trees. The component ...

Canonicalization Implement the IRCanonicalize component that transforms IntermediateRepresentation expressions into canonical form. The component can be found in ...

The Tiger in Stratego is divided into several packages, in order to make it easier to distribute only parts of the compiler and to add new components. Languages Front ...

The default escaping variables analysis is very conservative and makes all variables escaping by annotating their declaration with Stack(x) . In order for your compiler ...

Q: How can I stay up to date with what is going on? A: Subscribe yourself to a daily message with pages changed in this wiki web by adding your name to the list in ...

Canonicalization of IR Programs This is the third set of HpcExercises. The final goal of this set of exercises is the definition of a transformation that brings IR ...

In 2001-2002 exercises are called HpcAssignments. This page contains the exercises from 2000-2001. They might contain useful tips for your project. The following sets ...

Instruction Selection for the MIPS This is the fourth set of HpcExercises. In these exercises you build an instruction selector for IR programs that produces MIPS ...

In the course we discuss the following topics (Chapters refer to Transform.ModernCompilerImplementationInML). The project entries in the schedule are steps in building ...

Tiger Abstract Syntax This is the first set of HpcExercises that will teach you the structure of the abstract syntax of the TigerLanguage, the use of the StrategoCompiler ...

Translation to Intermediate Representation This is the second set of HpcExercises. These will teach you to write a more complex transformation (translation to IR ...

The IR package provides syntax of and operations on the Representation. IntermediateRepresentation concrete and abstract syntax PPIR Pretty-print table for IRCanonicalize ...

The IR2ASM component of the TigerCompiler (in the TigerTrans package) implements InstructionSelection for the MIPS archticture. IR2ASM.r The module below is a template ...

IR-Canonicalize is a component of the TigerCompiler in the TigerTrans package. It normalizes IntermediateRepresentation trees such that: expressions don't have side ...

The IR-Format component of the TigerCompiler in the TigerTrans package checks the well-formedness of IntermediateRepresentation trees. It is a useful debugging tool ...

The to ASM package implements selection for the representation of the compiler. IR2ASM instruction selection for MIPS architecture CallerSavedRegisters

Selection for the MIPS Build an instruction selector for programs in intermediate representation that produces MIPS code. This essentially consists of defining rules ...

Instruction selection is the phase in compilation in which IntermediateRepresentation trees are mapped to sequences of target machine instructions. Algorithms MaximalMunch ...

IntermediateRepresentation is an abstract machine language that abstracts from the details of both source and target languages. The definition of the IntermediateRepresentation ...

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

A pretty-print table for the IntermediateRepresentation of the TigerCompiler (TigerTrans package). IR-pretty.pp INCLUDE{"http://www.stratego-language.org/tiger/ir ...

The TAS2IR component of the TigerCompiler in the TigerTrans package translates TigerAbstractSyntax trees to IntermediateRepresentation. TAS2IR.r The following module ...

The to IR package specifies the translation from TigerAbstractSyntax to IntermediateRepresentation. TigerVarEscapes: escaping variables analysis TAS2IR: translation ...

The TigerTrans package has been split up into three packages: containing the definition of IntermediateRepresentation and IRCanonicalize to IR translation from Tiger ...

Tiger-Typecheck checks TigerAbstractSyntax trees for well-typedness and annotates variables with their types. It is a component of the TigerCompiler in the TigerFront ...

TigerVarEscapes is a component of the TigerCompiler in the TigerTrans package. The component transforms programs in TigerAbstractSyntax format such that all variable ...

The TigerXmpl package provides a directory with example Tiger programs and a makefile for testing the various TigerCompiler components. The makefile imports make-rules ...

Implement translation of TigerAbstractSyntax expressions to IntermediateRepresentation code in module TAS2IR in the TigerTrans package. The TigerTrans package contains ...

The xmpl/ directory in the TigerXmpl package contains a number of example Tiger programs (partly copied from the Stratego.ModernCompilerImplementation site) and a ...

This glossary gives an overview of the most important pages in this web Web WebIndex contains the complete list of pages in this web. WebChanges shows which pages ...

This is one of the XT UserStories. RECOVERY OF SYNTAX DEFINITION FOR LEX No syntax definition for LEX was available in the grammar-base. In order to further automate ...

This is one of the XT UserStories RECOVERING A SYNTAX DEFINITION FOR STRATEGO This directory contains a syntax definition in SDF2 of the Stratego language. This file ...

The KoalaCompiler components are all tool components that use a standard set of command-line switches to control their operation. Below we describe the common switches ...

Usage: JJForester v p packagename {-o, outputdir} outputdir inputfile inputfile SDF definition file v version information p packagename package name for generated ...

The tool koala-c translates the bindings defined in a Koala composition to C. The program takes as input a Koala composition and produces as output a set of .c/.h ...

The tool koala-stc translates a Koala composition to a composite source tree. This process is called Source Tree Composition. The basic idea is that for koala-stc ...

News about XT Version 1.0 Released: Jun 14, 2002 Bundles the most recent versions of XT's sub-component's. See the file XT 1 0 for the complete list of packages bundled ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Kevin D. Quitt wrote the following, about his compiler specific approach: 1. The executable has to be examined to see if it's a compressed executable (like what PKLITE ...

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

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

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

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

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

Object Identification is the search for candidate classes in a (procedural) LegacySystem See, for example, the following papers and their references: Maarit Haarsu ...

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

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

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

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

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

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

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

Program Comprehension Risks and Opportunities in Extreme Programming ArieVanDeursen , CWI, May 2001. Proceedings WCRE 2001, IEEE Computer Society. Abstract We investigate ...

(See also ModelTransformation ) A Definition A program is a structured object with semantics. The structure allows us to transform a program. The semantics gives us ...

Repository of program understanding tools set up by KennyWong. http://www.cs.ualberta.ca/~kenw/toolsdir/ Unfortunately not a very active site: it contains five tools ...

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

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

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

Relativity Technologies is a leading supplier of legacy modernization solutions. Our technology offerings enable Information Technology organizations to take advantage ...

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

A sample RCL script that is used to pre-process the RSF generated with cparse for Rigi has been written by JohannesMartin. The RCL script is generic and works for ...

The Rigi user interface is a graph editor, called RigiEdit ( rigiedit ), which is used to browse, analyze, and modify a graph that models a given system. This graph ...

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

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

This topic provides information for users of Rigi binary distributions. See also RigiDevelopment if you work with Rigi's source code. Installing RigiEdit basically ...

Definitions Here are some attempts at definitions of rule-based programming. Feel free to comment or add your own. The rule-based programming paradigm is characterized ...

Name of the workshop on Rule Based Programming (RULE) Associated with PPDP The goals of the workshop The rule-based programming paradigm is characterized by the repeated ...

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

Sculptor and Realizer Here is information about two decompilers which were written in Spain. The first is a decompiler written in 1989 for a 4th generation language ...

OOPSLA 2001 Workshop Software Archeology: Understanding Large Systems Ward Cunningham, Andrew Hunt, Brian Marick, and Dave Thomas How do you come to grips with 1 ...

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

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

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

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

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

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