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

The name of the Stratego compiler was changed to strc . In StrategoRelease093 sc is still available as a redirection to strc , but will no longer be available in the ...

Stratego provides scope constructs for several types of data. The variable scope {x1,...,xn:s} delimits the scope of bindings to the term variables xi to the strategy ...

E. Visser. Scoped dynamic rewrite rules. In M. van den Brand and R. Verma, editors, Rule Based Programming (RULE'01), volume 59/4 of Electronic Notes in Theoretical ...

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

This page has moved to Spoofax-IMP .

February 8, 2001, Universiteit Utrecht The proceedings are now available http://www.cs.uu.nl/~visser/ftp/SUD01.ps.gz http://www.cs.uu.nl/~visser/ftp/SUD01.ps.zip SecondStrategoUsersDayProgram ...

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

A pragmatic approach to separate compilation has been introduced in StrategoRelease094. A module can be compiled as a library which results in a single C program containing ...

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

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

Photo Sets sud06 by Martin Bravenboer by Eelco Visser

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

Alan van Dam. Simplifying the Simplifier. HsOpt: a modular, rewrite rule based simplifier for the Helium compiler, a non-strict functional compiler. Institute of Information ...

INCLUDE{ TWIKIWEB .SiteMap}

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

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

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

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

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

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

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

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

This page moved to Spoofax.WebHome INCLUDE{Spoofax.WebHome}

INCLUDE{Spoofax-IMP}

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

Strategic Pattern Matching is a paper about extending standard first-order term pattern matching using strategies to define complex patterns. Specifically it describes ...

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

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

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

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

The back-end of the compiler translates a CoreStratego program to C code. Main.EelcoVisser 17 Aug 2003

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

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

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

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

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

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

The syntax definition of Stratego is organized by syntactic category (Strategy, Term, etc.). This makes it hard to distinghuish syntactic sugar from core constructs ...

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

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

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

Wij waren op zoek naar een zipWith-achtige functie in stratego; de referentiepagina bevat allemaal harige strategocode waar wij met onze pet niet zo snel bij kunnen ...

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

The front-end of the compiler parses the source modules, performs several checks on them, integrates multiple definitions, and produces a CoreStratego program for ...

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

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

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

The Stratego Interpreter is currently part of the Shell.

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

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

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

The StrategoCompiler performs a number of transformations/optimizations including the following: Pattern match merging Symbol caching Simplification Desugaring The ...

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

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

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

Although the traversal strategy that is used can have great impact on the performance of Stratego programs, there is no mechanism (except for time measurements) to ...

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

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

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

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

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

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

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

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

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

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

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

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

Stratego/XT 0.15 released July 5, 2005 This is an experimental release featuring a refactoring of the internals of the language definition and compiler. Please report ...

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

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

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

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

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

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

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

This is a developers release. See StrategoDownload to get it. The following changes were logged. spec/Makefile.am (SUBDIRS): Changed order of sub-directory to avoid ...

2001-04-13 Eelco Visser spec/slib/spec/Makefile.am: Simplified makefile for library spec/slib/spec/share-test.r: Defined test 2001-04-12 Eelco Visser bootinstall ...

Changes since StrategoRelease052 2001-05-22 bootinstall bootstrap spec/slib/spec/sunit.r: Replaced FAIL with fail. fail should be safe, i.e., not eliminate actions ...

Changes since StrategoRelease053 Summary Dynamic rules: see ScopedDynamicRewriteRules paper Lots of improvements to the library (thanks Main.HedzerWestra and Main ...

In this release a few extensions to the library have been made that are needed in bootstrapping the new compiler that will be released in StrategoRelease06. Main ...

See also StrategoRelease061 StrategoRelease062 StrategoRelease063 Stratego version 0.6 is available from www.stratego-language.org SUMMARY OF CHANGES (with respect ...

Stratego version 0.6.1 is available from http://www.stratego-language.org SUMMARY OF CHANGES (with respect to release StrategoRelease06) COMPILER Added compile time ...

Stratego version 0.6.2 is now available from StrategoDownload released: October 6, 2001 SUMMARY OF CHANGES (with respect to release 0.6) CONTRIBUTIONS Bug reports ...

Available from StrategoDownload New features TermWrap TermProject Release Announcement Version 0.6.3 released: November 26, 2001 SUMMARY OF CHANGES (with respect to ...

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

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

Release 0.7 is in preparation. See ReleasePlan and ToDo for plans. Main.EelcoVisser 27 Oct 2001

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

Stratego Release 1.0 should provide a polished design and a stable and efficient implementation. See the ReleasePlan for the planned new features of this release. ...

This is a fact a slogan written on a shirt a reminder of the central role of rules in Stratego ? Main.EelcoVisser 10 Mar 2004

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

The semantics of the core of Stratego is described in BuildingProgramOptimizersWithRewritingStrategies and ACoreLanguageForRewriting. Since those papers were written ...

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

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

The Stratego simplifier is applied at several times by the optimizer. The simplifier reduces strategy expressions by means of a large number of simple rewrite rules ...

The StrategoLanguage was developed with the support of many StrategoContributors and the following institutes University of Amsterdam Oregon Graduate Institute of ...

INCLUDE{WebNotice} Please consult the following resources for support on Stratego/XT: Mailing list IRC User Days Issue Tracker Main.KarlTrygveKalleberg 14 Jun 2008 ...

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

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

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

The following people have been known to write Stratego programs: OttoBagge MerijnDeJonge DickKieburtz TobiasKuipers KarinaOlmos AndrewTolmach EelcoVisser JoostVisser ...

INCLUDE{WebNotice} The Stratego Users Days is as series of events organized to bring together designers and users of Stratego. Future events None planned Past events ...

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

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

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

This site is based on wiki, a tool for collaborative website development, which makes it possible for everyone with a browser, that is you to contribute by editing ...

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

Stratego/XT: An Annotated Bibliography INCLUDE{http://www.stratego-language.org/publications/publications.html}

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

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

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

The strategy inlining component of the optimizer replaces calls to strategies with their body, allowing other optimizations to specialize the strategy to its arguments ...

A StrategyRule of the form Lab :: s1 s2 where s3 is syntactic sugar for a StrategyDefinition of the form Lab s1; where(s3); s2 StrategoRelease06 introduced a bug ...

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

The rules mechanism can be used to enable a set of rules. TriggerRules ?Context(Bla, ); rules( A : ... ... B : ... ... ) traverse rec x({ A, B : try(TriggerRules ...

Question: Is there any symbol table implementation in stratego? Yes. There are several ways to go about using symbol table like functionality in Stratego programs ...

SystemS is the name for the system of combinators that form the core of the StrategoLanguage. SystemS is described in the following papers: Program Optimizers with ...