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

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

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

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

Octave GNU OCTAVELINK is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Released July, 2009 Download Java Front VERSION requires Stratego/XT 0.17. Source tar.gz aterm- ATERMVERSION sdf2-bundle- SDFVERSION strategoxt- STRVERSION java-front ...

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

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

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

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

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

Creating a Stratego/XT project the simple way The easiest way to set up a working Stratego/XT project is to use the Create-a-Project tool called crap , available ...

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

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

E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques ...

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

INCLUDE{WebNotice} There are many interesting and less interesting improvements that can be made to the Stratego implementation. Anyone who is interested in doing ...

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

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

INCLUDE{WebNotice} Stratego is a small and efficient domain-specific language for program transformation. It is based on the paradigm of programmable rewriting strategies ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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 November 4th, 2005 Download Stratego/XT Utilities VERSION requires Stratego/XT 0.16. Source tar.gz TARNAME VERSION Source RPM TARNAME VERSION Redhat Linux ...

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

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

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

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

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

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

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

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

TOC STARTINCLUDE # TWiki Forms Form-based input in topics, with name/value pairs stored as Meta Data variables; choose one of multiple forms per web topic Overview ...

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

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

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

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

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

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

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

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

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

INCLUDE{http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/koala-compiler-0.3/} License KoalaCompiler is free software; you can redistribute it and/or modify ...

The tool koala-stc translates a Koala composition to a composite source tree. This process is called Source Tree Composition. The basic idea is that for koala-stc ...

This project is obolete, please checkout: KoalaCompiler Description The Koala-tools package is a collection of tools operating on the Koala component definition language ...

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

While concentrating on research, this is also a miscellaneous page. The novel Low Level Virtual Machine (LLVM) http://llvm.cs.uiuc.edu/ is a product of the Lifelong ...

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

Description CVS, the Concurrent Versions System, is a collection of tools for software version control. Links http://www.gnu.org/software/cvs/cvs.html

CPPX is a free, open source fact extractor for C++. It is build on top of GNU g++, and produces a graph according to the Datrix fact model, in either GXL, TA, or VCG ...

Disassembly Disassembly is the process of translating an executable program into its equivalent assembly representation. The greatest problem with disassembling is ...

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

FSF is the Free Software Foundation. http://www.fsf.org http://www.gnu.org

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

Homepage: http://www.gnu.org/software/gcc/ The GNU Compiler Collection

A transformation framework for ANSI C and C with GCC extensions implemented in ANTLR. Included is a complete ANSI C lexer, GNU C lexer, ANSI C parser, GNU C parser ...

GMake is the Gnu version of the MAKE tool. It has a different `dialect' compared to other versions of the MAKE tool (like the Solaris or Bsd versions). http://www ...

GNU is a recursive acronym for ``GNU's Not Unix .

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

GPL is short for the GNU General Public License. See http://gplv3.fsf.org for information on debate about the proposed new version.

The Interactive Decompiler http://idc.sourceforge.net/wiki/index.html This is an interactive, extensible assembly language decompiler written in Python. The interactivity ...

Legal aspects of ReverseEngineering can be complicated. CristinaCifuentes has collected some information on http://www.csee.uq.edu.au/~cristina/cal.html (now somewhat ...

The Mozart development environment (MozartDev) is a set of APIs that can be used to build user-extensible compilers. The APIs offer persistent and transient representation ...

The OpenSource movement propagates distribution of software with its source code . http://www.opensource.org http://www.gnu.org/ http://www.gnu.org/philosophy/license ...

Why Researchers should produce Open Source Software Many research activities, escpecially in the field of computer science, involve the development of software. Sometimes ...

Further Reading on Open Source and Tool Distribution Open Source Software The idea of free software originates in the Free Software Foundation (FSF). The GNU tools ...

Technology for Production of Open Source Distributions automake autoconf GNU tools build files package configuration bundle configuration WikiWiki CVS Next: OsasCaseStudy ...

A translator (typically a compiler) which performs its transformations before the program is run. Usually, the translator is unaware of any dynamic aspects of the ...

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