To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

HistoricalStatistics for TWiki.BX12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

This is the website for Strategies for Program Transformation , a book on program transformation with Stratego/XT. The book is currently in draft form. A future version ...

Previous Up Next Introduction In the previous chapter we saw that pure term rewriting is not adequate for term rewriting because of the lack of control over the application ...

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

Previous Up Next Introduction In the previous chapters we saw how strategies can be used to control transformations and how rules can be broken down into the primitive ...

Previous Up Next Introduction Rewrite rules provide a good formalism for the formalization of transformation steps. However, term rewriting based on exhaustive normalization ...

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

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

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

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

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

See I

Previous Up Next Introduction In the previous chapter we saw how terms provide a structured representation for programs derived from a formal definition of the syntax ...

For announcements of new version, questions and remarks about chapters, subscribe to the following mailinglist: https://mail.cs.uu.nl/mailman/listinfo/stratego-book ...

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

Program Transformation by Term Rewriting STARTINCLUDE Program Representation Term Rewriting Program Transformation with Concrete Object Syntax STOPINCLUDE

Programmable Rewriting Strategies Contents STARTINCLUDE In Control of Rewriting Composing Strategies First Class Pattern Matching Generic Traversal Strategies Scoped ...

INCLUDE{ TWIKIWEB .SiteMap}

I Introduction INCLUDE{PartI} II Program Transformation by Term Rewriting INCLUDE{PartII} III Programmable Rewriting Strategies INCLUDE{PartIII}

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

News INCLUDE{WebNews}

INCLUDE{" MAINWEB .WebChanges"}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

Strategies for Program Transformation An Introduction to Program Transformation with Stratego/XT Stratego/XT Eelco Visser DRAFT 2003

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

STARTINCLUDE 2003-12-14 Chapter 11: Scoped Dynamic Rewrite Rules 2003-12-10 Chapter 10: Generic Traversal Strategies 2003-12-08 Chapter 9: First Class Pattern Matching ...

News INCLUDE{WebNews}

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

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

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

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

2002-01-23 Creation of WebNews for default web Main.EelcoVisser

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

INCLUDE{ TWIKIWEB .SiteMap}

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

INCLUDE{" MAINWEB .WebChanges"}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

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

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

Home Examples

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.Compare Web Preferences The following settings are web preferences of the TWiki.Compare web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Statistics for TWiki.Compare Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Sep 2013 649 ...

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

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

CALL FOR 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 WORKSHOP PROPOSALS INCLUDE{ConferenceHeader} Workshop Chairs Christa Schanninger, Siemens AG Hans-Arno Jacobosn, University of Toronto Workshop chairs can ...

Fifth International Conference on Generative Programming and Component Engineering (GPCE'06) GPCEDAYS Portland, Oregon (co-located with OOPSLA'06) Sponsored by ACM ...

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

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

The gpce-news mailinglist is a moderated list used to announce events of interest to the GPCE community. Subscribe at https://mailman.rice.edu/mailman/listinfo/gpce ...

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

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

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

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

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

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

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

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

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

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

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

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

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

Ninth International Conference on Generative Programming and Component Engineering (GPCE'10) GPCEDAYS VENUECITY (co-located with SLE 2010) Sponsored by ACM SIGPLAN ...

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

Important Dates Tutorial Proposals July 6, 2010 Submission of abstracts : PAPERPRESUBMISSION Submission : PAPERSUBMISSION Notification : PAPERNOTIFICATION Camera ...

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

HistoricalStatistics for TWiki.GPCE10 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

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

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

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

HistoricalStatistics for TWiki.GPCE11 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

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

HistoricalStatistics for TWiki.GPCE12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

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

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

HistoricalStatistics for TWiki.GPCE13 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

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

HistoricalStatistics for TWiki.GPCE14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "100" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "200" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "500" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

SEARCH{"\. " scope "topic" regex "on" nosearch "on" format " $topic " noheader "on"}

WebHome News Changes

STARTINCLUDE 2004-06-02 Creation of the GMT web. STOPINCLUDE

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

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

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

Useful twiki things to do are: Keep track of WebChanges Get a WebNotify of changes Check the WebStatistics Browse the WebIndex Do a WebSearch See the other Main.TWikiUsers ...

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

INCLUDE{ TWIKIWEB .SiteMap}

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

INCLUDE{" MAINWEB .WebChanges"}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

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

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

Home GPCE'04 GPCE'05 GPCE'06 GPCE'07 GPCE'08 GPCE'09 GPCE'10 GPCE'11 GPCE'12 GPCE'13 GPCE'14 GPCE'15 Bylaws

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

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

INCLUDE{" MAINWEB .WebChanges"}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

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

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

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

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

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

CALL FOR 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 WORKSHOP PROPOSALS(closed) INCLUDE{ConferenceHeader} Workshop Chair Zino Benaissa. Intel, Austin, Texas. (workshops04@gpce.org) Important Dates Workshop ...

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

The proceedings of GPCE 2004 are published as: G. Karsai and E. Visser, editors. Proceedings of the Third International Conference on Generative Programming and Component ...

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

Online registration is joint with OOPSLA'04 and available from http://www.oopsla.org/2004/ShowPage.do?id RegistrationHome Make sure to check the GPCE or OOPSLA/GPCE ...

The conference will be held in Vancouver Trade and Convention Center and Pan Pacific Hotel in Vancouver and will be co-located with OOPSLA 2004 and ISMM 2004.

Electronic submission of abstracts (before March 12, 2004) and papers (before March 19, 2004) should be done at http://gpce.program-transformation.org

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

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

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

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

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

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

Slides from the PC report presented during the GPCE 2004 business meeting on Wednesday, October 27, 2004: gpce-pc-report.pdf

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

INCLUDE{ TWIKIWEB .SiteMap}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

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

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

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

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

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

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

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

CALL FOR 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 WORKSHOP PROPOSALS INCLUDE{ConferenceHeader} Workshop Chairs Jeff Gray, University of Alabama at Birmingham Andrew Malton, University of Waterloo Workshop ...

Fourth International Conference on Generative Programming and Component Engineering (GPCE'05) GPCEDAYS , Tallinn, Estonia (co-located with TFP 2005 and ICFP 2005) ...

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

TOC Mailinglists https://mail.cs.uu.nl/mailman/listinfo/gpce-org https://mail.cs.uu.nl/mailman/listinfo/gpce05-chairs https://mail.cs.uu.nl/mailman/listinfo/gpce05 ...

The gpce-news mailinglist is a moderated list used to announce events of interest to the GPCE community. Subscribe at https://mailman.rice.edu/mailman/listinfo/gpce ...

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

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

INCLUDE{ TWIKIWEB .SiteMap}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

2005-09-22 GPCE'06 will be held in Portland, Oregon, USA and co-locate with OOPSLA'06. 2005-07-25 T1 and T2 CONFIRMED 2005-07-17 Workshop programs now available 2005 ...

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

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

Latex sources for the flyer. GPCE06-a4.tex: driver for boxed flyer GPCE06-boxed.tex: Flyer with boxes Adapted old design to one with boxedminipages. Main.EelcoVisser ...

Latex sources for the flyer. GPCE05-a4.tex: GPCE05.tex: acm-logo.jpg: gpce-logo.jpg:

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

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

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

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

HistoricalStatistics for TWiki.HART14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

INCLUDE{ TWIKIWEB .SiteMap}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

2002-01-23 Creation of WebNews for default web Main.EelcoVisser

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

Name: Alan van Dam Email: addam@cs.uu.nl Affiliation: Homepage URL: Country: Netherlands Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal ...

Andreea Costea

Andrew Black

Name: andri johandri Email: andri johandri@lycos.com Homepage URL: Country: Indonesia My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome web to try out ...

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

It is now possible to bookmark individual pages in this TWiki. The URLs tend to get pretty long however. For example, the URL of this page is: http://www.program-transformation ...

BxGroup Set GROUP Main.EelcoVisser JanisVoigtlaender FrankHermann Set ALLOWTOPICCHANGE BxGroup Related topics: WIKIUSERSTOPIC , TWikiGroups, TWIKIWEB .TWikiAccessControl ...

Chin Wei Ngan

Christian

Name: Christophe de Dinechin Email: descubes@mac.com Affiliation: Hewlett-Packard Homepage URL: http://home.earthlink.net/~descubes Country: France Comment: Personal ...

It is no longer possible to create arbitrary webs in this TWiki. If you need a new web, contact WIKIWEBMASTER . Note a web is like a directory. Example webs are Main ...

Daniel Waddington

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

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

ElviraAlbert

Ewen Denney

FrankHermann

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

Gabriel

Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal size of text edit box: Set EDITBOXWIDTH 70 Vertical size of text edit box: Set EDITBOXHEIGHT ...

Gmt Administrator Group Set GROUP JornBettin Set ALLOWTOPICCHANGE TWikiAdminGroup GmtAdminGroup Related topics: WIKIUSERSTOPIC , TWikiGroups, TWIKIWEB .TWikiAccessControl ...

GpceAllGroup Set GROUP Main.EelcoVisser RobEconomopoulos Set ALLOWTOPICCHANGE GpceAllGroup Related topics: WIKIUSERSTOPIC , TWikiGroups, TWIKIWEB .TWikiAccessControl ...

Group with write access to Gpce05.WebHome Set GROUP EelcoVisser Set ALLOWTOPICCHANGE TWikiAdminGroup, GpceorgGroup, GpceOrg04Group Related topics: WIKIUSERSTOPIC ...

Group with write access to Gpce05.WebHome Set GROUP EelcoVisser Set ALLOWTOPICCHANGE TWikiAdminGroup, GpceOrg05Group Related topics: WIKIUSERSTOPIC , TWikiGroups, ...

GpceOrg06Group Group with write access to GPCE06.WebHome Set GROUP EelcoVisser Set ALLOWTOPICCHANGE TWikiAdminGroup, GpceOrg06Group Related topics: WIKIUSERSTOPIC ...

Group with read access to Gpceorg.WebHome Set GROUP EelcoVisser, TimSheard, JeffGray, EugenioMoggi, RobertGlueck, AndrewMalton, MikeLowry, StanJarzabek, ToddVeldhuizen ...

Group with write access to Gpceorg.WebHome Set GROUP Main.EelcoVisser JaakkoJarvi RobEconomopoulos JuliaLawall EwenDenney PeterKim KlausOstermann WalterBinder MatthiasHauswirth ...

Name: Graeme Chandler Email: graeme@gajits.com Affiliation: Homepage URL: http://www.minuml.com Country: Australia Comment: Personal Preferences (details in TWIKIWEB ...

Guido

BxGroup Set GROUP Main.EelcoVisser JanisVoigtlaender Set ALLOWTOPICCHANGE HartGroup Related topics: WIKIUSERSTOPIC , TWikiGroups, TWIKIWEB .TWikiAccessControl Main ...

Name: Hendrik Boom Email: hendrik@pooq.com Affiliation: pooq Homepage URL: Country: Canada Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal ...

I find myself converting non Wiki web pages to Wiki format, then adding to the result. This tends to end up with pages that are rather long, perhaps a few hundred ...

Jaakko Jarvi

Jan

Janis Voigtlaender Transform.CategoryPeople

Jonathan Edwards

Name: Jory van Zessen Email: jzessen@cs.uu.nl Affiliation: Homepage URL: Country: Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal size ...

Name: Julio Casal Email: julio casal@hotmail.com Homepage URL: http://juliocasal.com. Country: Ecuador My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome ...

Jurriaan Hage

Kevin Lynch

http://www.comp.nus.edu.sg/~khoosc/

Name: Mark Thomsen Email: markthomsen@yahoo.com Affiliation: Homepage URL: Country: Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal ...

Name: Matthias Bräuer Email: matthew.b@freenet.de Homepage URL: http://www.matthiasbraeuer.de Country: Germany My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

MatthiasHauswirth

Norbert

Name: Paul B Mann Email: paul@paulbmann.com Homepage URL: http://paulbmann.com Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome web to ...

Name: Paul Hagg Email: pwhagg@cs.uu.nl Affiliation: Homepage URL: Country: Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal size of ...

PepmGroup Set GROUP Main.EelcoVisser RobertGlueck OegeDeMoor JanisVoigtlaender JeremySiek KhooSiauCheng SimonThompson OlegKiselyov ShinChengMu ElviraAlbert AndreeaCostea ...

Peter Kim

Set GROUP MartinBravenboer Set ALLOWTOPICCHANGE EelcoVisser Related topics: TWikiUsers, TWikiGroups, TWiki.TWikiAccessControl EelcoVisser 01 Oct 2003

ricky

Rob Economopoulos

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

http://erdweg.org/

ShinChengMu

INCLUDE{ TWIKIWEB .SiteMap}

StrategoGroup Set GROUP Main.EelcoVisser, MartinBravenboer, ReneDeGroot, RobVermaas, KarlTrygveKalleberg, JozefKruger, ArthurVanDam, MerijnDeJonge, Main.MartKolthof ...

TWiki Administrator Group Set GROUP EelcoVisser MartinBravenboer RobVermaas LennartKats RobEconomopoulos Set ALLOWTOPICCHANGE TWikiAdminGroup (Note: Set the members ...

Logo Set WEBLOGO PUBURL /transformation.gif Set WEBLOGODISPLAY Message Set BROADCASTMESSAGE TWiki Platform Settings TWiki platform name: Set WIKITOOLNAME TWiki Image ...

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

tobi

ToolsGroup Set GROUP Main.StrategoGroup Set ALLOWTOPICCHANGE ToolsGroup Related topics: WIKIUSERSTOPIC , TWikiGroups, TWIKIWEB .TWikiAccessControl Main.EelcoVisser ...

TransformGroup Set GROUP Main.EelcoVisser, TomTourwe, MikeVanEmmerik, StephenCheng, JohnGrant, MartinBravenboer, TomMens, HolgerKienle, JoseLuizFiadeiro, PieterVanGorp ...

UlrikPaghSchultz

UsersGroup Set GROUP GpceAllGroup, TransformGroup, StrategoGroup, GmtAdminGroup, ToolsGroup Set ALLOWTOPICCHANGE TWikiAdminGroup Related topics: WIKIUSERSTOPIC , ...

Vlad Vergu

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "100" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "200" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "500" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

Program-Transformation.Org Main Web Program-Transformation.Org is dedicated to collecting, organizing and disseminating information about all aspects of program transformation ...

WebHome Transformation GPCE Stratego/XT Tiger Tools

Web Managers Group Set GROUP WikiMaster Set ALLOWTOPICCHANGE WebManageGroup Related topics: WIKIUSERSTOPIC , TWikiGroups, TWIKIWEB .TWikiAccessControl Main.EelcoVisser ...

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

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

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

Name: Wessel Dankers Email: wsl-hpc-wiki@fruit.eu.org Affiliation: Homepage URL: Country: Netherlands Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables ...

BxGroup maintainers of WGLD web Set GROUP Main.EelcoVisser Main.AndrewBlack JonathanEdwards WilliamCook MatthewFlatt MadsTorgersen GiladBracha JanWillemMaessen KimBruce ...

OK, I have to ask this now. Should my home page (MikeVanEmmerik) be in web Main or web Transform? Everyone elses seems to have been created in Transform, but when ...

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

Zef Hemel

INCLUDE{ TWIKIWEB .SiteMap}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

Home About News Documentation Bugs Download

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

2002-01-23 Creation of WebNews for default web Main.EelcoVisser

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

Statistics for TWiki.Octave Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Oct 2016 1279 ...

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

PEPM 2007 is co-located with POPL 2007

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

INCLUDE{AimsAndTopics} Submission Categories and Guidelines INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Organization INCLUDE{ProgramCommittee ...

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

ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM '07) CONFERENCEDAYS Nice, France co-located with POPL'07 Sponsored by ACM SIGPLAN. ...

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

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

The gpce-news mailinglist is a moderated list used to announce events of interest to the GPCE community. Subscribe at https://mailman.rice.edu/mailman/listinfo/gpce ...

Pre-submission: PAPERPRESUBMISSION Submission: PAPERSUBMISSION Notification: PAPERNOTIFICATION Camera-ready: PAPERCAMERAREADY Workshop: CONFERENCEDAYS

Michael Schwartzbach Oege de Moor

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

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

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

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

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

PEPM proceedings in ACM Digital Library PEPM 2006, Charleston, South Carolina, USA (proceedings) PEPM'04: Verona, Italy PEPM 2003: San Diego, California, USA; 1 day ...

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

Program Chairs G. Ramalingam (Microsoft Research India) Eelco Visser (Delft University of Technology, The Netherlands) Program Committee Members Ras Bodik (University ...

Registration for PEPM 2007 will be part of the registration for POPL 2007

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

Regular research papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style, and authors ...

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

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

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

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

PEPM 2007 for Papers Dates Committee Publicity Advice for Authors Paper Advice Paper Advice Submission Program Talks Meetings Venue Registration Accommodation History ...

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

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

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

The workshop will be held in the Plaza Hotel in Nice, France.

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

HistoricalStatistics for TWiki.PEPM10 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

HistoricalStatistics for TWiki.PEPM11 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

HistoricalStatistics for TWiki.PEPM12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

HistoricalStatistics for TWiki.PEPM13 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

HistoricalStatistics for TWiki.PEPM14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

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

INCLUDE{ TWIKIWEB .SiteMap}

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

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

by Transform.MarkVanDenBrand, JeroenScheerder, Transform.JurgenVinju and Transform.EelcoVisser. Disambiguation filters for scannerless generalized LR parsers. In N ...

Main.LeonMoonen asked me what the difference is between lexical and context-free FollowRestrictions in SDF2. Here follows my response. (Unfortunately it is in dutch ...

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

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

INCLUDE{ TWIKIWEB .SiteMap}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

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

by Transform.MarkVanDenBrand, JeroenScheerder, Transform.JurgenVinju and Transform.EelcoVisser. Disambiguation filters for scannerless generalized LR parsers. In N ...

Main.LeonMoonen asked me what the difference is between lexical and context-free FollowRestrictions in SDF2. Here follows my response. (Unfortunately it is in dutch ...

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

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

INCLUDE{ TWIKIWEB .SiteMap}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

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

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

Spoofax Contributors Eelco Visser (project lead) Lennart Kats (lead developer) Karl Trygve Kalleberg (lead developer of the Stratego/J runtime and JSGLR) Gabriel ...

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

Moved to http://metaborg.org/wiki/spoofax/download

We implemented an algorithm for layout preservation in refactorings. The algorithm reconstructs the source code after a transformation on the abstract syntax tree ...

Moved to http://metaborg.org/wiki/nabl

name binding language

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

INCLUDE{ TWIKIWEB .SiteMap}

Spoofax 1.1 released February 15, 2013 NaBL name binding language Q A on YellowGrass Download Update sites changed: http://download.spoofax.org/update/stable for ...

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

INCLUDE{" MAINWEB .WebChanges"}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

Spoofax Home Tour and screenshots Documentation Download Research Development Support

2002-01-23 Creation of WebNews for default web Main.EelcoVisser

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

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

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

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

An algebraic signature describes the structure of a set of terms. A signature introduces one or more AlgebraicSorts , i.e., collections of terms. Sorts are inhabited ...

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

Bibliographic format. See BibtexTools Main.EelcoVisser 22 Oct 2003

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

The bound-unbound-vars component of the optimizer annotates variables with one of the annotations "bound" , "unbound" , or "(un)bound" , with the following meanings ...

Transform.JoostVisser and I have looked at a breadth first for Tools.JJTraveler . The breadth first in the Stratego library is incorrect: It doesn't apply s to the ...

The composition of a match and a build (in either order) can often be simplified. If the match following a build is incompatible, failure is certain. For example, ...

Main.EelcoDolstra and Main.EelcoVisser. Building Interpreters With Rewriting Strategies In Transform.MarkVanDenBrand and Transform.RalfLaemmel (editors) Workshop on ...

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

Success and failure in Stratego allows one to avoid computing with Boolean values all the time. However, sometimes it is necessary to capture the failure (or success ...

The category of categories. SEARCH{search "CategoryCategory" regex on format " $topic " nosearch "on"}

SEARCH{"CategoryCompiler" format " $topic " noheader "on" nosearch "on"} CategoryCategory

SEARCH{search "CategoryGlossary" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic "} CategoryCategory

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

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 will contain information for the participants in the Code Generation 2009 Hands-On Stratego/XT tutorial. Main.EelcoVisser 18 May 2009

Karl Trygve Kalleberg and Eelco Visser. Combining Aspect-Oriented and Strategic Programming . RULE 2005. In H. Cirstea and N. Martí-Oliet, editors, Proceedings of ...

and copy propagation performs a forward propagation of known term expressions. This may result in multiple of (parts of) the same term. A common-subexpression elimination ...

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

http://www.cs.uu.nl/~visser/pictures/portland-computer-22-04-1998.jpg Transform.ZinoBenaissa and Transform.EelcoVisser working on first StrategoCompiler at the Oregon ...

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

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

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

Constant propagation is a data-flow optimization in which assignments of a constant value to a variable are propagated to the use of that variable. The following paper ...

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

TOC Description A contextual rule is a rule in which the left-hand side and right-hand side terms contain contexts of the form x t . A typical example of a contextual ...

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

Each rule or strategy applies to an implicit subject term. See versus strategies for a discussion. Visser 13 May 2003 The implicit current subject term is related ...

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

After inlining definitions that are no longer referred to can be removed. The dead-def-elim component of the optimizer achieves this. Implementation dead-def-elim ...

The dead-var-elim component of the optimizer eliminates variables from a strategy expression if they are not used in a build. For example, in the expression { x, y ...

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

The EvaluationOrder of the alternatives of the NonDeterministicChoice operator is not defined. The StrategoCompiler can decide in which order to try the alternatives ...

The local deterministic choice operator s1 StrategoGlossary

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

A dynamic rule is an ordinary RewriteRule that is generated at run-time. A dynamic rule can inherit bindings of variables from its generation context. Dynamic rules ...

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

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

The EBNF package is a StrategoApplication developed to illustrate the basic concepts of transformation with rewriting strategies. The package has a single source directory ...

Eelco Visser designed and implemented StrategoLanguage. His homepage http://www.cs.uu.nl/~visser/ has plenty of other stuff on him. See also the and Transform.EelcoVisser ...

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

body of the empty page

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

The evaluation order of the alternatives of the NonDeterministicChoice operator is undefined . Improved efficiency of needed definition extraction by using dynamic ...

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

Mon, 1 Mar 2004 Tue, 2 Mar 2004 Wed, 3 Mar 2004 Main.ArthurVanDam 22 Mar 2004

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

final module/definition Marks a definition or all definitions in a module as final. This means that modules importing this definition cannot extend it. For separate ...

First Stratego Users Day March 24, 2000 CWI, Amsterdam On Friday, March 24, 2000, Merijn de Jonge and Joost Visser of CWI, Amsterdam will host the first Stratego ...

The first Stratego Users Day was held on March 24, 2000 at CWI. The subject of the meeting was for StrategoUsers to share experiences with StrategoLanguage and get ...

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

A format checker is a strategy that checks the well-formedness of an term. Format checkers can check more properties than can just be described using signatures. For ...

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

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

Brad Alexander from the School of Computer Science at the University of Adelaide visits Utrecht University, where he will give a talk in the Software Technology Colloquium ...

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

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

A generic traversal is a traversal strategy that is parameterized with the transformation or transformations that should be applied when visiting subterms. The generic ...

See term traversal Main.EelcoVisser 14 Jun 2003

Eric Bouwers, Martin Bravenboer, and Eelco Visser. Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking. In Proceedings of LDTA'07, ...

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

HSX: A Framework for Haskell Transformation Note that this was the second Stratego project and probably not up-to-date with modern Stratego programming practices ...

in Stratego: a Stratego program that prints its own source

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

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

HsOpt is an optimizer for the Helium compiler implemented in the transformation language Stratego. Helium is a subset of Haskell developed at Utrecht University. The ...

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

by Transform.ArneDeBruijn August 10, 2001 INF/SCR-01-11 Master thesis, Institute of Information and Computing Sciences, Universiteit Utrecht Abstract All modern compilers ...

Ideas for improving the implementation scheme of the StrategoCompiler. Feel free to add ideas. GlobalBacktracking ImplementationOfFailure variables on backtracking ...

TOC Introduction We need to improve the IO facilities in the SSL. Because the oldest strategies are to abstract, many different implementations have been created ...

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

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

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

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

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

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

Language Independent Traversals for Program Transformation. EelcoVisser. Workshop on Transform.GenericProgramming (Transform.WGP'00), July 2000. Ponte de Lima, Portugal ...

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

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

Synonym for the DeterministicChoice operator CategoryGlossary StrategoGlossary

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

Below is a list of ideas for improvements and extensions of the standard library. Feel free to add items to the list or even to start new topics. NewName BreadthFirstTraversal ...

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

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

INCLUDE{WebNotice} There are several mailing lists that you may subscribe to depending on the amount of information needed. All lists are subscriber post only, and ...

The match strategy ?t matches the term pattern t against the current subject term. If the match succeeds all variables in t are bound to the corresponding sub-terms ...

No WildCards should occur in Build's, or a wildcard could be interpreted as the identity strategy in a TermWrap interpretation. As patterns may only be used in matching ...

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

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

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

The non-deterministic local choice operator s1 s2 chooses one of the strategies s1 or s2 to apply. If the one chose fails, the other one is tried. The operator is ...

A term is in normal form if no rule applies anywhere within the term. This implies that rules are applied everywhere in a term. This is not always appropriate. In ...

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

Abstracting over Term Patterns with Overlays Overlays are abstractions over term patterns that can be used just like ordinary term constructors. Overlays can be used ...

I thought I'd give you an brief update on my attempt to build a verification tool for P-logic, the logic for Haskell98 that we have developed in the Programatica ...

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

An optimizer for the Transform.PanLanguage was implemented in Stratego as part of a research on Transform.InliningStrategies. It performs the following optimizations ...

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

Patricia Johann is assistant professor at Bates College, Main. She worked on the implementation of WarmFusion in Stratego with EelcoVisser. For more information see ...

The pattern match optimizer of the compiler optimizes choices of strategies guarded with a pattern match operation ?t . A strategy of the form {xs1 : ?t1; s1} is transformed ...

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

Karl Trygve Kalleberg and Eelco Visser. Proceedings of the Sixth Stratego User Days . (SUD'05), Utrecht, The Netherlands, May 2 4, 2005. Technical Report UU-CS-2005 ...

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

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

Publications by year type year and type type and year alphabetically wiki

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

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

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

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

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

After GPCE/OOPSLA in Vancouver Tijs van der Storm challenged me to write a Stratego program that prints its own source. So I set to work, with the following result ...

See StrategyDefinition

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

The data-flow diagram below shows the main tools from the StrategoXT and SDF2 packages. The red edges indicate the standard composition of a transformation system ...

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

JIRA Issue Tracking System In March 2004, we have adopted JIRA as an issue tracking system for StrategoXT and related projects. Where to report issues? Our JIRA installation ...

By representing a strategy as a term, it can be passed around. This requires an EvalStrategy operator that evaluates such a term. This need not be a primitive; Problems ...