-------
%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]]
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 us 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-Specific 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]]