SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

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

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

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

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

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

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

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

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

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

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

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

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

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

The slides are temporarily available at: http://www.cs.uu.nl/people/martin/ipa06/ipa06-slides.pdf

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

Main.MartinBravenboer 19 Sep 2006

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

Note: The TU Delft tutorial of 20-11-2006 will start at 9:30! Program 10.00 10.05: Introduction 10.05 10.45: Architecture infrastructure 10.45 11:00: Break 11.00 ...

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

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

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

Name: Dave Herman Homepage URL: http://calculist.blogspot.com Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome web to try out TWiki Sandbox ...

Name: Laurence Parry Email: greenreaper at hotmail Homepage URL: http://greenreaper.co.uk/ Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome ...

Homepage: Martin Bravenboer Transform.CategoryPeople

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

Name: RegisterTest1 Country: Netherlands Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal size of text edit box: Set EDITBOXWIDTH 70 ...

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

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

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

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

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

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" format " $topic(30,...) $date $wikiusername "}

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

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

Program Chairs Robert Gl ck (University of Copenhagen, Denmark) Oege de Moor (Oxford University, UK) Program Committee Members Kenichi Asai (Ochanomizu University ...

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

TOC Features PHP-front is a package you can use to generate, analyse, or transform PHP code. It contains a handcrafted SDF grammar for PHP, a handcrafted pretty printer ...

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

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

TOC Features Some of the (unique) features of PHP-sat are: Documented bug-patterns Configurable security check (status) Option to preserve comments Pretty printer ...

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

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

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

A Quick Introduction to SDF by Joost Visser and Jeroen Scheerder Abstract This paper is intended for first time users. It contains motivation for using SDF with LR ...

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

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

Introduction A parsing algorithm that maintains multiple LR parsing states in parallel. From Object Oriented Tree Traversal With JJForester : GeneralizedLR parsing ...

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

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

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

Description The package PGEN (for Parsetable Generator) contains tools for generating parse tables. Tools sdf2table Links The official homepage of PGEN: http://www ...

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

Proposed Changes A summary of changes from SDf.2.1 to SDF.2.2 : The syntax of Tools.ATerms will be used for SDF attributes for example: A B {left} B C {aap(noot ...

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

SDF2 is a rich formalism for the definition of the syntax of all kinds of computer languages. This page explores the possibilities of the formalism by means of a number ...

Description SGLR, Scannerless Generalized LR Parser, is an implementation of Tomita's LR algorithm with extensions for scannerless parsing. The SGLR package contains ...

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

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

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

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

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

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

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

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

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

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

This should become a glossary of terminology related to SDF. LR Generalized LR

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

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

The design of SDF is the result of a number of requirements. This page discusses these requirements. Completeness of Syntax Definition All aspects of the syntax of ...

Name sdf2table Synopsis sdf2table m ma s i sdf-definition o parse-table Description The utility sdf2table generates a parse table from an SDF syntax definition. The ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

SDF Home About Documentation Download Grammars Related Software Community Contributors Publications Applications Mailing Lists License Development Tools API

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

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

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

Finding topics RoadMap WebIndex: all topics in the Sdf web WebSearch: find topics Tracking activity WebNews: selected changes WebChanges: recent changes WebNotify ...

A Quick Introduction to SDF by Joost Visser and Jeroen Scheerder Abstract This paper is intended for first time users. It contains motivation for using SDF with LR ...

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

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

Introduction A parsing algorithm that maintains multiple LR parsing states in parallel. From Object Oriented Tree Traversal With JJForester : GeneralizedLR parsing ...

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

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

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

Description The package PGEN (for Parsetable Generator) contains tools for generating parse tables. Tools sdf2table Links The official homepage of PGEN: http://www ...

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

Proposed Changes A summary of changes from SDf.2.1 to SDF.2.2 : The syntax of Tools.ATerms will be used for SDF attributes for example: A B {left} B C {aap(noot ...

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

SDF2 is a rich formalism for the definition of the syntax of all kinds of computer languages. This page explores the possibilities of the formalism by means of a number ...

Description SGLR, Scannerless Generalized LR Parser, is an implementation of Tomita's LR algorithm with extensions for scannerless parsing. The SGLR package contains ...

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

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

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

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

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

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

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

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

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

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

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

Online SDF2 and SGLR demo: http://www.cwi.nl/themes/sen1/sdf2-demo/index.html

The SDF parser generator and SGLR are an open source project, released with a BSD license. Reporting Bugs INCLUDE{SdfBugs} People Maintainers SDF is an open 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 ...

This should become a glossary of terminology related to SDF. LR Generalized LR

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

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

The design of SDF is the result of a number of requirements. This page discusses these requirements. Completeness of Syntax Definition All aspects of the syntax of ...

Name sdf2table Synopsis sdf2table m ma s i sdf-definition o parse-table Description The utility sdf2table generates a parse table from an SDF syntax definition. The ...

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

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

SDF Home About Documentation Publications Download Grammars Users Applications Mailing Lists ASF+SDF Users Day Stratego Users Day Development Organization Reporting ...

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

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

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

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

Finding topics RoadMap WebIndex: all topics in the SdfBackup web WebSearch: find topics Tracking activity WebNews: selected changes WebChanges: recent changes WebNotify ...

See ATerm Library at the Tools web.

An abstract syntax is a representation of a source code (or data in general) that is independent of the representation of the program in source code, called the syntax ...

Description An abstract syntax tree is a tree representation of a source program. It abstracts more from the source program than a parse tree. Usually it doesn't ...

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

An rewrite rule is a rule that can be used inside a stategy expression. An anonymous rewrite rule of the form: \ p1 p2 where s \ is desugared to {x1, ..., xn : ?p1 ...

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

AspectStratego is an extension to the Stratego language for dealing with cross-cutting, separate concerns. It may be downloaded from the build farm or SVN. It is planned ...

The c-tools package contains: a SDF syntax definition, a Printer, and Signatures for the C language. Using c-tools you can generate C code with Syntax for the C language ...

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

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

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

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

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

Layout and naming conventions for the language Guidelines how to layout your Stratego code Conventions how to chose names for strategies, rules, variables and modules ...

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

A term consisting of a constructor C and subterms ti: C(t1, t2, ..., tn) defines a congruence operator C(s1, s2, ..., sn) This is an operator that first matches a ...

Martin Bravenboer. Connecting XML Processing and Term Rewriting with Tree Grammars . Institute of Information and Computing Sciences, Utrecht University, The Netherlands ...

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

INCLUDE{ContinuousBuild}

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

Here are some debugging techniques Reduce the specification and the input to localize the error Format Checking Use a FormatChecker to verify the results of transformations ...

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

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

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

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

exp-tools is a transformation tool package containing all basic features found in a package for a more complex language than expressions (for example xml-tools). It ...

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

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

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

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

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

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

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

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

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

See Sdf.GeneralizedLR at the SDF web

Generic term deconstruction decomposes a constructor application into its constructor and the list with children. This can be done using the # operator. The match ...

Generic term traversal operators support te definition of term traversal strategies like topdown and bottomup . Operators available in Stratego are: one applies a ...

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

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

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

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

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

Syntax "if" Strategy "then" Strategy "end" Strategy Description The strategy if s1 then s2 end applies s2 if s1 succeeds. The result of s1 is ignored. That is, if ...

Syntax "if" Strategy "then" Strategy "else" Strategy "end" Strategy Description t If s1 succeeds then strategy s2 is applied. If s1 fails, then s3 is applied. The ...

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

Installation instructions are available in the Stratego/XT Manual: MANUAL /installation.html

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

StrategoXT packages are licensed under the GNU Lesser General Public License to: encourage the widest possible use of these packages guarantee the open evolution of ...

This page lists StrategoLanguage constructs and features that are desirable to have. Feel free to add ideas by adding an item with a descriptive name. RightToLeftTraversal ...

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

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

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

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

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

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

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

In programming with concrete object syntax the transitions from the meta language to the object language and vice versa are marked by special constructors: transition ...

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

In a module meta file you can define meta information for a Stratego module. The meta file must have the same name as the module, with the .meta extension and is 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 ...

for the Stratego Tutorial at ETAPS 2002 language constructs: overview of topics covering constructs of the language Glossary: explanation of terminology Card data ...

parse-stratego is an XTC composition of tools in stratego-front. It parses a Stratego module according to the syntax specified in the meta file or plain syntax if ...

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

Patterns The match strategy ( ? ) Compares the current term to a pattern. A pattern is a term that might contain variables. If a variable in a term pattern is already ...

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

pp-stratego abstract pretty prints a Stratego module in abstract syntax (usually stored in a .rtree file) to Stratego concrete syntax. pp-stratego pretty prints a ...

ppgen INCLUDE{"http://losser.st-lab.cs.uu.nl/~mbravenb/tool-ref/ppgen.html"}

A printer is a mapping from terms to text. If this is done in a nice way, i.e., layout is placed in appropriate places, the formatter deserves the term pretty printer ...

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

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

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

patterns is a idiom for checking the format of terms by means of recursion and congruences. This idiom is useful for checking the conformance of terms to some signature ...

A regular tree grammar defines a regular tree language. Regular tree grammars are widely applied as tools in formal reasoning, but in practice the basic formalism ...

Introduction The RelationalAlgebra package defines an syntax for relational algebra, a presentation of relational algebra in MathML and optimization of relational ...

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

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

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

A rewrite rule has the form Lab : l r where s where Lab is the label or name of the rule, l is the left-hand side term pattern, r the right-hand side term pattern ...

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

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

Stratego XT SDF

See the SDF web.

See the SDF Web.

See the Sdf.SGLR topic at the SDF web

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

SDF2 Bundle The webpage of the SDF2 Bundle has moved to the SDF website: http://syntax-definition.org/SdfBundle

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

Photo Sets sud06 by Martin Bravenboer by Eelco Visser

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

The slides covering Stratego from a course on Software Generation (September 2001): Software Generation (Introduction) ps, ps (4up) Term Rewriting ps, ps (4up) Rewriting ...

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

Description Turn top-level choice into multiple rules Example replace f s1 s2 s3 by f s1 f s2 f s3

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

abstract syntax is an syntax for the language. The structure Stratego abstract syntax is described by signatures in the stratego-front package. Tools parse syntax ...

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

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

Introduction The Stratego Compiler translates a Stratego specification to a C program. The compiler is completely implemented in Stratego (except for the parser, ...

Reported Platforms GNU/Linux at i386 SuSE 8.2 and 9.0 Redhat 8.0 Redhat 9.0 Debian 3.0 GNU/Linux at PowerPC Debian testing with GCC 3.4.1, PowerMac6,3 Mac OS X 10 ...

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

Stratego 0.8.1 Contents of the Distribution The StrategoDistribution contains the complete sources of the StrategoCompiler, StrategoScript and the standard library ...

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

Description The Stratego-front package contains tools and definitions for the Stratego syntax. stratego-front defines the syntax in SDF. These definitions are used ...

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

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

A StrategoIdiom is a standard method for solving some problem in a StrategoLanguage specification. StrategoRefactorings are methods for transforming a Stratego specification ...

The Stratego Interpreter is currently part of the Shell.

This is an overview of topics covering the various constructs in the language. This is a subset of the glossary, which also lists concept, advice, design and tool ...

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

This page starts a collection of tips for programming in Stratego. Programming standards layout and naming conventions techniques idiom standard methods for solving ...

The definition of the syntax in StrategoXT 0.9 provides a pretty-print table for Stratego programs. It does not yet support layout preservation and is not always very ...

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

Introduction Stratego Regular is a package of tools for working with tree languages. A tree language is a set of trees define by a tree grammar. Stratego Regular ...

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

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

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

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

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

Issues closed and resolved in StrategoXT 0.12 Bug STR-90 sdf2rtg (or maybe just pp-rtg) does not support quoted constructors STR-96 Generic application of dynamic ...

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

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

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

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

Release Notes Stratego/XT Version 0.15 (Stratego Core Compiler Experimental) Bug STR-220 syntax priority issue: 's1 STR-224 Term projection in annotations is broken ...

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

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

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

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

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

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

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

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

StrategoXT 0.9.1 Version StrategoXT-0.9.1 released on June 4, 2003 Contents TOC Download Source distribution StrategoXT is built using the ATermLibrary, the SDF syntax ...

StrategoXT 0.9.2 Version StrategoXT-0.9.2 released on July 4, 2003 Contents TOC Download Source tar.gz aterm-2.0 sdf2-bundle-1.6 strategoxt Source RPM aterm-2.0 sdf2 ...

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

The Stratego Run-Time System is a C library that extends the Library with support for compiled Stratego programs. The SRTS includes a large set of primitives that ...

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

Released January 14, 2005 Download Shell 0.4 requires Stratego/XT 0.13 and the GNU Readline library. Source tar.gz stratego-shell-0.4 Source RPM stratego-shell-0.4 ...

Released May 20, 2005 Download Shell VERSION requires Stratego/XT 0.14 and the GNU Readline library. Source tar.gz stratego-shell- VERSION Source RPM stratego-shell ...

Released November 04, 2005 Download Shell VERSION requires Stratego/XT 0.16 and the GNU Readline library. Source tar.gz TARNAME VERSION Source RPM TARNAME VERSION ...

A StrategoSignature is an AlgebraicSignature . Main.MartinBravenboer 25 Jan 2003

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

Tools in stratego-tools: Stratego Tools in StrategoXT 0.10 contains a new tool, pp-stratego-latex-alltt. This tool is useful for including Stratego code in publications ...

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

This page lists ideas for programming utilties for Stratego programmers. StrategoDebug xDoc generate documentation for Stratego specifications Shell interactive ...

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

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

Stratego/XT is the combination of the language for strategic programming with the XT bundle of transformation tools. XT XT is a bundle of transformation tools that ...

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

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

A strategy definition f(x1,...,xn) s defines a strategy operator f with n strategy parameters. An application f(s1,...sn) of this operator is equivalent to let x1 ...

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

TermProject patterns simplify projection of sub-terms. A strategy application inside a match pattern selects the corresponding sub-term and applies s to it. For example ...

TermWrap patterns simplify wrapping some complex constructor pattern around a term. For instance, split(f,g) can now be written as !(,) and this generalizes to arbitrary ...

Dryad is a natural female tree spirit, associated with trees. Also, it is a collection of tools for developing transformation systems for Java source and bytecode ...

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

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

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

Released November 4th, 2005 RED warning: this release is still under construction!! ENDCOLOR Download Tiger Base VERSION requires Stratego/XT 0.16 and Stratego/XT ...

TOC Introduction TigerContract is an experimental package which implements a TigerCompiler with contract support. The main purpose is to understand what contracts ...

Things to do are now tracked in our issue tracking system: Issues in our issue tracking system Old to do items There are many ways in which to improve and extend the ...

Documentation for version 0.4.x of Stratego (2000) not up to date with latest version. The StrategoTutorial HTML PostScript Explains how to get started using Stratego ...

An ugly-printer is a PrettyPrinter that produces ugly output. For some applications ugly-printers can be useful. The tool pp-aterm implements a generic ugly-printer ...

Allow some specification of a desugaring tool in a meta file to apply to concrete syntax Make it easier to add custom desugarings (use meta file?), maybe implement ...

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

WEBLOGODISPLAY Home Documentation Language Research Papers Applications Download Continuous build Extensions Support Mailing lists IRC Users Days Bug Reports Developers ...

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

Stratego Strategies for Program Transformation http://www.stratego-language.org Stratego Strategies for Program Transformation INCLUDE{"Main.RssBase"}

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

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

The style guide for writing Javadoc comments is a useful starting point for a style guide for writing xDoc comments for Stratego. this guide should be rewritten to ...

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

XTC Tool Composition XTC implements the XT component model and provides support for creating compositions of XT components. The xtc tool is used to register components ...

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

With the Stratego-xml syntax defintion you can use the ConcreteSyntax of XML syntax in the Stratego. The stratego-net samples package contains some examples of the ...

XT Applet is a small package configured with automake that you can use to get started with writing Stratego/XT applications. The src/ subdirectory contains a sample ...

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

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

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

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

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

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

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

How to Find out What's New? There are three ways to find out what's new in each TWiki web: 1. WebChanges shows recent changes 1. People subscribed in WebNotify get ...

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

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

The distribution of the Tiger in Stratego project. TOC Download Source (.tar.gz) and RPM distributions are available at: http://catamaran.labs.cs.uu.nl/dist/stratego ...

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

High-Performance Compilers High-Perfomance Compilers (Introduction) ps, ps (4up) Abstract Syntax and Assembly Code ps, ps (4up) Translation to Intermediate Code ps ...

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

MetaTiger is multi-staged Tiger developed by Robert Anisko (EPITA) MetaTiger has been presented at the fourth Stratego Users Day. Slides: ftp://ftp.stratego-language ...

Hpc.TigerAbstractSyntaxFormat (Tiger-Abstract-Syntax-Format) is a format checker for Tiger abstract terms. It traverses a given term to see if it conforms to the desugared ...

Tiger is the example programming language used in Transform.AndrewAppel's textbook on Transform.ModernCompilerImplementationInML. Language features data types integers ...

Tiger in Stratego WebHome Compiler Architecture Packages Components Glossary Download

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

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

An ATerm is a representation of data in the Format.

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

Introduction The ATerm (Annotated Term) Format is a format for exchanging structured data between tools. The ATerm format is a generic internal and external representation ...

ATerm libraries implement the internal representation of the Format in some programming language and the conversion between the external and the internal representation ...

An ATermService is a software component that: is accessible at some URL using HTTP takes an Stratego.ATerm input in the body of a HTTP POST request returns an Stratego ...

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

ATermTools is a collection of generic tools for ATerms. Tools STARTINCLUDE term-to-dot transforms an ATerm to a graph in the Transform.DotLanguage pp-aterm pretty ...

Name box2asfix Synopsis box2asfix i box-term o asfix-tree w width t asfix-tree Description The utility box2asfix produces an AsFix parse-tree in which the layout ...

Name abox2html Synopsis abox2html c i box-term o html-file t title Description The utility abox2html produces an HTML file according to the formatting defined in ...

Name abox2latex Synopsis abox2latex alltt boxenv i box-term o html-file w width t abbreviations file Description The utility abox2latex produces LaTeX code according ...

Summary addPosInfo adds position information to an AsFix2ME parse tree. Example The following syntax definition defines a tiny language of assignments and expressions ...

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 An asfix to asfix tool that reserves comments that were of the input source code by putting them in annotations of the AST. It is difficult to decide ...

Name asfix2abox Synopsis asfix2abox c i asfix-tree o box-term p table1 p table2 ... Description The asfix2abox utility is a generic formatter that maps a parse-tree ...

asfix-tools is a collection of tools for the AsFix (ASF Fixed) format. The AsFix format is a format for representing a parse tree. Sdf.SGLR outputs its result in the ...

asfix-yield is an asfix-tool that transforms parse trees in the AsFix format to the flat text the parse tree represents.

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

The Box Language is described in the Stratego/XT manual: Box Text Formatting Language Documentation to pretty print a grammar to define pretty print tables Publications ...

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

GPP is an abbreviation of the Pretty Printer package.

Introduction gen-renamed-sdf-module generates an SDF module that renames all SDF sorts in a given SDF definition. Example Syntax definition: definition module Expressions ...

Introduction The GPP package is a tool suite for generic pretty-printing. GPP supports pretty-printing of parse-trees in the AsFix format with comment preservation ...

The GrammarTools (GT) package, which contained a collection of grammar-related tools, is now part of Stratego/XT.

The graph-tools package is a collection of tools for graph representation and manipulation. Graph Format Conversion Currently graph-tools supports the conversion of ...

Task Given a grammar and a parse tree obtained by parsing a term over this grammar, construct a subgrammar that still parses the same term. Description Given a grammar ...

Task How to obtain abstract syntax trees Description Given a concrete term over some language L, an abstract syntax tree for that term is obtained by: 1. generating ...

implodePT is part of the pt-support package. It implodes an AsFix2ME parse tree to an abstract syntax tree. See AsFix for an example and more information on the AsFix ...

JJForester is a combined parser generator, tree builder, and visitor generator for Java. Its features include: Sdf.GeneralizedLR parsing, using the Sdf.SGLR parse ...

Global architecture of JJForester: : http://www.cwi.nl/~jvisser/jjforester/jjf-arch.jpg Ellipses are tools. Shaded boxes are generated code. JJForester takes a grammar ...

JJForesterArchitecture. An insightful picture. JJForesterInvocation, command line options, and such. Papers Transform.VisitorCombinationAndTraversalControl, explains ...

Downloading JJForester via the Online Package Base The JJForester software package is available from the Online Package Base at: http://www.program-transformation ...

Parse-unit is now described in the Stratego/XT Manual: Unit Testing with parse-unit.

The pp-aterm tool adds layout to an ATerm to make its structure more clear. Example: The following Tiger program let function fact(n : int) : int if n is represented ...

The documentation of GPP pretty-print tables is now part of the Stratego/XT manual: Generic Pretty Printing: Pretty Print Tables

Tools STARTINCLUDE ambtracker display the productions in a parse tree causing ambiguities implodePT implodes an AsFix2ME parse tree to an abstact syntax tree unparsePT ...

rtg2sig Summary Generates a Stratego Signature from an RTG. Options module n Generated module has name n i f input f Read input from f o f output f Write output to ...

Introduction rtg2typematch is a tool for generating a duck-typing-based strategies that check if an ATerm is of a type as defined in an RTG. An example will make ...

Description sdf-front is a collection of tools and specifications for the Stratego.SDF2 concrete syntax Specifications Syntax definition of Stratego.SDF2 Syntax definition ...

Summary Calculates conflicting patterns in an AST from an SDF syntax definition. Description sdf2ast-conflicts calculates a list of conflicting patterns in an AST ...

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

Tools STARTINCLUDE parse-unit unit testing of SDF2 syntax definitions gen-renamed-sdf-module generates an SDF module that renames all sorts in an SDF syntax definition ...

Transforms an Stratego.ATerm to a graph in the Transform.DotLanguage . This tool can be used to create attractive visual representations of ATerms. term-to-dot tree ...

autoxt autoxt installs makerules and autoconf macros for using XT tools strc strc stratego-front parse-stratego parses a Stratego module pp-stratego pretty-prints ...

unparsePT is a tool that transforms parse trees in the AsFix2ME format to the flat text the parse tree represents. Main.MartinBravenboer 22 Apr 2004

Name visamb display the ambiguities in a parse tree represented in AsFix2 Synopsis Description The SDF2 implementation caters for arbitrary context-free grammars ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" format " $topic(30,...) $date $wikiusername "}

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

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

Home XT Tools Reference Docs GPP ATerm SDF AsFix Languages Stratego SDF ATerm Software Stratego/XT SDF2 Bundle KoalaCompiler AutoBuild DailyBuildSystem

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

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

TWiki's INCLUDINGWEB web SCRIPTURL /view SCRIPTSUFFIX / INCLUDINGWEB XT A Bundle of Program Transformation Tools INCLUDE{" TWIKIWEB .WebRssBase"}

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

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

Components of xml-front XML syntax definition in SDF concrete syntax for XML in Stratego xml-info language for the representation of XML documents in ATerms STARTINCLUDE ...

Under construction Main.MartinBravenboer 12 Jul 2003 Introduction The xml-info language is a representation of an XML document in the format. The XmlInfo xml-info ...

The parse-xml-info tool of xml-tools parses the input against the xml grammar and returns the result in xml-info format. This tool rewrites standard and well-known ...

The pp-xml-info tool pretty prints xml-info to text. This is a hand-crafted printer. It is written using the Stratego.StrategoBox approach. In fact the tool pp-xml ...

Conversion to ATerms with knowledge of a schema for the XML document is called interpretation of XML against a schema. This kind of conversion is work in pogress, ...

xml-tools contains a syntax definition in Stratego.SDF for Transform.XML. This syntax defintion is not competely compatible with XML, but it tries to do the job as ...

Summary Converts an XML document to a comparable ATerm. Description See the description of aterm2xml.

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

After version 1.0 the distribution of XT has been merged with the distribution of Stratego. This distribution is called Stratego.StrategoXT. See Stratego Download ...

XT 1.0 Download version 1.0 of XT: http://www.stratego-language.org/ftp/XT-1.0.src.tar.gz XT 1.0 is a collection of the following packages: aterm-1.6.7 from http ...

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

ANTLR: ANother Tool for Language Recognition Features ANTLR is a parser generator. Generates Java, C#, or C++ code. Accepts the class of LL(k) grammars Produces recursive ...

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

Extensible Compiler for AspectJ Website: http://abc.comlab.ox.ac.uk Application of Framework and Framework Main.MartinBravenboer 08 May 2005

AspectJ is a language for oriented programming with Java. There are at least two implementations of the language: ajc (fully integrated with Eclipse), and abc (an ...

Description Functional decomposition is good for flexibility, maintainance and modularity of programs. However, it is not necessarily good for other aspects of programming ...

Bigwig combines several ideas: Domain specific language for web services Syntax macros Publications Growing Languages with Metamorphic Syntax Macros Related projects ...

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

C++ is an object-oriented extension of CProgrammingLanguage. Transformation of C++ programs is supported by AcaCia / CIAO OpenCpp Stratego.CodeBoost DMSSoftwareReengineeringToolkit ...

About the language The C Programming Language, Second Edition Brian Kernighan Dennis M. Ritchie Compilers http://gcc.gnu.org/ Tools for transformation of C programs ...

CUP (Constructor of Useful Parsers) is a LALR parser generator for Java. Website: http://www.cs.princeton.edu/~appel/modern/java/CUP/

A CodeCoverage tool discovers sections of code that are not being executed. CodeCoverage tools are used to examine how well the source-code of a project is being exercised ...

Code generation (also called selection) is a transformation performed in the back-ends of compilers. At this state of compilation representation expressions are transformed ...

A context-free grammar is a restricted form of a Grammar Closure Properties Context-free languages are closed under: union concatenation and these operations can thus ...

C++ templates allow compile-time programming in the type system of C++.

Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Presentation Slides for part 1: Introduction to reverse engineering ...

DocumentTypeDefinition (DTD) is the original SchemaLanguageForXML and is in fact part of the XML standard. DTD is a LocalTreeGrammar. This means that the same terminal ...

Resources Wikipedia

Homepage: http://www.cl.cam.ac.uk/users/amp12/freshml/ FreshML is an extension of the programming language ML. The innovation of the language is the extension of ...

GraphXML is a graph description language in XML. For details see http://www.cwi.nl/InfoVisu/GraphXML (broken, but still available here). GraphXML An XML based graph ...

Haskell is a general purpose lazy programming language. The language is a grateful subject of transformation. Program transformations play a prime role in GHC, the ...

Inject/J Weaving scripts Source-to-Source Transformation In The Large Additional resources: Website Inject/J Tutorial Inject/J Ein Werkzeug zur skriptgesteuerten ...

JQuery is query-based source code browser for Java, based on Eclipse. The tool is itself an Eclipse plugin and also uses the infrastructure of Eclipse for parsing ...

Bali Bali generate from a single grammar specification: lexical analyzer (JLex) parser (CUP) class hierarchies for tree nodes, including unparsing methods (pretty ...

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

JavaCC (Java Compiler Compiler) is the most popular parser generator for use with Java applications. Website: https://javacc.dev.java.net/

For most parser generators there exists a grammar for the Language. Overview: SableCC 1.0.2 1.1 1.4 JavaCC 1.5 ANTLR: Parsers, Part III: A Parser For The Java Language ...

JavaCC LL(1) parser generator producing Java code SableCC LALR parser generator. Generates parse tree and abstract syntax tree classes as well. CUP LALR parser ...

TOM is a pattern matching compiler, developed at INRIA Website: http://tom.loria.fr/

Website: http://www.cs.utah.edu/plt/jiazzi/ Main.MartinBravenboer 08 May 2005

Lisp stands for LISt Processing and was the first Programming Language. Resources: Lisp programming language at the Wikipedia Articles on Lisp at the site of Paul ...

See Main.MartinBravenboer CategoryPeople

Publications Maya: multiple-dispatch syntax extension in Java download Main.MartinBravenboer 08 May 2005

Meta-AspectJ (MAJ) allows the generation of AspectJ code in concrete syntax of AspectJ. Since AspectJ is a superset of Java, it can also be used for Java code generation ...

MixedCC (Mixed Compiler Compiler) is a generic parsing engine and parser generator. It is LL(1) capable of parsing and handling of inner layer stacks in multi-layer ...

Object-oriented Tree Traversal with Tools.JJForester TobiasKuipers, JoostVisser Abstract We want to use the advanced language processing technology available in the ...

OpenJava: A Class-Based Macro System for Java (pdf) Additional resources: OpenJava website OpenJava tutorial Master thesis on OpenJava: An Extension Mechanism for ...

A parse tree is a tree representation of the result of parsing a list of characters. A real parse tree contains the full inputstream. It then allows a yield operation ...

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

Extensible Compiler Framework Website: http://www.cs.cornell.edu/Projects/polyglot/ Polyglot is a Java class library that is easily extended through inheritance to ...

PPG is a parser generator for extensible grammars, based on the CUP parser generator. It provides the ability to extend an existing base language grammar written in ...

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

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

Definition Refactoring is typically applied at the level of programs (i.e., source code). A program refactoring is a program transformation that improves the design ...

The decompyle service decompiles Python byte-code (in .pyc or .pyo files) into python source code. It may be possible to license the decompiler for unlimited corporate ...

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

Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Topics Progress Testing Programs Documents Links Ideas Progress ...

Standard : http://www.oasis-open.org/committees/relax-ng/ RelaxNG is a SchemaLanguageForXML based on RegularTreeGrammars. It is (suprisingly) more powerful and easier ...

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

SDF is a formalism for the definition of the syntax of ProgrammingLanguages and DataFormats. Its features include: a module system, integration of lexical and context ...

SableCC is a compiler compiler framework for Java. Features: produces LALR(1) parser generation of strictly-typed abstract syntax trees generation of tree-walker classes ...

EelcoVisser. Scannerless Generalized-LR parsing . Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Online: http://www.cs.uu ...

DocumentTypeDefinition was introduced in the XML standard as the schema language for XML. Because of the limited power of DTD and because it cannot handle XMLNamespaces ...

Homepage : http://www.saxproject.org/ The Simple API for XML (SAX) is a standard interface for event-based XML parsing. Because of the event-based approach the interface ...

SmalltalkRefactoringBrowser is wiki for SmalltalkRefactory Main.MartinBravenboer 31 Oct 2001

Java Optimization Framework http://www.sable.mcgill.ca/soot/ People Project of the Sable research group (McGill University, Montreal) Components Intermediate representations ...

A syntax definition is a high-level description of the syntax of a language, usually in the form of a context-free grammar. Languages for syntax definition include ...

EelcoVisser, PhD thesis, University of Amsterdam, 1997. Abstract LanguagePrototyping is the activity of designing and testing definitions of new or existing computer ...

Makoto Murata, Dongwon Lee and Murali Mani Abstract Taxonomy of XML Schema Languages using Formal Language Theory On the basis of regular tree languages, we present ...

Template Haskell Website Template Haskell at the Haskell Wiki Implementation Template Haskell is available in GHC 6.0 Publications Papers on Template-Haskell Template ...

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

Introduction Unicode is an effort to create a single character set that includes every single character needed by a written human language on our the planet. An important ...

Introduction UnitTesting is one of the key practices of ExtremeProgramming. A unit test exercises an isolated unit of sourcecode instead of the complete sourcecode ...

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

Program Transformation Wiki http://www.program-transformation.org Program Transformation Wiki INCLUDE{"Main.RssBase"}

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

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

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

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

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

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

Homepage: http://xduce.sourceforge.net/ A typed language for processing XML documents. XDuce uses regular expression types ( SchemaLanguageForXML ) to describe the ...

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

Java: http://www.xmlpull.org/ JSR 173: http://www.jcp.org/jsr/detail/173.jsp Microsoft's XmlReader Main.MartinBravenboer 30 May 2002

Standard : http://www.w3.org/XML/Schema XMLSchema is the new SchemaLanguageForXML standard of the W3C. It should replace DocumentTypeDefinition. Main.MartinBravenboer ...

YACC is a grammar formalism and parser generator. The class of context-free grammars accepted by YACC is LALR(1) with disambiguating rules.

SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ...

WEBLOGODISPLAY Home Documentation Language Research Papers Applications Download Integration build Continuous build Extensions Ftp Support Mailing lists IRC Users ...

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

Stratego Strategies for Program Transformation http://www.stratego-language.org Stratego Strategies for Program Transformation INCLUDE{"Main.RssBase"}

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

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