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

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

INCLUDE{AimsAndTopics} INCLUDE{PublicationVenue} Submission Guidelines INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Invited Speakers INCLUDE ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Important Dates Submission of abstracts : PAPERPRESUBMISSION Submission : PAPERSUBMISSION Notification : PAPERNOTIFICATION Camera Ready Papers : PAPERCAMERAREADY ...

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

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

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

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

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

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

Important Dates Workshop Proposals (via MODELS 2009): March 15, 2009 Tutorial Proposals (via MODELS 2009): April 19, 2009 Submission of abstracts : PAPERPRESUBMISSION ...

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

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

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

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

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

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 : The CPP is the dominant tool of choice for the implementation of variability in large-scale configurable software. Linux, probably the most-configurable ...

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

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

A Language for Software Variation Research Martin Erwig, Oregon State University, USA Managing variation is an important problem in software engineering that takes ...

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

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

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

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

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

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

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

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

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

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

Abstract : The CPP is the dominant tool of choice for the implementation of variability in large-scale configurable software. Linux, probably the most-configurable ...

Important Dates Submission of abstracts : PAPERPRESUBMISSION Submission of papers : PAPERSUBMISSION Paper notification : PAPERNOTIFICATION Camera ready papers : PAPERCAMERAREADY ...

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 : Enterprise distributed real-time and embedded (DRE) systems are increasingly being developed with the use of component-based software techniques. Unfortunately ...

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

A Language for Software Variation Research Martin Erwig, Oregon State University, USA Managing variation is an important problem in software engineering that takes ...

Abstract : During Software Product Line (SPL) maintenance tasks, Virtual Separation of Concerns (!VSoC) allows the programmer to focus on one feature and hide the ...

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

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

Abstract : Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature ...

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

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

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

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

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

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

11th International Conference on Generative Programming and Component Engineering (GPCE'12) GPCEDAYS VENUECITY (function() { var po document.createElement('script ...

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

Important Dates Submission of papers : PAPERSUBMISSION Paper notification : PAPERNOTIFICATION Camera ready papers : PAPERCAMERAREADY Submission of tech talks : TECHTALKSSUBMISSION ...

When using product lines, whose variability models are based on derived features, e.g., Simulink variant objects, the dependencies among the features are only described ...

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

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

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

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

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

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

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

12th International Conference on Generative Programming: Concepts Experiences (GPCE'13) October 27-28, 2013 Indianapolis, IN, USA (collocated with SPLASH 2013, incl ...

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

GPCE 2013 will be held at Hyatt Regency Indianapolis, One South Capitol Avenue, Indianapolis, Indiana, co-located with SPLASH 2013. See hotel website for more information ...

Important Dates Submission of papers : June 14, 2013 (Anywhere on Earth) Paper notification : August 22, 2013 Camera ready papers : September 18, 2013 Submission ...

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

When using product lines, whose variability models are based on derived features, e.g., Simulink variant objects, the dependencies among the features are only described ...

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

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

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

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

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

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

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

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.

Important Dates Submission of papers : May 30, 2014 (Anywhere on Earth) BR For papers submitted by the deadline, updates will be allowed through June 2, 2014 (Anywhere ...

When using product lines, whose variability models are based on derived features, e.g., Simulink variant objects, the dependencies among the features are only described ...

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

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

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

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

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

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

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

Models can be expressed in text, XMI etc. The most convenient form to visualize a model is trough a diagram. The most commonly used diagram notation is UML. A simple ...

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

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

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

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

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

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

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

GPCE Demonstration 22 Towards Domain-Driven Development: the SmartTools Software Factory Didier Parigot, INRIA Sophia-Antipolis Summary Nowadays, software needs to ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

GPCE Demonstration 22 Towards Domain-Driven Development: the SmartTools Software Factory Didier Parigot, INRIA Sophia-Antipolis Summary Nowadays, software needs to ...

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

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

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

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

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

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

Important Dates for GPCE'06 DATE ACTION YYYY-MM-DD PERSON IN CHARGE STATUS DESCRIPTION 2005-07 Eelco done GPCE?06 Web site anytime All Advertise GPCE?06 by distributing ...

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

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

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

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

t.b.a.

INCLUDE{AimsAndTopics} Invited Speaker INCLUDE{InvitedTalks} INCLUDE{PublicationVenue} Important Dates INCLUDE{ImportantDates} Program Committee INCLUDE{ProgramCommittee ...

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

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

INCLUDE{PublicationVenue} Important Dates INCLUDE{ImportantDates}

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

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

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

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

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

Email: Addison@www.kvant-mex.com Country: Singapore Name: Addison Malta Homepage URL: http://www.kvant-mex.com Company URL: http://www.kvant-mex.com My Links TWIKIWEB ...

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: Barrett Bryant Email: bryant@cis.uab.edu Homepage: http://www.cis.uab.edu/info/faculty/bryant Country: USA Comment: Personal Preferences (details in TWIKIWEB ...

Name: Brant arseneau Email: brant arseneau@hotmail.com Homepage URL: http://www.arseneau.org Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome ...

Email: Bryant@shuka.net.ru Country: Algeria Name: Bryant Hausmann Homepage URL: http://shuka.net.ru Company URL: http://shuka.net.ru My Links TWIKIWEB .WelcomeGuest ...

Email: Clayton@www.kvant-mex.com Country: Mexico Name: Clayton Touchet Homepage URL: http://www.kvant-mex.com Company URL: http://www.kvant-mex.com My Links TWIKIWEB ...

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

Name: Grant Croker Email: grant.croker@gmail.com Homepage URL: http://ingres.com Country: Spain My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome web ...

Name: John Grant Email: fredbinstock@yahoo.com Company Name: Company URL: Country: USA Comment: My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome web ...

Email: Kristoffer@www.kvant-mex.com Country: Benin Name: Kristoffer Connolly Homepage URL: http://www.kvant-mex.com Company URL: http://www.kvant-mex.com My Links ...

Profile Name: António Miguel Cruz Email: mcz@sidereus.pt Consultant at Sidereus Consultoria Informática, S.A. Education MSc in Informatics (U. Minho) in Nov 2004 ...

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

Name: Nabin Kumar Padhi Email: nabin.padhi@cognizant.com Homepage URL: http://donthaveone.com Country: India My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

Name: Sath Sath Email: sathish.sathyan@cognizant.com Homepage URL: http://www.cognizant.con Country: India My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

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

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

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

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

Octave Front is a front-end for the OCTAVELINK language. Contents Octave Front consists of the following end-user tools: pack-octave pp-octave Besides these tools ...

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

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

2005 January 14th Refactored function specialization, so it can be reused is both the type inferencer and the Octave partial evaluator. In fact, it is already used ...

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

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

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

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

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

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

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

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

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

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

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

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

PEPM 2008 for Papers Dates Committee Organization Publicity Advice for Authors Research Paper Tool Paper Submission Program Talks Meetings Venue Registration Accommodation ...

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

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

INCLUDE{AimsAndTopics} The SIGPLAN Republication Policy and ACM's Policy and Procedures on Plagiarism apply. Papers should be submitted electronically via the workshop ...

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

We are proud to present the following two invited talks: Lennart Augustsson (Standard Chartered Bank, UK): O, Partial Evaluator, Where Art Thou? BR BR Abstract: Partial ...

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

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

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

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

PEPM 2010 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Feature Schedule Local Information Venue Registration ...

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

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

CONFERENCEDAYS Austin, Texas, USA co-located with POPL'11 Sponsored by ACM SIGPLAN URLPEPM11 INCLUDE{AimsAndTopics} The SIGPLAN Republication Policy and ACM's Policy ...

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

We are proud to present the following three invited talks: Charles Consel (INRIA/LaBRI/University of Bordeaux, France): DiaSuite: A Paradigm-Oriented Software Development ...

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

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

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

PEPM 2011 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Schedule Local Information Venue Registration ...

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

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

CONFERENCEDAYS Philadelphia, Pennsylvania, USA co-located with POPL'12 Sponsored by ACM SIGPLAN URLPEPM12 INCLUDE{AimsAndTopics} The SIGPLAN Republication Policy ...

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

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

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

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

PEPM 2012 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Local Information Venue Registration ...

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

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

CONFERENCEDAYS Rome, Itlay co-located with POPL'13 Sponsored by ACM SIGPLAN URLPEPM13 Submission deadline extended until Sun, Oct 7 23:59 GMT! INCLUDE{AimsAndTopics ...

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

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

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

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

PEPM 2013 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Program Local Information ...

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

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

CONFERENCEDAYS San Diego, California, USA co-located with POPL'14 Sponsored by ACM SIGPLAN URLPEPM14 INCLUDE{AimsAndTopics} Papers should be submitted electronically ...

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

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

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

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

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

PEPM 2014 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Program Local Information ...

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

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

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

There are two mailing lists that you may want to subscribe to. psat-commits All SVN-, Jira- and Buildfarm-messages. To stay really up to date. psat-dev List for ...

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

Syntax Definition PHP-Front has an extensive test suite that is run on every build. The grammar is tested by over six hunderd unit-tests that cover at least every ...

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

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

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

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

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

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

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

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

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

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

This page is intended as a forum for discussion of all aspects of SDF2. Tips and Tricks SDF2 is a rich formalism. Here are some tips and tricks to use its full power ...

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

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

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

This page is intended as a forum for discussion of all aspects of SDF2. Tips and Tricks SDF2 is a rich formalism. Here are some tips and tricks to use its full power ...

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

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

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

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

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

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

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

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

The Spoofax Language Workbench Spoofax is a platform for developing textual domain-specific languages with full-featured Eclipse editor plugins. With the Spoofax/IMP ...

Spoofax Home Tour and screenshots Documentation Download Research Development Support

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

This is an overview of the most horrible Stratego code that has been written. Feel free to add your own code! ;) Tuples and Concrete Object Syntax If you don't want ...

RED This manual is under construction! ENDCOLOR Table of Contents TOC Introduction Using a library At the command-line, or in Automake. Using strc at the command ...

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

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

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

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

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

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

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

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

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

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 newname strategy is a variant of the new strategy, which generates a new unique string. Newname generates unique strings, just like new, but it also accepts a ...

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

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

Introduction The query-compiler package is a set of tools for the inspection of the process of query compilation. It shows how a SQL query is parsed, desugared, translated ...

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

Traversal primitives should have a right-to-left variant. Make threadl variant of thread that threads from right to left Main.EelcoVisser 27 Oct 2001 CategoryToDo ...

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

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

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

You insist on the importance of separation of concerns, in particular in separation between rules and strategies, so that rules become basic strategies on top of ...

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

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

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

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

StrategoBox is a syntax defintion for using ConcreteSyntax for the Tools.BoxLanguage inside the StrategoLanguage. With StrategoBox you can write powerful PrettyPrinters ...

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

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

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

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

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

TOC stratego-net is a package you can use to implement CGI based services or access a service at a certain URL using HTTP. Scenarios : write an Tools.ATermService ...

The Stratego Optimizer consists of a number of source-to-source transformation components that are called by the StrategoCompiler. Optimizations that are already implemented ...

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

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

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

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

Release Notes StrategoXT Version 0.14 Bug STR-59 sdf syntax: seq/2 overloaded STR-82 prettyprinting of seq in iter-sep fails STR-230 sglri does not support input ...

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

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

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

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

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

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

StrategoXT 0.9.3 StrategoXT 0.9.3 is released on September 1, 2003. Contents TOC Download Source tar.gz aterm-2.0 sdf2-bundle-1.6 strategoxt Source RPM aterm-2.0 ...

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

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

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

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

The Stratego/XT distribution consists of the following packages: Stratego/XT Core Stratego packages stratego-front Stratego syntax and support for concrete object ...

TOC Introduction StringBorg is a solution to injection attacks for arbitrary languages. StringBorg prevents injection attacks by embedding the syntax of guest languages ...

Introduction Stratego uses terms to represent the abstract syntax of programs or documents. A term consists of a constructor and a list of argument terms. Sometimes ...

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

A transformation rule is a description of a single transformation step. Examples of transformation rules are constant folding beta reduction in the lambda calculus ...

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

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

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

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

Rob B. Vermaas. xDoc. An extensible documentation generator. MSc Thesis INF/SCR-03-41. Center for Software Technology, Institute of Information and Computing Sciences ...

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

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

TXL solution to Chairmarks #3.2, Common subexpression elimination. Thie simple example demonstrates the basics of common subexpression elimination at the statement ...

TXL solution to Chairmarks #3.4, Constant folding, recognize and resolve opportunities to fold constant expressions. Thie simple example demonstrates constant propagation ...

A more sophisticated TXL solution to Chairmarks #3.1, Move all invariant assigned computations outside of while loops. This is a more sophisticated version of Invariant ...

TXL solution to Chairmarks #3.1, Move all invariant assignments outside of while loops. This is a simple demonstration of the basics of data flow checking and code ...

TXL solution to Chairmarks #4.1: Removing redundant declarations. Main.JamesCordy 04 Jul 2006 File "TILredundant.Txl" TXL transformation to remove unused declarations ...

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

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

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

TXL solution to Chairmarks #3.5, Statement folding, recognizing and optimizing compile-time known if statements, and possibly while and for statements. Thie simple ...

TXL solution to Chairmarks #3.3, Strength reduction, recognize opportunities to reduce multiplication by an iterator to iterative addition. Thie simple example demonstrates ...

TXL solution to Chairmarks #4.7: Syntactic markup Marking up program statements or expressions with some structural property. This example demonstrates the use of ...

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

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

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

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

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

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

FAQ: How do I delete or rename a topic? Answer: These two questions are answered together because often when you think you want to delete a page, more often it makes ...

Use the "Minor changes, don't notify" checkbox in preview in case you only make a minor change to a topic and you do not want to inform everybody who is on the WebNotify ...

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

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

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

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

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

FAQ: TWiki has a GPL (GNU General Public License). What is GPL? Answer: TWiki is distributed under the GNU General Public License, see TWikiDownload. GPL is one of ...

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

FAQ: How do you log off? Suppose I log in with the guest username but later I want to use another username, how do I log off from the guest user name? Answer: To ...

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

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

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

Interwiki Plugin The InterwikiPlugin links ExternalSite:Page text to external sites based on aliases defined in the TWIKIWEB .InterWikis topic. This plugin is inspired ...

TOC STARTINCLUDE # Managing Topics Browser-based rename, move, and delete for individual topics Overview You can use browser-based controls to change a topic's name ...

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

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

STARTINCLUDE Pattern skin PatternSkin is developed to provide a CSS based default look and feel for TWiki flexible and W3C-compliant. Its layout and color scheme ...

Css elements in !PatternSkin This page is a reference for all CSS classes used in PatternSkin. TOC{title "Page contents:"} The !PatternSkin stylesheet is divided ...

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

Search Help TOC Basic Search Form The WebSearch form offers basic search features: Search field: Enter one or more keywords All webs flag: Check the flag if you want ...

TOC STARTINCLUDE ## Site Usage Statistics You can automatically generate usage statistics for all webs. To enable this: Make sure variable $doLogTopicView, $doLogTopicSave ...

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

Welcome to TWiki. This page assumes that you are a new user to TWiki, and that you've never heard of Wiki before. Here are the most important pages you should know ...

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

TWiki Contributor A TWiki contributor is a person devoting his/her time to contribute on the development of the Open Source project TWiki, hosted at http://TWiki ...

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

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

TWiki Reference Manual ( WIKIVERSION ) This page contains all documentation topics as one long, complete reference sheet. BR Doubleclick anywhere to return to the ...

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

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

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

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

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

Due to Wiki registration spam, registration is currently disabled. We are sorry for the inconvenience. Please blame the spammers. To edit pages on this TWikiSite ...

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

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

TOC STARTINCLUDE # TWiki Skins Skins overlay regular templates with alternate header/footer layouts; topic text is not affected Overview Skins are customized TWikiTemplates ...

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

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

TOC STARTINCLUDE # 20-Minute TWiki Tutorial This step-by-step, hands-on tutorial gets you up to speed with all the TWikiSite basics, in mere minutes ... 1. Get set ...

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

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

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

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

To upgrade an earlier TWiki version like 01 Sep 1999 to version 01 May 2000 you should do the following things: Back up your system. Update the templates in the /templates ...

TOC STARTINCLUDE # TWiki User Authentication TWiki site access control and user activity tracking options TWiki does not authenticate users internally, it depends ...

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

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

TOC Template Web Purpose Template webs were created to act as templates in creating webs. It is now possible to creation webs via the TWIKIWEB .ManagingWebs topic ...

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

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

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

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

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

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

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

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

(in dutch) Instructieselectie werkt nu aardig maar wat mij nog onduidelijk is, is hoe je bij het aanroepen van een andere functie code genereert om de callee-saved ...

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

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

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

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

Tiger in Stratego An Experiment in Compilation by Transformation Tiger in Stratego is a framework for implementing a compiler for the language in the program transformation ...

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

TOC Description The Database Interface (aterm-dbi) offers an ATermServices look on a relational database. aterm-dbi uses Java Stratego.ATerm Servlets. Interface Currently ...

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

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

AsFix2ME is a more compact variant of AsFix2. See the AsFix topic for a general overview of AsFix. This topic describes the difference between AsFix2 and AsFix2ME ...

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

Description The `dbs' package implements an open framework for daily-builds (i.e. regular performed builds to continuously verify the consistence of all parts of ...

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

Task One sentence. Description Global (step-wise) procedure for carrying-out the task. Examples Specific instantiation of the global procedure for specific input ...

The KoalaCompiler is developed as a component-based system using Stratego.StrategoXT: The system is implemented as a set of program transformation tools. Different ...

Description The tool pack-koala packs the Koala component and interface definitions and produces a parse tree for the complete Koala specification. Example ATTACHURL ...

Introduction sdf2parenthesize generates a Stratego transformation tool that adds the necessary parentheses to an abstract syntax tree. The information is obtained ...

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

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

TOC Introduction RED This packages is not being maintained at the moment. Some parts of it have been mvoed to xml-front, which is now part of StrategoXT. Maybe the ...

ANT is a Java based tool for `making' software. It is described as ``make without makes' wrinkles''. Although it is meant for more languages than just Java, its main ...

A Refactoring Tool for Smalltalk by DonRoberts, JohnBrant, and RalphJohnson Available online: http://st-www.cs.uiuc.edu/~droberts/tapos/TAPOS.htm This article introduces ...

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

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

Every few months, I get an email asking where to find an automatic decompiler that will take a binary as input and produce good quality C or C++ code for maintaining ...

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

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

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

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

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

This page was rescued from Google's cache of http://orion.planet.de/~jan/Snippets.9707/ g0311.html . G.3.17 decompil.txt Date last modified: 05-Jul-1997 Question: ...

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

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

"Bytecodes" is a name given to the instructions of a VirtualMachine, so called because the opcodes are 8 bits (one byte) in length, and instructions vary from one ...

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

CodeCompaction is a class of ProgramOptimizations that reduce the size of a program. This is especially important for embedded software that is used on devices with ...

Annotated Bibliography on Code Reading and ProgramComprehension Deimel and Naveda (1990) Reading Computer Programs: Instructor's Guide and Exercises. CMU/SEI-90-EM ...

Various browsers have trouble with the tab character used in the TextFormattingRules. If you can't type a tab, or, if you are fixing up a page written by someone who ...

Description The `dbs' package implements an open framework for daily-builds (i.e. regular performed builds to continuously verify the consistence of all parts of ...

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

RESUME MAURICE HOWARD HALSTEAD BA University of California, Berkeley 1940 MS U. S. Naval academy1 pas (Annapolis) 1943 PhD Johns Hopkins (Baltimore) 1951 PROFESSIONAL ...

Decompilation is a ProgramTransformation by which a high-level source code for an executable program is discovered. Decompilation is the inverse of ProgramCompilation ...

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

This is the readme file for the "decomp" decompiler by Jim Reuter. This README file describes the decompiler that resides in this directory. WHAT IT IS: The decompiler ...

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

The Boomerang Decompiler and Tests Boomerang is an attempt at a complete, retargetable decompiler for native executable programs, released under a BSD style (open ...

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

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

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

Salamander .NET to C# Decompiler Tests Salamander is a commercial .NET to C# decompiler. TOC Fibo For source, see DecompilerFiboDotNetSource. Decompiled source from ...

In a poorly designed decompiler (including all current decompilers and also disassemblers), a graphical user interface (GUI) or equivalent (e.g. Sourcer's specification ...

The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains a small but important test program (adapted from a concatenation of 4 Java source files ...

The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains this small but important test program (concatenation of 4 Java source files): public class ...

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

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

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

Donald Knuth is a computer scientist that invented many techniques relevant for language processing, including: LR parsing AttributeGrammar(s) Literate programming ...

.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...

Conferences / Workshops / Journals / Special Issues devoted to DomainSpecificLanguages. (Listed in reverse chronological ordering of the submission date) Workshop ...

http://www.geocities.com/phoenixdis/ From the web page: DSM Studio is a application to aid disassembly and inspection of Windows based executables built for the Intel ...

M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient Annotated Terms. Software Practice Experience , 30:259-291, 2000. Abstract How do distributed ...

Homepage: http://www.research.philips.com/technologies/syst softw/elegant/ Elegant is a compiler implementation language originally built on the paradigm of AttributeGrammars ...

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

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

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

FermaT is developed by Software Migrations Ltd, based on the work of Martin Ward (Martin.Ward@durham.ac.uk). FermaT is an industrial strength program transformation ...

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

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

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

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

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

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

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

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