TOC Getting Started To start a proper shell and initialize your path, run the following commands. ( martin is on purpose. Don't change the username to your own account ...

TU Delft 2006-11-20 The software for the TU Delft tutorial will be installed at the server apsone.st.ewi.tudelft.nl . You can compile your exercises on apsone and ...

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

Personal Information Name: Niels Janssen Email: njanssen@cs.uu.nl Affiliation: Utrecht University (Student) Country: Netherlands Extra Information Courses Completed ...

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

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

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

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

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 an open-source project under the BSDLicense . Contributing Please contribute bug reports, patches, and ideas for enhancement using our BugZilla instance. Thank ...

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

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

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

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

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

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

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

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

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

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

See ATerm Library at the Tools web.

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

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

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

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

TOC Introduction CX is an aterm bridge for CIL, an existing C front-end implement in OCaml. The Stratego/XT-based package CX uses this bridge to read C code. CX will ...

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

CodeBoost is a tool for source-to-source transformation and optimisation of C++ programs. It is intended to be used as a testbed for various high-level optimisations ...

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

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

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

Ideas for improving the error reporting of the StrategoCompiler. Feel free to add more ideas. check import graph: operators used in a module should be visible through ...

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

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

A tuple is a term of the form (t1,...,tn) . In pre- StrategoRelease07 versions of Stratego this was syntactic sugar for TCons(t1,...,TCons(tn,TNil)) . The idea behind ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

In the ATerm representation lists are represented as terms of the form t1,...,tn . This is also the syntax for lists in Stratego; extended with the notation t1,.. ...

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

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

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

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

In stratego all information is represented as a ATerm. An ATerm can be thought of as a structured tree-like representation of the information that needs to be transformed ...

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

The UltraSparc platform is the 64 bit version of the Sparc platform. It (and the Solaris operating system) can handle both 32 bit and 64 bit executables. The default ...

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

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

There are several DebuggingTechniques for debugging Stratego programs. More support from the StrategoCompiler could be useful sometimes. Tracing Since StrategoRelease062 ...

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

This page contains a complete overview of all releases of Stratego. Not all distributions are still available from the server. However, all distributions since 0.4 ...

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

This page contains a complete overview of all releases of Stratego. Not all distributions are still available from the server. However, all distributions since 0.4 ...

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

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

Stratego/J: A Stratego Core Format Engine Stratego/J is an execution engine for the Stratego language, implemented in Java. It allows the execution of the full Stratego ...

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

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

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

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

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 also StrategoRelease061 StrategoRelease062 StrategoRelease063 Stratego version 0.6 is available from www.stratego-language.org SUMMARY OF CHANGES (with respect ...

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

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

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

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

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

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

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

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

StrategoXT encourages a development model in which stand-alone components are developed for separate aspects of program transformation, instead of implementing integrated ...

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

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

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

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

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

Description An abstract composition definition is a definition of a composition that is independent of the type of components. It describes the components in the ...

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

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

Version 0.7 and higher See JJForesterDownload for a detailed description. Version 0.6 JJForester now supports Transform.VisitorCombinators. These are implementations ...

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

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

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

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

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

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

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

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

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

ATerm (short for Annotated Term) is an abstract data type designed for the exchange of tree-like data structures between distributed applications. See Tools.ATerm ...

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

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

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

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