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

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

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

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

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

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

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

Abstract Many systems for program transformation exist that are often specialized for a specific object language and/or kind of transformation. All these systems ...

Abstract Many systems for program transformation exist that are often specialized for a specific object language and/or kind of transformation. All these systems ...

Introduction Previous Up Next Contents STARTINCLUDE Program Transformation Program Transformation Systems Strategies for Program Transformation A Roadmap STOPINCLUDE ...

Statistics for TWiki.Book Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 1100 ...

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

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 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 PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...

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

CALL FOR WORKSHOP PROPOSALS INCLUDE{ConferenceHeader} Workshop Chairs Christa Schanninger, Siemens AG Hans-Arno Jacobosn, University of Toronto Workshop chairs can ...

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

AOPLE: First Workshop on Aspect-Oriented Product Line Engineering DSAL'06: Domain-Specific Aspect Languages Workshop STS'06: Software Transformation Systems Workshop ...

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

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

Model Driven Development Basics using Eclipse Bruce Trask, MDE Systems Angel Roman, MDE Systems Sunday, October 22nd, 08:30 to 12:00 Abstract Model Driven Development ...

Building Domain Specific Languages with Eclipse and openArchitectureWare Markus Völter, Independent Consultant Arno Haase, Independent Software Architect Sunday, ...

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

Building Java Transformations with Stratego/XT Martin Bravenboer, Utrecht University Karl Trygve Kalleberg, University of Bergen Eelco Visser, Utrecht University ...

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

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

Sunday, October 22nd morning GPCE1 Model-driven development basics using Eclipse Bruce Trask, Angel Roman WS1 AOPLE Aspect-Oriented Product Line Engineering Neil ...

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

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 Over the past 15 years large systems integrators have grown in size by an order of magnitude. During this time the nature of the systems we build, the manner ...

INCLUDE{ConferenceHeader} List of tutorials GP1: "Effective Model Driven Engineering to Create Domain Specific Languages" by Bruce Trask and Angel Roman, MDE Systems ...

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

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

GPCE Tutorial #3 (GP3) "Multi-stage Programming in !MetaOCaml" by Walid Taha, Rice University Date: Oct 23, morning Abstract Multi-stage programming is a paradigm ...

GPCE Tutorial #2 (GP2) "Problems We Can Solve with Power-Generics" by Stan Jarzabek, National University of Singapore Date: Oct 22, afternoon Description Repetitions ...

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

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

A Model of Refactoring Physically and Virtually Separated Features Christian Kaestner, Sven Apel and Martin Kuhlemann Transactional Pointcuts: Designation, Reification ...

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

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

Using GPCE Principles for Hardware Systems and Accelerators (bridging the gap to HW design) Rishiyur S. Nikhil, Ph.D. CTO, Bluespec Inc. Moore's Law has precipitated ...

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

Abstract : This paper deals with embedded systems software and the modification of its architecture and behavior at execution-time. Incautious implementation of such ...

Abstract : While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support ...

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

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

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

Language Definition and Extension with MPS Markus Völter Abstract Language definition and extension is a hot topic. Using modular languages, where a program can use ...

Abstract : This paper deals with embedded systems software and the modification of its architecture and behavior at execution-time. Incautious implementation of such ...

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

Abstract : While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support ...

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

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

Application of Model Based Development to Flexible Code Generation Gary Shubert, Lockheed Martin Space Systems Company, USA This address will present the author's ...

Abstract : Enterprise distributed real-time and embedded (DRE) systems are increasingly being developed with the use of component-based software techniques. Unfortunately ...

Matthias Felleisen is a Trustee Professor of Computer Science at Northeastern University, Boston, and the founder of PLT, a distributed research group. His research ...

Multilingual Component Programming in Racket Matthias Felleisen, Northeastern University, USA In the world of Racket, software systems consist of interoperating components ...

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

Abstract : The development of service robots has gained more and more attention over the last years. A major challenge on the way towards industrial-strength service ...

Abstract : Software product lines (SPLs) and adaptive systems aim at variability to cope with changing requirements. Variability can be described in terms of features ...

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

Language Definition and Extension with MPS Markus Völter Abstract Language definition and extension is a hot topic. Using modular languages, where a program can use ...

INCLUDE{ConferenceHeader} Image used under GNU FDL. News INCLUDE{WebNews} Registration is at Salon Foyer (Hilton Executive Tower, downstairs) Presentations are in ...

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

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

Matthias Felleisen is Trustee Professor in the College of Computer and Information Science at Northeastern University in Boston, Massachusetts. Gary Shubert is a Senior ...

Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but ...

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

Language Definition and Extension with MPS Markus Völter Abstract Language definition and extension is a hot topic. Using modular languages, where a program can use ...

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

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

Joint GPCE/SLE Keynote "Modeling Biology with Solver-Aided Programming Languages" by Ras Bodik (UC Berkeley) Abstract: A good model of a biological cell exposes secrets ...

Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but ...

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

Language Definition and Extension with MPS Markus Völter Abstract Language definition and extension is a hot topic. Using modular languages, where a program can use ...

2012-11-25 Submission deadline and program committee have been confirmed. The call for paper is out. 2012-10-03 Just days after GPCE 2012 in Dresden, preparation ...

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

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

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

Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but ...

Building mbeddr: a Language Engineering Experiment Markus Völter Over the last four years a team at fortiss and itemis have built mbeddr, an extensible set of integrated ...

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

Language Definition and Extension with MPS Markus Völter Abstract Language definition and extension is a hot topic. Using modular languages, where a program can use ...

2012-11-25 Submission deadline and program committee have been confirmed. The call for paper is out. 2012-10-03 Just days after GPCE 2012 in Dresden, preparation ...

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

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

Statistics for TWiki.Gmt Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

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

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

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 PAPERS (closed) INCLUDE{ConferenceHeader} electronic submission at http://gpce.program-transformation.org Scope Generative and component approaches have ...

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

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

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

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

GP1 Adaptive Object-Model Architecture: Dynamically Adapting to Changing Requirements Joe Yoder Sunday 10-24-04 8:30-12:00 noon GP2: Multi-stage Programming in MetaOCaml ...

Software Transformation Systems Workshop First MetaOCaml Workshop 6th GPCE Young Researchers Workshop

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

Adaptive Object-Model Architecture: Dynamically Adapting to Changing Requirements Description Architectures that can dynamically adapt to changing requirement are ...

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

INCLUDE{ConferenceHeader} GPCE'05 will be held in Tallinn, Estonia and co-locate with ICFP'05 News INCLUDE{WebNews} Generative and component approaches have the potential ...

2004-11-03 The position statement slides from the panel on `Generative Programming: Past Present And Future' are now available. 2004-11-01 GPCE'05 to be held in Tallin ...

CALL FOR TECHNICAL PAPERS 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 PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...

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

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

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

9:00 10:00 ICFP invited talk 10:15 10:30 Opening 10:30 11:00 Break 11:00 11:30 Playing with Type Systems Tim Sheard 11:30 12:00 Typing Template Haskell: Soft ...

Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting ...

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

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

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

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

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

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

"Terar dum prosim" I work for Microsoft's Core Operating System Division in Redmond, WA developing tools, infrastructure, testing, and certification technologies ...

Name: Cristina Cifuentes Email: cristina.cifuentes@sun.com Affiliation: Sun Microsystems, Inc Homepage URL: http://www.itee.uq.edu.au/~cristina Country: USA Comment ...

Name: Danilo Beuche Email: danilo.beuche@pure-systems.com Homepage: http://www.pure-systems.com Country: Germany Comment: Personal Preferences (details in TWIKIWEB ...

Name: Dave Walker Email: david@oak-systems.co.uk Company Name: Company URL: Country: United Kingdom Comment: My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

Name: Eelco Visser Email: visser@cs.uu.nl Affiliation: Utrecht University Country: Netherlands Homepage URL: http://www.cs.uu.nl/~visser Other TWiki homepages Stratego ...

Name: Elliot Chikofsky Email: e.chikofsky@computer.org Affiliation: Engineering Management Integration Inc. Affiliation: Northeastern University, Information Systems ...

Name: Gary Schaecher Email: gary.schaecher@tmasystems.com Homepage URL: http://www.tmasystems.com Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

Name: Stephen Heffner Email: Heffner@Pennington.com Affiliation: Pennington Systems Incorporated Homepage URL: http://WWW.Pennington.com Country: USA Comment: Personal ...

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

Call For Papers ACM SIGPLAN 2007 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07) Nice, France January 15-16, 2007 (Co-located with POPL 2007) http ...

Invited Talk by Oege de Moor Joint work with Elnar Hajiyev, and Mathieu Verbaere Abstract Code queries are useful for enforcing coding conventions, navigating a large ...

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

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

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

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

Call For Papers ACM SIGPLAN 2008 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'08) Nice, France January 7-8, 2008 (Co-located with POPL 2008) http ...

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

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

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

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

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

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

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

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

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

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

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

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

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

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

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

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

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation, which spans from refactoring ...

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

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

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

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

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

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

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

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

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

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

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

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

SDF is used by many individuals for many different purposes. This page lists the original applications of SDF and some of its premier applications. The SDF syntax ...

The SDF syntax definition formalism is applied in two projects related to meta programming: the ASF+SDF Meta-Environment and Stratego/XT. Companies and researchers ...

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

Publications See also the publication list on researchr The Spoofax Language Workbench Lennart C. L. Kats, Rob Vermaas, Eelco Visser. Integrated Language Definition ...

E. Visser and Z.-e.-A. Benaissa. A core language for rewriting. In C. Kirchner and H. Kirchner, editors, Second International Workshop on Rewriting Logic and its Applications ...

B. Fischer and E. Visser. Adding concrete syntax to a Prolog-based program synthesis system (extended abstract). In M. Bruynooghe, editor, Preliminary proceedings ...

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

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

To add a job, you need to: 1 describe your package in packages.nix (e.g. fooFront ) 2 add a release to releases.nix (e.g. fooFrontUnstable ), referring to fooFront ...

M. Bravenboer and E. Visser. Concrete Syntax for Objects. Domain-Specific Language Embedding and Assimilation without Restrictions. In D. C. Schmidt, editor, Proceedings ...

Transformation systems built with StrategoXT are typically organized using a data-flow architecture. This is rather an implicit notion in the framework, which could ...

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

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

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

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

Stratego is a modular language for the specification of fully automatic program transformation systems based on the paradigm of rewriting strategies. The construction ...

The handouts are currently not available; more recent material is available from the documentation page. Main.EelcoVisser 08 Nov 2006 Handouts for the Tutorial ...

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

Stratego is currently used to produce batch oriented transformation systems. For some applications (e.g., refactoring) it would be useful to have an environment in ...

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

Released May 24, 2005 Download Java-front 0.7 requires Stratego/XT 0.14. Source tar.gz java-front-0.7 Source RPM java-front-0.7 Redhat Linux RPM java-front-0.7 (Redhat ...

Released November 4th, 2005 Download Java-front VERSION requires Stratego/XT 0.16. Source tar.gz TARNAME VERSION Source RPM TARNAME VERSION Redhat Linux RPM TARNAME ...

Released July, 2009 Download Java Front VERSION requires Stratego/XT 0.17. Source tar.gz aterm- ATERMVERSION sdf2-bundle- SDFVERSION strategoxt- STRVERSION java-front ...

Overview About the Stratego transformation language Stratego/XT combines the Stratego language and the XT tools Documentation Overview of the available documentation ...

This page reports on the permissive grammars project. This project is aimed at adding practical error recovery to the Java implementation of for interactive parsing ...

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

RhoStratego is a functional language supporting first-class rules and generic traversal. Download The following releases are available: rhostratego-0.1.tar.bz2 The ...

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

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

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

Solaris/x86 support is scheduled for StrategoXT 0.9.4. Work has begun on pinpointing what is different from already working systems. The following packages are needed ...

by Transform.BasLuttik and Main.EelcoVisser In Alex Sellink (editor) Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications ...

E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques ...

The first ideas for System S were developed at the Programming Research Group of the University of Amsterdam and at Transform.CWI. A prototype for the StrategoLanguage ...

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

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

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

Since its always interesting to see how ideas develop, this page contains a reconstruction of the development of StrategoLanguage and its implementation. March 1997 ...

INCLUDE{WebNotice} Stratego is a small and efficient domain-specific language for program transformation. It is based on the paradigm of programmable rewriting strategies ...

INCLUDE{WebNotice} Full bibliography of Stratego Bibliography of Stratego/XT related publications at researchr by year and type strategoxt.bib Overview transformation ...

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

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

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

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

Stratego/XT 0.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.15 released July 5, 2005 This is an experimental release featuring a refactoring of the internals of the language definition and compiler. Please report ...

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

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

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

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

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

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

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

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

Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas and Eelco Visser. Stratego/XT 0.16: Components for Program Transformation Systems . In J. Hatcliff and F. Tip ...

SystemS is the name for the system of combinators that form the core of the StrategoLanguage. SystemS is described in the following papers: Program Optimizers with ...

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

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

Currently Stratego is very weakly typed. The reason for the weak type system is that it is not clear how to combine strong typing with generic traversals and transformations ...

PatriciaJohann and EelcoVisser. Warm fusion in Stratego: A case study in the generation of program transformation systems. Annals of Mathematics and Artificial Intelligence ...

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

Statistics for TWiki.Stratego Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Apr ...

XT is a collection of tools for building complete transformation systems. See the Tools web

Main.MerijnDeJonge, Main.EelcoVisser and Main.JoostVisser. XT: a bundle of program transformation tools. In Tools.MarkVanDenBrand and Transform.DidierPerigot, editors ...

Overrides refer to nonterminal modifications or extensions to a fixed base grammar for the purpose of extending the language or customizing the parse to the task ...

Software Transformation Systems Workshop 2004 STS04 was arranged Sunday, October 24th 2004 as part of Generative Programming and Component Engineering 2004 (GPCE'04 ...

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

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

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

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

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

This wiki has been created following the Workshop on Software Transformation Systems at GPCE'04 in Vancouver on October 24, 2004. The purpose of the wiki is to collect ...

STARTINCLUDE 2004-12-23 Proceedings of the STS04 workshop are now available. 2004-11-01 Creation of the Sts web as website for the Software Transformation Systems ...

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

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

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

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

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

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 ## Site Usage Statistics You can automatically generate usage statistics for all webs. To enable this: Make sure variable $doLogTopicView, $doLogTopicSave ...

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

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

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

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

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

Appel writes in the preface to Modern Compiler Implementation in ML: Over the past decade there have been several shifts in the way compilers are built. New kinds ...

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

Description Autobundle is a utility for making software distributions by bundling multiple (third-party) software packages. Autobundle promotes the development of ...

XT: Transformation Tools XT is a bundle of tools for building program transformation systems. The tools include parser generation, pretty-printing, abstract syntax ...

How to InstallXT Trash.HowToConnectParsersAndPrettyPrintersToYourStrategoPrograms HowToDefinePrettyPrintTables HowToObtainAbstractSyntaxTrees HowToPrettyPrintAGrammar ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

See FrontEndART for details. Main.RudolfFerenc 07 Jan 2003

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 lists some links related to Generative Programming Sites http://www.generative-programming.org, connected to the GenerativeProgrammingBook Wiki on Transform ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

"From Legacy Systems to Services in the Net" is a Marie-Curie TOK-IAP involving SoftSD and ATXSoftwareSA http://www.cs.le.ac.uk/SoftSD/Leg2Net/ Main.JoseLuizFiadeiro ...

A legacy system is any information system that resists change . See M. L. Brodie and M. Stonebraker. Migrating Legacy Systems: Gateways, Interfaces and the Incremental ...

Kinds of loop optimizations LoopFusion LoopDistribution Systems and compilers that implement loop optimizations SUIF

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

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

McCabe Associates http://www.mccabe.com Offers McCabe IQ2 tool suite for SoftwareTesting, ReEngineering, and quality assurance for LegacySystems. Founded by TomMcCabe ...

Merant ''MERANT Micro Focus provides the most comprehensive and scalable suite of COBOL application analysis, development, integration and testing, and deployment ...

Homepage: http://www.cse.ogi.edu/PacSoft/projects/metaml/ MetaML is an extension of SMLofNJ with MetaProgramming features that support the construction, manipulation ...

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

Model transformation is the equivalent of program transformation, but applied to models instead of programs. This encompasses design models (e.g., UML diagrams), architectural ...

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

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

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

Netron ''Accelerating e-business through legecy renewal'' http://www.netron.com/ Product: HotRod, for the purpose of application mining for COBOL systems, which is ...

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

Homepage: http://oopsla.acm.org/ Conference on Object-Oriented Programming, Systems, Languages and Applications Deadline: April Conference: October see also: TransformationConferences ...

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

Description OPTIMIX is a specification language for the specification of optimizers based on graph rewriting developed by UweAssman at the University of Karlsruhe ...

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

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

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

DomainEngineering methodology devised by Mark Simos and co-authors. The major steps include Plan domain: Set objectives, analyze stakeholde Scope domain: selection ...

A Methodology for Developing Open Source Software integration tests configuration completeness / bundling of tools The CVS manual has the following to say: A true ...

Further Reading on Open Source and Tool Distribution Open Source Software The idea of free software originates in the Free Software Foundation (FSF). The GNU tools ...

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

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

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

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

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

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

Pennington Systems Incorporated was founded in 1977 to create and market systems software. Our main product is XTRAN, an expert system for manipulating computer languages ...

PBS: The Portable Bookshelf Introduction The Software Bookshelf is a web-based paradigm for the presentation and navigation of information representing large software ...

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

Pretty-printing is mapping a structured (tree) representation of a program to a textual representation of that program in such a way that resulting program is readable ...

TransformationSystems usually work on tree of graph structured ProgramRepresentations. A parser analyzes the syntactic structure of a program text and produces a structured ...

Description This page discusses terminology, principles, and issues concerning tools for ProgramTransformation. Principles ProgramTransformationTools have much in ...

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

Homepage: http://www.cs.nyu.edu/leunga/prop.html Prop is a multiparadigm extension of C++, and is designed for building high performance compiler and language transformation ...

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

International Conference on Reverse Engineering for Information Systems http://lisi.insa-lyon.fr/~retis/ Submission: January Conference: July

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

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

The Reengineering Forum is an industry association to encourage combined industry/research review of the state of the art and the state of the practice in reengineering ...

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

A parser is an essential component of a TransformationSystem. It is often a considerable investment to develop a good syntax definition for use in a transformation ...

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

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

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

Samples of Completed Reverse Engineering Projects Azureus (Java) for for VISSOFT Tool Demo Challenge (1st Prize): http://www.program-comprehension.org/vissoft07/VISSOFT2007 ...

The following systems are built on top of Rigi: BauHaus Atomic Architectural Component Recovery for Program Understanding and Evolution, Rainer Koschke. Dissertation ...

ReverseEngineering system to extract, navigate, analyze and document the static structure of large software systems. http://rigi.uvic.ca/Media/howpic1.gif The topics ...

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

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

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

International Static Analysis Symposium Description Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification ...

IEEE International Workshop on Source Code Analysis and Manipulation Deadline: April Conference: October Location: Chicago, USA (2004) Web: 2004: http://www.brunel ...

http://www.smlnj.org/ Standard ML of New Jersey is a free Standard ML compiler, ported to many platforms. It does not directly compile to stand alone applications ...

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

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

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

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

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

The SEN1 research group at CWI works on the following SoftwareRenovation topics: DocumentationGeneration for COBOL systems ArchitectureExtraction Type inferencing ...

Charles W. Krueger provides a survey in the ACM Computing Surveys 24(2):131-183, June 1992. Software reuse is the process of creating software systems from existing ...

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

See FrontEndART for details. Main.RudolfFerenc 10 Aug 2004

http://www.source-recovery.com Note the hyphen: www.sourcerecovery.com is a different company (see JuggerSoft). From the Source Recovery Company's web page: We use ...

Stephen F. Heffner entered the computer field in 1963 as a Customer Engineer for IBM. He has been involved in systems analysis, design, and programming since 1964 ...

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

Strategies play an important role in ProgramTransformation. The purpose of this survey is to get an overview of the styles of strategies used in various TransformationSystems ...

StrategoXT is the combination of the transformation language Stratego with the XT toolset for constructing transformation systems. Capabilities include: rewrite rules ...

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

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

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

TAMPR (Transformation Assisted Multiple Program Realisation System) is one of the earliest TransformationSystems around. Description TAMPR supports program transformation ...

ACM Transactions on Programming Languages and Systems http://www.cs.wustl.edu/~toplas/ CategoryJournal

TXL: Tree Transformation Language Homepage: http://www.txl.ca/ The TreeRewriting language TXL (developed by JamesCordy at Queen's University in Kingston, Canada) ...

http://web.cecs.pdx.edu/~sheard/staged.html An analysis of different kinds of MetaProgramming systems by TimSheard. Main.MaD 02 Jan 2008 CategoryPaper CategoryTaxonomy ...

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

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

From http://compose.labri.u-bordeaux.fr/prototypes/tempo/ : evaluation is a transformation that automates a specialization process. Tempo is a partial evaluator for ...

This page collects links to systems that implement TermRewriting and related paradigms. See also the general list of TransformationSystems. Feel free to add links ...

The IFIP International Conference on Testing of Communicating Systems http://www.fokus.fhg.de/events/testcom2002 Conference: March Deadline: September CategoryConference ...

ProgramTransformation techniques are used in a many areas of SoftwareEngineering ranging from ProgramSynthesis, via ProgramOptimization and ProgramRefactoring, to ...

Tom is a pattern matching compiler for Tree and XML based transformations in Java. Homepage: http://tom.loria.fr Contact: Tom tom-users@loria.fr Influences ELAN ASFandSDF ...

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

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

A TransformationFramework is a collection of standard components for creating ProgramTransformationSystems for some language. (Is A TransformationFramework the same ...

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

Journals with an interest in ProgramTransformation ACM AppliedComputingReview ACM Transactions on Programming Languages and Systems ( ACM Transactions on Software ...

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

TransformationSystem: see TransformationSystems.

There are many TransformationSystems available. This page contains an ordering of these systems by paradigm. TermRewriting Systems based on pure TermRewriting define ...

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

Tree rewriting is a synonym for rewriting, i.e., the process of transforming trees (structured data) into other trees by applying rewriting rules. tree rewriting is ...

Homepage: http://www-sop.inria.fr/croap/personnel/Christophe.Roudet/TrfL/ TrfL is a rule based language designed for program transformations. For the end-user, TrfL ...

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

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

USENIX is the Advanced Computing Systems Association. http://www.usenix.org/

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

Description Updatable folds are a notion connected to FunctionalTransformationSystems. Explanation The bottom-up traversal scheme associated to a multi-sorted signature ...

Working Conference on ReverseEngineering Submission: May (varies slightly) Conference: October (varies slightly) Pointers Upcoming conference web site: http://swerl ...

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

Background If you are involved in extracting information, artifacts, architectural components (or anything else of value) from existing systems then you should be ...

Topics Topics discussed at WCRE include but are not limited to: SoftwareMaintenance and SoftwareEvolution DeCompilation and BinaryTranslation ProgramComprehension ...

INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ...

Home Surveys Transformation Reengineering DSL Domain Engineering Decompilation Generative Progr. Collections Categories Systems Conferences People Companies Papers ...

See also the announcements about specific systems in SystemNews. STARTINCLUDE STOPINCLUDE 2007-01-08 program-transformation.org is back online after absence for a ...

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

Statistics for TWiki.Transform Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb ...

Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2001 21983 530 0 2861 1006 WebHome ...

Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2002 1978 21 0 580 ReengineeringWikiSiteMap ...

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

The XTWikiWiki is the common substrate for a number of sites on various aspects of ProgramTransformation, ranging from a general survey of the field in TheOnlineSurveyOfProgramTransformation ...

2002 ACM SIGPLAN Workshop on Rule-Based Programming Workshop Program Satellite event of PLI'02 Saturday, October 5, 2002 Pittsburgh, USA http://www.program-transformation ...

Publications An extensible system for domain-specific aspect languages Macneil Shonle, Karl Lieberherr, Ankit Shah Companion of the 18th annual ACM SIGPLAN conference ...

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

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

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

For now we have only the raw discussion protocol here. Type and Mechanism of Variation solution vs. problem space types of variation in problem space: offerted by ...

PRELIMINARY CALL FOR PAPERS MVCDC 2: Second Workshop on Managing Variabilities consistently in Design and Code OOPSLA 2005 ABSTRACT With the introduction of software ...

Most modern software needs to support increasing amounts of variability, i.e. locations in the software where behaviour can be configured. This trend leads to a situation ...

The meeting will be held in Austin Venue: University of Texas at Austin Time: Tuesday December 4 to Saturday December 8 Local organizer: William Cook Participants ...

The first official meeting of IFIP TC2 WG2.16 was held in London Feb 27 Mar 2 2012 at Imperial College, hosted by Susan Eisenbach. The general post-meeting consensus ...

Dates: April 20-24 (Mon-Fri), 2015. Venue: Athens, Greece Host: Yannis Smaragdakis Venue The meeting will take place at the University of Athens Club (Kostis Palamas ...

Dates: January 25-29, 2016 Venue: UCLA, Los Angeles, CA Host: Alex Warth Food Lunches: grab some food in food court in Ackerman auditorium and eat outside. Group ...

Dates: August 28 September 1, 2017 Venue: Park City, Utah, USA Host: Matthew Flatt https://www.flickr.com/photos/tkellyphoto/6246702517 Venue The meeting will take ...

Dates: May 14-18, 2018 Venue: Antwerp, Belgium Host: Tom Van Cutsem https://lonelyplanetimages.imgix.net/mastheads/GettyImages-486812737 super.jpg Slides The slides ...

These are the talks given at the IFIP WG 1.16 meeting at Skamania Lodge, WA, USA from June 2 to June 6, 2014. Sean McDirmid: Programming with Managed Time in Glitch ...

The meeting will be held in London Venue: Imperial College, London Time: Monday, February 27 to Friday, March 2 until lunch. Local organizer: Susan Eisenbach Accommodation ...

Please edit this page to add your name and an abstract for one or more talks that you would be willing to present, if requested. By all means also create a home page ...

The first activity of the group was a lunch meeting at SPLASH 2010 to discuss the organization of the zeroth meeting. Date: Tuesday, 19 October, 2010 (?) Attending ...

William Cook is an Associate Professor at University of Texas interested in Programming languages, modeling languages, domain-specific languages, strategic programming ...

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

Statistics for TWiki.WebDSL Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...