-------
%INCLUDE{WebNotice}%
--------

--------------------++ Full bibliography of Stratego

	* [[http://researchr.org/bibliography/strategoxt/publications][Bibliography of Stratego/XT related publications at researchr]]

	* [[Publications by year and type]]
	* [[http://researchr.org/downloadbibtex/bibliography/strategoxt][strategoxt.bib]]

--------------------++ Overview

	* [[Program transformation with StrategoXT]]
	* [[ftp://ftp.stratego-language.org/pub/stratego/StrategoXT/StrategoXT-brochure.ps][Stratego/XT: Components for program transformation systems]] (two page brochure)
	* [[Stratego A language for program transformation based on rewriting strategies]]

--------------------++ Language Concepts

	* [[Specification of rewriting strategies]]
	* [[Building program optimizers with rewriting strategies]]
	* [[A core language for rewriting]]
	* [[Strategic pattern matching]]
	* [[Language independent traversals for program transformation]]
	* [[Meta programming with concrete object syntax]]
	* [[Program Transformation with Scoped Dynamic Rewrite Rules]] <br /> subsumes
		* [[Extending dynamic rules]]
		* [[Scoped dynamic rewrite rules]]
	* [[ComposingSourceToSourceDataFlowTransformations][Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules]]

--------------------++ Transformation Infrastructure

----+++ Overview

	* [[XT A bundle of program transformation tools]]
	* [[Connecting XML processing and term rewriting with tree grammars]]
	* [[XDoc An extensible documentation generator]]

---+++ Language Engineering

	* [[Grammar engineering support for precedence rule recovery and compatibility checking]]

--------------------++ Applications

------+++ Optimization

	* [[Warm fusion in Stratego]]
	* [[Transformaties op Mondrian met Stratego]]
	* [[Implementation of inlining in Stratego]]
	* [[Strategies for source to source constant propagation]]
	* [[Design of the CodeBoost transformation system]]
	* [[Turning dynamic typing into static typing by program specialization]]
	* [[Simplifying the simplifier]]
	* [[Specification of loop optimizations in Stratego improving the AutoBayes system]]

------+++ Language definition

	* [[Building interpreters with rewriting strategies]]

------+++ Code generation

	* [[Rewriting strategies for instruction selection]]
	* [[Code generation from a domain specific language]]

------+++ Language extension

	* [[Adding concrete syntax to a prolog based program synthesis system]]
	* [[Retrofitting the AutoBayes program synthesis system with concrete syntax]]
	* [[Concrete syntax for objects]]. Domain-specific language embedding and assimilation without restrictions
	* [[http://www.cs.uu.nl/wiki/Visser/GeneralizedTypeBasedDisambiguationOfMetaProgramsWithConcreteObjectSyntax][Generalized type-based disambiguation of meta programs with concrete object syntax]]

---+++ Various applications

Most of the publications listed on this page are written by the developers of Stratego/XT and cover some aspect of the system. We plan to extend the bibliography to include all applications of Stratego/XT. If you have published a paper where you use Stratego/XT and want to be listed here, just let <a href="maitlo:martin.bravenboer@gmail.com">us</a> know. Currently, this list is very incomplete.

	*  Mina Askari and Raihan Al-Ekram, _"Bringing Smalltalk Blocks to Java through Transformation Techniques"_ ([[http://swag.uwaterloo.ca/~rekram/publications/tpse2005--bringing-smalltalk-blocks-to-java-through-transformation.pdf][pdf]])

	* Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere, _"Semantics of static pointcuts in AspectJ"_. ([[http://progtools.comlab.ox.ac.uk/members/oege/publications/popl07abc][website]])

	* Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg. _"Stayin' alert: moulding failure and exceptions to your needs"_

	* A. H. Bagge and K. T. Kalleberg. _"DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages"_

	* Alexandre Borghi, Valentin David and Akim Demaille. _"C-Transformers: A Framework to Write C Program Transformations"_

	* W. Caarls, P.P. Jonker, and H. Corporaal, _"Algorithmic Skeletons for Stream Programming in Embedded Heterogeneous Parallel Image Processing"_

	* Valentin David, Akim Demaille, Olivier Gournet, _"Attribute Grammars for Modular Disambiguation"_

	* Akim Demaille, Sylvain Peyronnet, Benoît Sigoure. _"Modeling of Sensor Networks Using XRM"_

	* F. Latry, J. Mercadal, and C. Consel, _"Processing Domain-Specific Modeling Languages: A Case Study in Telephony Services"_

	* Sebastian Fleissner, Elisa Baniassad, _"A commensalistic software system"_. ([[http://doi.acm.org/10.1145/1176617.1176629][doi]])

	* Sergey V. Goncharov, Arseniy Y. Rudich, Yaroslav S. Usenko. _"An implementation of a µCRL linearization algorithm using rewriting strategies."_

	* Jonathan Riehl, _"Assimilating MetaBorg: Embedding language tools in languages"_

	* Eric Tanter, _"An Extensible Kernel Language for AOP"_

	* Karl Trygve Kalleberg, Eelco Visser, _"Fusing a Transformation Language with an Open Compiler"_

	* Leonard Hamey, Shirley Goldrei, _"Implementing a Domain-Speci&#64257;c Language using Stratego/XT"_

	* Eric Bouwers, Martin Bravenboer, Eelco Visser, _"Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking"_

--------------------++ Surveys 

of strategies and related mechanisms in several languages

	* [[Transform.ASurveyOfStrategiesInRuleBasedProgramTransformationSystems][A survey of strategies in rule based program transformation systems]]
	* [[Transform.TheEssenceOfStrategicProgramming][The essence of strategic programming]]
	* [[Transform.StrategicProgrammingMeetsAdaptiveProgramming][Strategic programming meets adaptive programming]]
	* [[Transform.TransformationMechanics][Transformation mechanics]]

	* [[Transform.ASurveyOfRewritingStrategiesInProgramTransformationSystems][A survey of rewriting strategies in program transformation systems]] (subsumed by new version above)

--------------------++ Implementation

	* [[Fusing logic and control]]: An Example Optimization

--------------------++ Tutorials

	* [[Handouts for the Stratego Tutorial at ETAPS 2002]]
	* [[Slides for Software Generation 2001]]
	* [[Tutorial for First Stratego Users Day 2000]]