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

The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...

BX 2012 is co-located with the following events: CC 2012: 21st International Conference on Compiler Construction ESOP 2012: 22nd European Symposium on Programming ...

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

You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...

The abstracts of invited talks and accepted contributions are available here and here. Where provided by the speakers (of non-whiteboard-only talks), slides are linked ...

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 BX 2012 will be part of the registration for ETAPS 2012.

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

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...

Please see the POPL 2008 web pages.

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

BX 2012 for Papers Dates Committee Submission BX 2012 Program Talks Papers Schedule Meetings ESOP 2012 FASE 2012 GT-VMT 2012 VSSE 2012 LDTA 2012 FESCA 2012 ... and ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.BX12 web. This is a convenient service, so you do not ...

Please see the ETAPS 2012 page for more information.

Previous Up Next Introduction Meta-programs manipulate structured representations (abstract syntax) of programs. The distance between the concrete syntax meta-programmers ...

Strategies for Program Transformation An Introduction to Program Transformation with Stratego/XT WEBLOGODISPLAY Stratego/XT Eelco Visser DRAFT 2003 The complete draft ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Book web. This is a convenient service, so you do not ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.CC web. This is a convenient service, so you do not have ...

TWiki's CC web SCRIPTURL /view SCRIPTSUFFIX /CC The CC web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{" TWIKIWEB .WebRssBase ...

Examples: a collection of case studies (challenges) for transformation systems

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Compare web. This is a convenient service, so you do not ...

TWiki's Compare web SCRIPTURL /view SCRIPTSUFFIX /Compare The Compare web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{ ...

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

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

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

No permission to read topic GPCE06.PanelDiscussion perhaps you need to log in?

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

To come. For now, please see the OOPSLA 2006 web pages.

To come. For now, please see the OOPSLA 2006 web pages.

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

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

Feature Modularity in Software Product Lines Don Batory, University of Texas at Austin Date Tuesday, Oct 24, from 13:30 to 17:00 Abstract Feature Oriented Programming ...

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

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.GPCE06 web. This is a convenient service, so you do not ...

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

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.GPCE08 web. This is a convenient service, so you do not ...

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

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

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

Please print a poster and display it in your institution to help advertise the conference.

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.GPCE09 web. This is a convenient service, so you do not ...

Abstract : Operation contracts consisting of pre- and postconditions are a well-known means of specifying operations. In this paper we deal with the problem of operation ...

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

SLE and GPCE registration Registration is live now! The early registration deadline has been extended to September 15, 2010 . Click here to go to the actual registration ...

Abstract : Smooth integration of domain-specific languages into a general purpose host language requires absorbing of domain code written in arbitrary syntax. The ...

Abstract : Garcia introduces a calculus for type-reflective metaprogramming that provides much of the power and flexibility of C++ templates and solves many of its ...

Please print a poster and display it in your institution to help advertise the conference.

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

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.GPCE10 web. This is a convenient service, so you do not ...

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

Abstract : Operation contracts consisting of pre- and postconditions are a well-known means of specifying operations. In this paper we deal with the problem of operation ...

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

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

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

CALL FOR TECH TALKS INCLUDE{ConferenceHeader} Important dates Submission of tech talk proposals: TECHTALKSSUBMISSION Author notification: TECHTALKSNOTIFICATION Scope ...

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

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

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 : Smooth integration of domain-specific languages into a general purpose host language requires absorbing of domain code written in arbitrary syntax. The ...

Abstract : !WebDSL is a domain-speci #64257;c language for the implementation of dynamic web applications with a rich data model. It provides developers with object ...

Abstract : The !GeoGram system generates programs for geometric computations by combining generic software components as speci #64257;ed by diagrams constructed using ...

Abstract : Garcia introduces a calculus for type-reflective metaprogramming that provides much of the power and flexibility of C++ templates and solves many of its ...

Abstract : A code generator is a program translating an input model into code. In this paper we focus on template-based code generators in the context of the model ...

Please print a poster and a flyer and share them with others in your institution. Poster (46 x 61 cm or 18 x 24 inches)for display. Flyer (22 x 28 cm or 8.5 x 11 inches ...

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 : Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature ...

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

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

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.GPCE11 web. This is a convenient service, so you do not ...

Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Wilhelm Hasselbring, Robert von Massow, and Michael Hanus: Xbase: Implementing Domain-Specific Languages ...

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

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

CALL FOR TECH TALKS INCLUDE{ConferenceHeader} Important dates Submission of tech talk proposals: TECHTALKSSUBMISSION Author notification: TECHTALKSNOTIFICATION Scope ...

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

Registration to GPCE'12 is now open. Please register here.

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

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...

A software product line is a set of similar software products that share a common code base. While software product lines can be implemented efficiently using feature ...

Honu is a new language that fuses traditional algebraic notation (e.g., infix binary operators) with Scheme-style language extensibility. A key element of Honu's ...

Delta-oriented programming (DOP) is a flexible approach for implementing software product lines (SPLs). DOP SPLs are implemented by a code base (a set of delta modules ...

A technique for synthesizing iterators from declarative abstraction functions written in a relational logic specification language is described. The logic includes ...

A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this ...

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

Please print a poster and a flyer and share them with others in your institution. Poster (46 x 61 cm or 18 x 24 inches)for display. Flyer (22 x 28 cm or 8.5 x 11 inches ...

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

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

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

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.GPCE12 web. This is a convenient service, so you do not ...

Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Wilhelm Hasselbring, Robert von Massow, and Michael Hanus: Xbase: Implementing Domain-Specific Languages ...

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

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

CALL FOR TECH TALKS INCLUDE{ConferenceHeader} Important dates Submission of tech talk proposals: July 2013 Author notification: August 2013 Scope Tech talks will ...

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

Registration to GPCE'13 is now open. Please register on the SPLASH 2013 registration page. To be able to attend GPCE, please include the "2-day Workshops/Symposia ...

SIGPLAN Student Travel Grants Are you a student who is a presenter or co-author of a paper, but need money to attend the conference? The SIGPLAN Professional Activities ...

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

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...

A software product line is a set of similar software products that share a common code base. While software product lines can be implemented efficiently using feature ...

Honu is a new language that fuses traditional algebraic notation (e.g., infix binary operators) with Scheme-style language extensibility. A key element of Honu's ...

Delta-oriented programming (DOP) is a flexible approach for implementing software product lines (SPLs). DOP SPLs are implemented by a code base (a set of delta modules ...

A technique for synthesizing iterators from declarative abstraction functions written in a relational logic specification language is described. The logic includes ...

A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this ...

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

Please print a poster and a flyer and share them with others in your institution. Poster (31 x 46 cm or 12 x 18 inches)for display. Flyer (22 x 28 cm or 8.5 x 11 inches ...

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

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

INCLUDE{ConferenceHeader} Recent news We received a large number of high-quality submissions this year and accepted 20 out of 57 submitted papers, for an acceptance ...

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.GPCE13 web. This is a convenient service, so you do not ...

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

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

CALL FOR TECH TALKS INCLUDE{ConferenceHeader} Important dates Submission of tech talk proposals: July 2013 Author notification: August 2013 Scope Tech talks will ...

13th International Conference on Generative Programming: Concepts Experiences (GPCE'14) Collocated with ASE 2014 and SLE 2014 Keynote by Nikolai Tillmann September ...

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

Registration is open online. See also the ASE registration overview. The deadline for early registration is August 15, 2014.

SIGPLAN Student Travel Grants Are you a student who is a presenter or co-author of a paper, but need money to attend the conference? The SIGPLAN Professional Activities ...

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

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...

A software product line is a set of similar software products that share a common code base. While software product lines can be implemented efficiently using feature ...

Honu is a new language that fuses traditional algebraic notation (e.g., infix binary operators) with Scheme-style language extensibility. A key element of Honu's ...

Delta-oriented programming (DOP) is a flexible approach for implementing software product lines (SPLs). DOP SPLs are implemented by a code base (a set of delta modules ...

A technique for synthesizing iterators from declarative abstraction functions written in a relational logic specification language is described. The logic includes ...

A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this ...

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

Please print a poster and some flyers, and share them with others in your institution or at the next conference you attend. Poster for display (DIN A3) (11.5in x 17 ...

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

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

INCLUDE{ConferenceHeader} Recent news Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation ...

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.GPCE14 web. This is a convenient service, so you do not ...

Since it is really difficult for a newbie to understand ideas behind the configuration of FUUT, i believe we need a document describing the purpose of each configuration ...

Before joining this discussion take a look at FuutConfiguration topic. Do You think, it is better to separate batch processing configuration and GUI application configuration ...

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

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

First off lets make it easy on ourselves and NOT worry (yet) about distributed tool use (we can have this as an eventual goal, along with a "visual aspect). Web based ...

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

WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Gmt web. This is a convenient service, so you do not have ...

TWiki's INCLUDINGWEB web SCRIPTURL /view SCRIPTSUFFIX / INCLUDINGWEB program-transformation.org INCLUDE{" TWIKIWEB .WebRssBase"}

Simple search: Topic text (body) All webs (not only TWiki.Gmt web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB Know ...

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

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

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Gpce web. This is a convenient service, so you do not ...

TWiki's Gpce web SCRIPTURL /view SCRIPTSUFFIX /Gpce The Gpce web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{" TWIKIWEB ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Gpce03 web. This is a convenient service, so you do not ...

TWiki's Gpce03 web SCRIPTURL /view SCRIPTSUFFIX /Gpce03 The Gpce03 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{" TWIKIWEB ...

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

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

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

GPCE Demonstration 24 MetaEdit+: Domain-Specific Modeling for Full Code Generation Demonstrated Juha-Pekka Tolvanen, MetaCase Summary Domain-Specific Modeling (DSM ...

GPCE Demonstration 21 Xirc: Cross-Artifact Information Retrieval Michael Eichberg, Darmstadt University of Technology Thorsten Schaefer, Darmstadt University of Technology ...

GPCE/OOPSLA Demonstration 15 C-SAW and GenAWeave: A Two-Level Aspect Weaving Toolsuite Jeff Gray, University of Alabama at BirminghamIra Baxter, Semantic DesignsJing ...

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

Jack Greenfield Jack Greenfield is an architect for enterprise frameworks and tools at Microsoft. He was previously the chief architect of the Practitioner Desktop ...

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Gpce04 web. This is a convenient service, so you do not ...

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

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

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

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

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

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

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

GPCE Demonstration 24 MetaEdit+: Domain-Specific Modeling for Full Code Generation Demonstrated Juha-Pekka Tolvanen, MetaCase Summary Domain-Specific Modeling (DSM ...

GPCE Demonstration 21 Xirc: Cross-Artifact Information Retrieval Michael Eichberg, Darmstadt University of Technology Thorsten Schaefer, Darmstadt University of Technology ...

GPCE/OOPSLA Demonstration 15 C-SAW and GenAWeave: A Two-Level Aspect Weaving Toolsuite Jeff Gray, University of Alabama at BirminghamIra Baxter, Semantic DesignsJing ...

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

Papers and Demos for presentation at the conference ( GPCEDAYS ) Pre-submission: PAPERPRESUBMISSION (only for papers) Submission: PAPERSUBMISSION Notification: PAPERNOTIFICATION ...

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

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

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

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

Implementing Domain-Specific Modelling Languages and Generators This tutorial is CONFIRMED . Description Domain-Specific Modelling (DSM) languages provide a viable ...

INCLUDE{ConferenceHeader} The GPCE 2005 proceedings are available as volume 3676 of Springer LNCS News INCLUDE{WebNews} Generative and component approaches have the ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Gpce05 web. This is a convenient service, so you do not ...

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

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Gpceorg web. This is a convenient service, so you do not ...

t.b.a.

The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...

BX 2012 is co-located with the following events: CC 2012: 21st International Conference on Compiler Construction ESOP 2012: 22nd European Symposium on Programming ...

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

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

You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...

The workshop has been cancelled.

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 HART 2014 will be part of the registration process for ICFP 2014.

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

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...

Please see the POPL 2008 web pages.

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

HART 2014 for Papers Dates Committee Submission Program Invited Talk Papers Schedule Local Information Venue Registration Accommodation History Previous Meeting ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.HART14 web. This is a convenient service, so you do not ...

Please see the ICFP 2014 page for more information.

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

TU Delft 2006-11-20 The software for the TU Delft tutorial will be installed at the server apsone.st.ewi.tudelft.nl . You can compile your exercises on apsone and ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.IPA06 web. This is a convenient service, so you do not ...

TWiki's IPA06 web SCRIPTURL /view SCRIPTSUFFIX /IPA06 The IPA06 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{" TWIKIWEB ...

Name: ani pepe Email: ani 66@hotmail.com Homepage: http://xase.net Country: Armenia Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal ...

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: Bernd Fischer Email: fisch@email.arc.nasa.gov Affiliation: RIACS/NASA Ames Homepage URL: http://ase.arc.nasa.gov/people/fischer/ Country: USA Comment: Personal ...

Name: Chase C Email: maguchi123@aol.com Homepage: http://www.exploitstation.com Country: USA Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal ...

Name: Frans Faase Email: faase009 at planet dot nl Affiliation: Homepage URL: http://home.planet.nl/~faase009/ Country: Netherlands Comment: Personal Preferences ...

Name: Hans Peter Würmli Email: wurmli@freesurf.ch Company Name: Company URL: Location: (Please specify office location) Country: Switzerland Comment: Personal Preferences ...

Name: John Talintyre Login Name: JohnTalintyre Email: john.talintyre@drkw.com Phone: Department: Location: (Please specify office location) Comment: Personal Preferences ...

Name: Juha-Pekka Tolvanen Email: jpt@metacase.com Affiliation: MetaCase Homepage URL: http://www.cs.jyu.fi/~jpt Country: Finland Comment: Personal Preferences (details ...

Name: Lee Pickrell Email: lee@pickrell.co.uk Homepage URL: http://www.bingobase.com Country: United Kingdom My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

Name: magdy tawadrose Email: mbt100@msn.com Company Name: Company URL: Location: (Please specify office location) Country: USA Comment: Personal Preferences (details ...

Email: Male@spiral-galaxies.info Country: Syria Name: Male Dibiase Homepage URL: http://spiral-galaxies.info Company URL: http://spiral-galaxies.info My Links TWIKIWEB ...

Name: Michael Lowry Email: lowry@email.arc.nasa.gov Homepage: http://ase.arc.nasa.gov/~lowry Country: USA Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables ...

Name: Mike Lowry Email: lowry@email.arc.nasa.gov Homepage: http://ase.arc.nasa.gov/people/lowry/ Country: USA Comment: Personal Preferences (details in TWIKIWEB ...

Name: Nicholas Lee Login Name: NicholasLee Email: nj.lee@plumtree.co.nz Phone: Department: Location: (Please specify office location) Comment: Personal Preferences ...

Personal Information Name: Niels Janssen Email: njanssen@cs.uu.nl Affiliation: Utrecht University (Student) Country: Netherlands Extra Information Courses Completed ...

Name: Online Bingo Email: bingo@blueseptember.freeserve.co.uk Homepage URL: http://www.bingobase.com Country: United Kingdom My Links TWIKIWEB .WelcomeGuest to learn ...

TWIKIWEB .WelcomeGuest: TWiki is a web-based collaboration tool, web authoring tool, document management tool and knowledge base tool. You can edit any TWiki page ...

STARTINCLUDE en-us Copyright GMTIME{"$year"} , Contributing authors of Program-Transformation.Org. Program-Transformation.Org Program-Transformation.Org TWiki SEARCH ...

TOC{} TWiki has a different syntax for TWiki.WikiNames than the c2 wiki ( Wiki:WikiName ). This means that words consisting entirely of uppercase letters such as ...

These groups can be used to define fine grained TWIKIWEB .TWikiAccessControl in TWiki: SEARCH{"GROUP" topic " Group" casesensitive "on" nosummary "on" nosearch "on ...

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

2002-06-02 Modified the TWiki code such that the variable definitions in a topic are considered as well. This is particularly useful for defining the SKIN of a topic ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Main web. This is a convenient service, so you do not ...

TWiki's Main web SCRIPTURL /view SCRIPTSUFFIX /Main The web for users, groups and offices. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE ...

Statistics for TWiki.Main Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Jun 2011 5347 ...

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

Prerequisites The following software is needed to compile the Octave Compiler Octave (version 2.1.61) Latest unstable StrategoXT Download The latest unstable release ...

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Octave web. This is a convenient service, so you do not ...

Octave Compiler http://octave-compiler.org Octave-Compiler.org INCLUDE{"Main.RssBase"}

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

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

In preparation You may find the following material useful in publicizing PEPM 2007. For Papers Text suitable for emailing Call For Papers (PDF version 1 page) Please ...

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

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed ...

To come. For now, please see the OOPSLA 2006 web pages.

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.PEPM07 web. This is a convenient service, so you do not ...

The following papers have been accepted for presentation at the workshop (in no particular order): Jakob Puchinger and Peter Stuckey. Automating Branch-and-Bound ...

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

You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...

Monday, January 7, 2008 Opening: 8:45 9:00 Invited Talk 1: 9:00 10:00 Ras Bodik. Program Synthesis by Sketching. Coffee break Session 1: 10:30 12:00 (Staging and ...

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

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...

Please see the POPL 2008 web pages.

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.PEPM08 web. This is a convenient service, so you do not ...

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

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

You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...

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

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

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

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...

Please see the POPL 2008 web pages.

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.PEPM10 web. This is a convenient service, so you do not ...

Please see the local arrangements page of POPL 2010 for more information.

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

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

You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...

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

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

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...

Please see the POPL 2008 web pages.

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.PEPM11 web. This is a convenient service, so you do not ...

Please see the local arrangements page of POPL 2011 for more information.

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

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

You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...

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

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

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...

Please see the POPL 2008 web pages.

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.PEPM12 web. This is a convenient service, so you do not ...

Please see the local arrangements page of POPL 2012 for more information.

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

You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...

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

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

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...

Please see the POPL 2008 web pages.

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

2012-11-16 A preliminary program is available. 2012-11-15 Information regarding the venue, registration, and accommodation updated. Please note that the early registration ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.PEPM13 web. This is a convenient service, so you do not ...

PEPM 2013 is co-located with POPL 2013 in Parco dei Principi Hotel. Please see the local arrangements pages of POPL 2013 for information regarding transportation and ...

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

You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...

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

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

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...

Please see the POPL 2008 web pages.

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

2013-12-17 Michal Moskal, a co-developer of TouchDevelop, will be giving the invited talk in place of Manuel Fahndrich 2013-11-29 A preliminary program is now available ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.PEPM14 web. This is a convenient service, so you do not ...

PEPM 2014 is co-located with POPL'14 in The US Grant.

This page describes how you can set up your development environment for PHP-Sat/PHP-Front. Most of the information is located elsewhere, if a link is dead please let ...

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

Stable Releases There is no stable release of PHP-Front (yet). Check the road map for the current status of the 0.1 release. Latest Developments Distributions of ...

TOC What is a bug-pattern? Let us start with a definition: A bug-pattern describes a common mistake at the application level. So each bug-pattern describes a pattern ...

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

TOC Installation The installation process is the same as for PHP-Front. Usage Getting started with PHP-Sat PHP-Sat configuration explained Development If you want ...

TOC Analyzing a file After you have installed php-sat you can run it by typing: php-sat h If this command does not produce a list of all the options that are available ...

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

!! Under construction !! This page will hold the description of the security algorithm of PHP-Sat as flagged by pattern MCV000. The information is already available ...

PHP-Sat was originally called PSAT. This stands for PHP Static Analysis Tool. This name should not come as a surprise. When the time came to publish the project on ...

Bugpatterns Each bugpattern category within PHP-Sat has his own testsuite. Each bugpattern has is own section within the testsuite to test different properties of ...

There is no stable release of PHP-Sat (yet). Check the road map for the current status of the 0.1 release. You can always download, install and try the latest version ...

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

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

Any data that comes from outside the script should be considered tainted data. This includes user-input, database-results, file-system data or anything else that is ...

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

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

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

PHP-Sat is a Static Analysis tool that can be used to check for common mistakes in PHP source code. One of the key-features of PHP-Sat is the automatic detection of ...

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.PHP web. This is a convenient service, so you do not have ...

TWiki's PHP web SCRIPTURL /view SCRIPTSUFFIX /PHP The PHP web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{" TWIKIWEB .WebRssBase ...

-- Main.TWikiGuest 27 Mar 2008 toto je sandbox4610 Search keyword: 'test', 'west', 'mest' Advanced search: Topic text (body) Search all public INCLUDINGWEB WEBLIST ...

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

This is a subscription service to be automatically notified by e-mail when topics change in this Sandbox web. This is a convenient service, so you do not have to come ...

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

TWiki's Sandbox web SCRIPTURL /view SCRIPTSUFFIX /Sandbox The Sandbox web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{ ...

-- Main.TWikiGuest 28 Feb 2007 Hi, it's my test. Majherek Dec 13,2007 Hello, this is my test topic for lab1.6.2. CIT1121 bea http://www.cheapflightstomumbai.com ...

There are a number of features for disambiguation in SDF2. Associativity Associativity declarations are used to solve ambiguities of an operator with respect to itself ...

Description The Grammar Base is a collection of Sdf syntax definitions. Its purpose is to: 1. provide syntax definitions for a wide range of existing languages so ...

Tools Tools.ParseUnit is a tool for unit-testing SDF syntax definitions

These are older releases of SDF; if you need something even older contact mailto:users@syntax-definition.org SDF 2.6 source bundle SDF 2.5.1 source bundle SDF2 Bundle ...

Sdf.AQuickIntroductionToSDF. Joost Visser and Jeroen Scheerder. 2000 SyntaxDefinitionForLanguagePrototyping. Eelco Visser. PhD Thesis, University of Amsterdam. September ...

(note: this is not an official release plan and probably quite out of date. Please update if some info is incorrect!) Below is a list of considerations for the next ...

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

From the report Scannerless Generalized LR Parsing: Scannerless parsing is a parsing technique in which lexical and context-free syntax are integrated into one grammar ...

SDF2 Bundle 1.6 Contents sdf2-bundle 1.6 consists of: asc-support-1.6 asf-support-1.0 sdf-support-1.0 pt-support-0.11 sglr-3.9 toolbuslib-0.4 pgen-1.6 Download See ...

SDF2 Bundle 2.0.1 Contents sdf2-bundle 2.0.1 consists of: asc-support-1.8 asf-support-1.2 sdf-support-2.0 pt-support-1.0 sglr-3.10.2 toolbuslib-0.5.1 pgen-2.0 Download ...

SDF2 Bundle 2.1 Contents sdf2-bundle 2.1 consists of: asc-support-1.9 asf-library-1.0 asf-support-1.3 error-support-0.1.1 pgen-2.1 pt-support-1.1 sdf-support-2.1 ...

Released July 04, 2004. The SDF2 Bundle is an easy to install collection of packages that implement the modular SDF syntax definition formalism. Contents SDF2 Bundle ...

Released January 10, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...

Released August 17, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...

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

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

SDF is an open-source project under the BSDLicense . Contributing Please contribute bug reports, patches, and ideas for enhancement using our BugZilla instance. Thank ...

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

Overview The SDF syntax definition formalism allows a concise and natural expression of the syntax of a context-free language. SDF integrates lexical and context ...

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

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

SDF is released under the BSD open-source license. The latest source release of SDF is: SDF 2.6.2 source bundle A binary distribution for Linux/x86 is also available ...

The SDF parser (SGLR) reads a file that contains the parse table. The format for this file and its implementation is a part of the SDF bundle. This part is called ...

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Sdf web. This is a convenient service, so you do not have ...

TWiki's INCLUDINGWEB web SCRIPTURL /view SCRIPTSUFFIX / INCLUDINGWEB SDF Modular Syntax Definition Formalism INCLUDE{" TWIKIWEB .WebRssBase"}

Statistics for TWiki.Sdf Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Dec 2007 4149 0 ...

There are a number of features for disambiguation in SDF2. Associativity Associativity declarations are used to solve ambiguities of an operator with respect to itself ...

Description The Grammar Base is a collection of Sdf syntax definitions. Its purpose is to: 1. provide syntax definitions for a wide range of existing languages so ...

Tools Tools.ParseUnit is a tool for unit-testing SDF syntax definitions

Sdf.AQuickIntroductionToSDF. Joost Visser and Jeroen Scheerder. 2000 SyntaxDefinitionForLanguagePrototyping. Eelco Visser. PhD Thesis, University of Amsterdam. September ...

(note: this is not an official release plan and probably quite out of date. Please update if some info is incorrect!) Below is a list of considerations for the next ...

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

From the report Scannerless Generalized LR Parsing: Scannerless parsing is a parsing technique in which lexical and context-free syntax are integrated into one grammar ...

SDF2 Bundle 1.6 Contents sdf2-bundle 1.6 consists of: asc-support-1.6 asf-support-1.0 sdf-support-1.0 pt-support-0.11 sglr-3.9 toolbuslib-0.4 pgen-1.6 Download See ...

SDF2 Bundle 2.0.1 Contents sdf2-bundle 2.0.1 consists of: asc-support-1.8 asf-support-1.2 sdf-support-2.0 pt-support-1.0 sglr-3.10.2 toolbuslib-0.5.1 pgen-2.0 Download ...

SDF2 Bundle 2.1 Contents sdf2-bundle 2.1 consists of: asc-support-1.9 asf-library-1.0 asf-support-1.3 error-support-0.1.1 pgen-2.1 pt-support-1.1 sdf-support-2.1 ...

Released July 04, 2004. The SDF2 Bundle is an easy to install collection of packages that implement the modular SDF syntax definition formalism. Contents SDF2 Bundle ...

Released January 10, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...

Released August 17, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...

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

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

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

Overview The SDF syntax definition formalism allows a concise and natural expression of the syntax of a context-free language. SDF integrates lexical and context ...

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

Parser and Parser Generator The latest source release of SDF is: SDF 2.5.1 source bundle A binary distribution for Linux/x86 is also available: SDF 2.5.1 linux binary ...

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.SdfBackup web. This is a convenient service, so you do ...

TWiki's INCLUDINGWEB web SCRIPTURL /view SCRIPTSUFFIX / INCLUDINGWEB SDF Modular Syntax Definition Formalism INCLUDE{" TWIKIWEB .WebRssBase"}

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

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

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

name binding language

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

Refactorings Spoofax helps you to enrich your editor with refactorings. You can find the refactorings in the context menu of the file being edited. http://strategoxt ...

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

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

This short primer shows how to use tests as a basis for language development with Spoofax. As an example project we create a small 'calculator' language that shows ...

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

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Spoofax web. This is a convenient service, so you do not ...

TWiki's Spoofax web SCRIPTURL /view SCRIPTSUFFIX /Spoofax The Spoofax web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{ ...

INCLUDE{WebNotice} TOC Editor Plugins for Stratego Spoofax Stratego Editor Plug-In for Eclipse The Spoofax Stratego Editor plug-in provides syntax-highlighting and ...

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

AutoBayes is a program synthesis for the domain of statistical data analysis. Stratego/XT is used in combination with AutoBayes to (1) provide concrete syntax for ...

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 binding of a term variable does not coincide with its binding. That is, in the strategy expresssion {x : ... ; ?Foo(x) ; ... ; !Bar(x) } the variable x is first ...

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

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

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

TOC Introduction CX is an aterm bridge for CIL, an existing C front-end implement in OCaml. The Stratego/XT-based package CX uses this bridge to read C code. CX will ...

A few months ago I proposed to introduce character literals in Stratego as syntactic sugar for the integer ASCII value of the character. I would like to raise this ...

Homepage: http://losser.st-lab.cs.uu.nl/~pretzel/ CobolX is a transformation system for Transform.COBOL developed by Main.HedzerWestra based on StrategoLanguage and ...

CodeBoost is a tool for source-to-source transformation and optimisation of C++ programs. It is intended to be used as a testbed for various high-level optimisations ...

The software for the Code Generation 2009 Tutorial is available through a virtual machine. To run this virtual machine you need a recent version of VirtualBox (version ...

Jonne van Wijngaarden, Code Generation from a Domain Specific Language. Designing and Implementing Complex Program Transformations MSc Thesis INF/SCR-03-29, Institute ...

This page lists ideas for improvement of the StrategoCompiler. Please add ideas and bug reports to the appropriate sub-topic. ImplementationScheme StrategoOptimization ...

syntax written using prefix constructor terms can become rather unreadable when patterns become large. Therefore it is attractrive to write rules using the concrete ...

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

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

When the current subject term is known for a match action, the bindings it induces can be propagated to the uses of the variables in the pattern. This is a data-flow ...

Terms are constructed dynamically, even when they are are constant at compile time. Constant term caching is a transformation that lifts out constant terms and constructs ...

INCLUDE{WebNotice} The buildfarm continuously builds Stratego/XT and related packages. The distributions contain the latest of the latest developments. Although the ...

O. S. Bagge, K. T. Kalleberg, M. Haveraaen and E. Visser. Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs. In D. Binkley ...

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

TOC Features ECMAScript-front is a package you can use to generate or transform ECMAScript Edition 4 (also known as JavaScript) code. Download Stable Releases Currently ...

TOC Features The ECMAScript-model package is an executable model of the ECMAScript Edition 4 programming language. The source code represents a small-step operational ...

Effects analysis can further enhance the optimizations performed by the optimizer. The following questions should be answered by effects analysis: Does the strategy ...

Ideas for improving the error reporting of the StrategoCompiler. Feel free to add more ideas. check import graph: operators used in a module should be visible through ...

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

A. van Dam. Extending Dynamic Rules. An Application-Oriented Study into Stratego's new Dynamic Rules. Master's thesis, Utrecht University, Utrecht, The Netherlands ...

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

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

A tuple is a term of the form (t1,...,tn) . In pre- StrategoRelease07 versions of Stratego this was syntactic sugar for TCons(t1,...,TCons(tn,TNil)) . The idea behind ...

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

TOC Installation Q: I get errors when compiling Stratego programs or when running compiled Stratego programs. A: If you've carefully followed the instructions and ...

In StrategoRelease08 an extension of Stratego with syntax is provided. This extension requires a tighter integration with SDF and several of the XT tools. In effect ...

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

Added the guarded left choice operator s1 StrategoRelease07

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

This is a to do list for creating a new release of StrategoXT. Make sure trunk is ok The trunk revision must build at all machines of the buildfarm, Cygwin and Mac ...

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

From StrategoXT 0.11 the Stratego Runtime creates libraries using Libtool. This means that both static and shared libraries are constructed (on platforms that support ...

Before StrategoRelease06 failure was implemented in the StrategoCompiler by using GCC's computed labels feature. Starting with StrategoRelease06 failure handling is ...

An experimental fusion transformation for fusing the generic InnermostStrategy with the rules it is instantiated with was implemented in StrategoRelease05. The transformation ...

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

This page discusses common problems (or non-problems) with the installation of Stratego on certain platforms. ATerm Installation (for Stratego/XT 0.14 and earlier ...

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

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

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

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

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

Released January 14, 2005 Download Java-front 0.6 requires Stratego/XT 0.13. Source tar.gz java-front-0.6 Source RPM java-front-0.6 Redhat Linux RPM java-front-0.6 ...

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

TOC Documentation Publication: Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax Download Distributions (tarball, rpm, srpm) of the ...

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

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

The documentation of Standard Library must be improved. You can help with this in two ways: If you have to you think longer than 10 seconds about what a strategy in ...

Local strategy definitions can be lifted to the top-level if they do not contain free variables. For example, foo(s) Bar(s, id) ; let f !"foobar" in foobar(f) end ...

In the ATerm representation lists are represented as terms of the form t1,...,tn . This is also the syntax for lists in Stratego; extended with the notation t1,.. ...

In ListMatching you can use list variables inside a match against a list pattern. List variables are variables followed by a . List variables represent list content ...

Lists are now (StrategoRelease07) considered as variadic constructors. The behaviour of the generic traversal operators is changed accordingly. For example, a, b, ...

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

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

When using syntax for the language the input is parsed against the combined syntax of the object language (for example Tiger, Java, XML or Stratego) and the language ...

E. Visser. Meta-programming with concrete object syntax. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering (GPCE'02) ...

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

Naming conventions are important in any platform. If the naming conventions are followed in the library and by the developers of a project, you can remember the name ...

The prim construct in Stratego allows calls to 'primitive' functions. This makes it easy to include external library functionality without further language extensions ...

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

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

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

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

A simple PIL tutorial PIL is a language based on a small subset of Java, but simpler and with a few subtle differences and convenient additions. Let's start with ...

From time to time you write obvious code, but after several days of intensive debugging, you discover that it cannot possibly work. Beginners are espacially at risk ...

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

The prolog-tools package provides basic support for processing Prolog programs. The package provides a syntax definition, pretty-printer, and signature for the language ...

Quoted constructors are constructor names with double quotes as in "a very long constructor"(A, B) This feature is available from StrategoXT 0.13.

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

This page provides the tentative scheduling for future releases of StrategoXT. See PastReleases for an overview of the development of StrategoXT. Note that except ...

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

In stratego all information is represented as a ATerm. An ATerm can be thought of as a structured tree-like representation of the information that needs to be transformed ...

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

The name of the Stratego compiler was changed to strc . In StrategoRelease093 sc is still available as a redirection to strc , but will no longer be available in the ...

February 8, 2001, Universiteit Utrecht The proceedings are now available http://www.cs.uu.nl/~visser/ftp/SUD01.ps.gz http://www.cs.uu.nl/~visser/ftp/SUD01.ps.zip SecondStrategoUsersDayProgram ...

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

A pragmatic approach to separate compilation has been introduced in StrategoRelease094. A module can be compiled as a library which results in a single C program containing ...

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

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

The UltraSparc platform is the 64 bit version of the Sparc platform. It (and the Solaris operating system) can handle both 32 bit and 64 bit executables. The default ...

Jozef Kruger. Specification Of Loop Optimizations In Stratego. Improving the AutoBayes System . Master's thesis. Institute of Information and Computing Sciences, Utrecht ...

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

The StrategoFront package contains the SDF syntax definition of Stratego, the signatures and pretty-print tables generated from that syntax definition and additional ...

TOC Introduction SQL-front provides a syntax definition of a subset of SQL/92. You can use SQL-front to parse SQL. Download Latest Unstable Release The latest unstable ...