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

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

Eating our own dog food: DSLs for generative and transformational engineering Joint Keynote with SLE Jim Cordy, School of Computing, Queen's University, Kingston ...

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

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

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

Changes Index Search Webs Book Compare GPCE06 Gmt Gpce Gpce04 Gpce05 IFIPWG211 IPA06 Main Octave PEPM07 PEPM08 PHP Sandbox Sdf Stratego Sts TWiki Tiger Tools Transform ...

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

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

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

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

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 Introduction Within the documentation of PHP-front the TheExampleProject is used to explain how you can setup your own project. This documentation uses PHP-Tools ...

The following text was submitted as my proposal for Google's Summer of Code 2006: Project Title Using static analysis to find vulnerabilities Synopsis Applications ...

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

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

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

The SDF open-source software license (BSD) Copyright (c) 2002-2007, CWI All rights reserved. Redistribution and use in source and binary forms, with or without modification ...

The source code of SDF is split in several components. Each component implements the same build interface, and adheres to certain coding standards. Programming environment ...

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

The SDF users list (brand new) is for all matters concerning SDF usage subscribe unsubscribe mail your question, idea, issue The SDF developers list is reserved for ...

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

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

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

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

The SDF bugzilla system is located here. Use the components 'sglr' and 'pgen' to report bugs in the core SDF system, 'sdf-meta' for IDE bugs and 'unknown' if you just ...

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.syntax-definition.org/demo

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

A Quick Introduction to SDF describes the essence of SDF2 in 3 pages, but may be slightly out-of-date considering some details. Quick introduction to syntax analysis ...

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

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

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

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

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

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

SDF is a language for defining syntax. It provides for an unprecedented level of conciseness in syntax definitions. First, syntax can be defined in modules. Second ...

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

Menu Home Documentation FAQ Screenshots Community Contributing ReleaseNotes OpenSource Development API Continuous build Bugs DevelopmentTools Technologies (under ...

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

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

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

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

The Meta-Environment user list subscribe archive Need to check the status of this list: sdf@cs.uu.nl questions and discussions about the syntax definition formalism ...

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

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

The SDF bugzilla system is located here. Use the package 'sglr' and 'pgen' to report bugs in the core SDF system. 'sdf-meta' for IDE bugs and 'unknown' if you just ...

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

Quick Introduction to SDF describes the essence of SDF2 in 3 pages. The continuously updated SDF manuals: Quick introduction to syntax analysis PDF The Syntax Definition ...

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

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

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

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

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

INCLUDE{WebNews} SDF is a language for defining syntax. It provides for an unprecedented level of conciseness in syntax definitions. First, syntax can be defined ...

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

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

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

The Spoofax project consists of the following components: Spoofax/IMP IMP Stratego Stratego/J STRJ SDF JSGLR Aster

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

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

Edit and use your language in one Eclipse window http://strategoxt.org/pub/Spoofax/Features/side-by-side.png Deploy your editor as a portable Eclipse plugin http ...

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

Introduction The semantic index is a set of stratego libraries, java primitives and editor extensions that provide a language-parametric framework for doing name ...

TOC About The "template language" is a language that aims to eliminate redundancy in the specification of grammar, completion templates, and pretty printer. It borrows ...

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

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

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

Aster is an attribute grammar system based on Stratego. It makes use of the standard Stratego facilities such as matching and syntax to specify attribute equations ...

The autoxt package provides Autoconf and Automake support for packages constructed with the XT toolset. The package provides the autoxt tool which should be run as ...

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

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

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

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

CodeBoostI was the first CodeBoost prototype, implemented in ASF+SDF. It is described in a paper 1 by TBDinesh, MagneHaveraaen and JanHeering.

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

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

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

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

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

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

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

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

See Sdf.GeneralizedLR at the SDF web

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

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

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

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

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

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

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

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

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

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

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

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

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

JSGLR: An SGLR Parse Table Evaluator for Java The jsglr library implements scannerless GLR (SGLR) parsing in Java. The library provides an interpreter for parse tables ...

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 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 July, 2009 Download Java Front VERSION requires Stratego/XT 0.17. Source tar.gz aterm- ATERMVERSION sdf2-bundle- SDFVERSION strategoxt- STRVERSION java-front ...

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

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

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

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

MetaStratego is a meta-programming framework for Stratego which is under development by Main.KarlTrygveKalleberg and Main.ValentinDavid. Contact these authors directly ...

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

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

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

This page contains plans for past releases. See ReleasePlan for planning of future releases. StrategoXT 0.9.3 released September 1, 2003 New names for si and sc : ...

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

Pkg-config In this release we have introduced pkg-config for locating packages and their configuration. The use of pkg-config has several advantages: Distributions ...

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

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

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

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

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

Second Stratego Users Day February 8, 2001, Universiteit Utrecht www.stratego-language.org Program 10:00 coffee 10:15 opening Session 1: Language Design (chair Main ...

May 2 4, 2005 Utrecht University Utrecht, The Netherlands TOC Scope The Stratego User Days are a yearly meeting of Stratego/XT developers and users. Topics include ...

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

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

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

Stratego SDF: Combining Generalized LR Parsing with Stratego by JoostVisser Description This talk was given on March 24, 2000 for the FirstStrategoUsersDay. Available ...

INCLUDE{WebNotice} The language is being used in applications in various areas of program transformation. This page lists some examples. Feel free to create a page ...

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

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 Stratego Emacs mode is currently available at: https://svn.strategoxt.org/repos/StrategoXT/stratego-editors/editor/trunk/emacs/stratego-mode.el Installation instructions ...

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

Q: Can I get Stratego/XT running on Windows? A: We do not currently provide a pre-built binary of 0.17 on Windows at the moment. You can compile Stratego/XT on Windows ...

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

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

Introduction stratego-misc is a small, but versatile package of Stratego modules, implementing strategies and tools that are not (yet) in the SSL. It might be handy ...

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

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

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

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

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

Version 0.8.1 released: September 20, 2002 This is a maintenance release, providing small improvements over version 0.8. The concrete syntax extension requires new ...

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

Released July, 2009 Download Stratego Shell STRVERSION requires Stratego/XT 0.17. Source tar.gz aterm- ATERMVERSION sdf2-bundle- SDFVERSION strategoxt- STRVERSION ...

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

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

Released July, 2009 Download Stratego/XT Utilities VERSION requires Stratego/XT 0.17. Source tar.gz aterm- ATERMVERSION sdf2-bundle- SDFVERSION strategoxt- VERSION ...

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

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

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

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

INCLUDE{WebNotice} Stratego/XT Stratego/XT is now part of the Spoofax Language Workbench, which provides an Eclipse plugin for developing SDF and Stratego, and creating ...

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

Note that Stratego is now part of the Spoofax Language Workbench, which provides an Eclipse plugin for developing SDF and Stratego, and creating Eclipse IDE plugins ...

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

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

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

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

Extend TigerLanguage with a do-while construct. This requires updating the following components from the TigerFront package: TigerSyntax TigerAbstractSyntax TigerDesugar ...

The syntax definition of Tiger in the syntax definition formalism Tools.SDF. The syntax definition is part of the TigerFront package. A parse table is generated from ...

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

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

Name ambtracker display the productions in a parse tree causing ambiguities Description Compared to visamb ambtracker offers an alternative visualization of ambiguities ...

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

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

Description Autobundle is a utility for making software distributions by bundling multiple (third-party) software packages. Autobundle promotes the development 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 ...

This is one of the XT UserStories RECOVERING A SYNTAX DEFINITION FOR STRATEGO This directory contains a syntax definition in SDF2 of the Stratego language. This file ...

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

Task How to define pretty-print tables for use with GPP. Description The utility AsFixToAbox is a language-independent front-end for the pretty-print system GPP. ...

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

Assuming that all required packages are installed (see HowToObtainKoalaCompiler), the source distribution of KoalaCompiler can be installed in the following steps ...

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

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

Task How to pretty-print a grammar. Description A grammar can be pretty-printed (to plain text, html, or latex) using the GPP package in the following way: 1. Parse ...

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

Usage: JJForester v p packagename {-o, outputdir} outputdir inputfile inputfile SDF definition file v version information p packagename package name for generated ...

Released December 22, 2004 The KoalaCompiler package requires the ATerms, sdf2-bundle, and StrategoXT pacakges to be installed. These packages can be downloaded and ...

Released July 28, 2005 The KoalaCompiler package requires a couple of packages to be installed. These packages can be downloaded and installed from source: aterm-2 ...

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

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

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

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

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

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

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

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

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

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

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

Transform.ASF is the abbreviation of the Algebraic Specification Formalism developed at Transform.CWI and the University of Amsterdam. The formalism is used in combination ...

ASF+SDF is rewriting language with user-defined term syntax and support for tree traversals. It is used for SoftwareRenovation and rapid prototyping of DomainSpecificLanguages ...

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

I work at CWI, Amsterdam see http://www.cwi.nl/~arie/ Since this ProgramTransformation wiki covers many topics related to reverse and reengineering, and since these ...

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

A DataFormat is a formal language for the representation of information. Unlike ProgrammingLanguages, DataFormats don't specify computations. Examples of data formats ...

Description This page describes how to donate your grammar to the GrammarBase by adding it to the central CVS repository. It requires write permission the the GrammarBase ...

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

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

Description An island grammar only precisely defines small portions of the syntax of a language. The rest of the syntax is defined imprecisely, for instance as a ...

Homepage: http://www.cwi.nl/~jan/ ASFandSDF Stratego.CodeBoost CategoryPeople

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

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

Language Prototyping: An Algebraic Specification Approach ArieVanDeursen, JanHeering, PaulKlint (editors) World Scientific Publishing Co., 1996. AMAST Series in Computing ...

Homepage: http://www.cwi.nl/~markvdb/ ASFandSDF CategoryPeople

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

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

A Case Study of Open Source Software Development The XT bundle of program transformation tools is an example of OpenSourceAcademicSoftware. Motivation for XT distribution ...

Homepage: http://www.cwi.nl/~paulk/ ASFandSDF SoftwareImprovementGroup CategoryPeople

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

(See also ModelTransformation ) A Definition A program is a structured object with semantics. The structure allows us to transform a program. The semantics gives us ...

Here is a list of programming languages and DataFormats that could be subject of ProgramTransformation BETA BibTeX CAML CProgrammingLanguage CleanLanguage COBOL CPP ...

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

Risla is a DomainSpecificLanguage for interest rate products. It is an abbrevation for Rente Informatie Systeem Language. It's development started in the early 1990 ...

Definitions Here are some attempts at definitions of rule-based programming. Feel free to comment or add your own. The rule-based programming paradigm is characterized ...

Name of the workshop on Rule Based Programming (RULE) Associated with PPDP The goals of the workshop The rule-based programming paradigm is characterized by the repeated ...

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

SDFII is successor of the first Syntax Definition Formalism SDF. SDFII features Integration of lexical and context-free syntax Modules with parameters and renaming ...

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

The Software Improvement Group is a young company offering tools that help businesses deal with their (Cobol) legacy systems. We're offering services in three areas ...

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

Description The Asf+Sdf meta-environment has been used as a platform for program transformation geared towards SoftwareRenovation. The basic idea is to generate default ...

Description Sort graphs are graphs that represent the dependencies between sorts in a grammar. Visual clues The following example sort graph provides a legend for ...

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

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

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

Laemmel, Visser and Visser. The Essence Of Strategic Programming . Draft paper (October 15, 2002) (pdf,ps) Abstract programming is generic programming with the use ...

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

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

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

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

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