Publications By Year And Type

Stratego -- Strategies for Program Transformation
Publications by year | type | year and type | type and year | alphabetically | wiki

Also available in pdf and bibtex.

2009

Journal Articles


[1]  M. Bravenboer, E. Dolstra, and E. Visser. Preventing Injection Attacks with Syntax Embeddings. A Host and Guest Language Independent Approach. Science of Computer Programming, 2009. (in press) (doi, bib).

[2]  Z. Hemel, D. M. Groenewegen, L. C. L. Kats, and E. Visser. Code Generation by Model Transformation. A Case Study in Transformation Modularity. Software and Systems Modeling, 2009. (accepted modulo minor revision) (bib).

In Proceedings


[3]  M. Bravenboer and E. Visser. Parse Table Composition. Separate Compilation and Binary Extensibility of Grammars. In D. Gasevic and E. van Wyk, editors, Software Language Engineering (SLE 2008), volume 5452 of Lecture Notes in Computer Science, pages 74--94, Heidelberg, March 2009. Springer. (doi, pdf, sle, bib).

[4]  F. Duran, M. Roldán, E. Balland, M. van den Brand, S. Eker, K. T. Kalleberg, L. C. L. Kats, P.-E. Moreau, R. Schevchenko, and E. Visser. The Second Rewrite Engines Competition. In G. Rosu, editor, Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008), volume 238 of Electronic Notes in Theoretical Computer Science, pages 281--291. Elsevier, June 2009. (doi, wrla, bib).

[5]  L. C. L. Kats, M. de Jonge, E. Nilsson-Nyman, and E. Visser. Providing Rapid Feedback in Generated Modular Language Environments. Adding Error Recovery to Scannerless Generalized-LR Parsing. In G. T. Leavens, editor, Proceedings of the 24th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2009), ACM SIGPLAN Notices, New York, NY, USA, October 2009. ACM Press. (to appear) (oopsla, bib).

[6]  L. C. L. Kats, K. T. Kalleberg, and E. Visser. Domain-Specific Languages for Composable Editor Plugins. In T. Ekman and J. Vinju, editors, Proceedings of the Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA 2009), Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, April 2009. (bib).

[7]  L. C. L. Kats, A. M. Sloane, and E. Visser. Decorated Attribute Grammars. Attribute Evaluation Meets Strategic Programming. In O. de Moor and M. I. Schwartzbach, editors, International Conference on Compiler Construction (CC 2009), volume 5501 of Lecture Notes in Computer Science, pages 142--157, York, United Kingdom, March 2009. Springer. (pdf, doi, bib).

2008

Journal Articles


[8]  M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser. Stratego/XT 0.17. A Language and Toolset for Program Transformation. Science of Computer Programming, 72(1-2):52--70, June 2008. Special issue on experimental software and toolkits (doi, pdf, release, bib).

In Proceedings


[9]  E. Bouwers, M. Bravenboer, and E. Visser. Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking. In A. Sloane and A. Johnstone, editors, Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA 2007), volume 203 of Electronic Notes in Theoretical Computer Science, pages 85--101, Braga, Portugal, March 2008. Elsevier. (doi, pdf, bib).

[10]  M. Bravenboer and E. Visser. Designing Syntax Embeddings and Assimilations for Language Libraries. In H. Giese, editor, Models in Software Engineering. Workshops and Symposia at MoDELS 2007, volume 5002 of Lecture Notes in Computer Science, pages 34--46, Heidelberg, 2008. Springer. Selected paper from the Workshop on Language Engineering (ATEM 2007) (doi, pdf, bib).

[11]  D. M. Groenewegen and E. Visser. Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns. In D. Schwabe and F. Curbera, editors, Eighth International Conference on Web Engineering (ICWE 2008), pages 175--188. IEEE CS Press, July 2008. best paper award (doi, pdf, icwe, bib).

[12]  Z. Hemel, L. C. L. Kats, and E. Visser. Code Generation by Model Transformation. A Case Study in Transformation Modularity. In J. Gray, A. Pierantonio, and A. Vallecillo, editors, Theory and Practice of Model Transformations. First International Conference on Model Transformation (ICMT 2008), volume 5063 of Lecture Notes in Computer Science, pages 183--198, Heidelberg, July 2008. Springer. (doi, pdf, icmt, bib).

[13]  Z. Hemel, R. Verhaaf, and E. Visser. WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications. In K. Czarnecki, I. Ober, J.-M. Bruel, A. Uhl, and M. Völter, editors, Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), volume 5301 of Lecture Notes in Computer Science, pages 113--127, Heidelberg, September 2008. Springer. (doi, pdf, models, bib).

[14]  K. T. Kalleberg and E. Visser. Fusing a Transformation Language with an Open Compiler. In A. Sloane and A. Johnstone, editors, Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA 2007), volume 203 of Electronic Notes in Theoretical Computer Science, pages 21--36. Elsevier, April 2008. (doi, pdf, ldta, bib).

[15]  L. C. L. Kats, M. Bravenboer, and E. Visser. Mixing Source and Bytecode. A Case for Compilation by Normalization. In G. Kiczales, editor, Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2008), pages 91--108, New York, NY, USA, October 2008. ACM. (doi, pdf, oopsla, bib).

[16]  L. C. L. Kats, K. T. Kalleberg, and E. Visser. Generating Editors for Embedded Languages. Integrating SGLR into IMP. In A. Johnstone and J. Vinju, editors, Proceedings of the Eighth Workshop on Language Descriptions, Tools, and Applications (LDTA 2008), Budapest, Hungary, April 2008. (pdf, ldta, bib).

[17]  S. D. Vermolen and E. Visser. Heterogeneous Coupled Evolution of Software Languages. In K. Czarnecki, I. Ober, J.-M. Bruel, A. Uhl, and M. Völter, editors, Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), volume 5301 of Lecture Notes in Computer Science, pages 630--644, Heidelberg, September 2008. Springer. (doi, models, bib).

[18]  E. Visser. WebDSL: A Case Study in Domain-Specific Language Engineering. In R. Lämmel, J. Visser, and J. Saraiva, editors, International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2007), volume 5235 of Lecture Notes in Computer Science, pages 291--373, Heidelberg, October 2008. Springer. (doi, pdf, blog, bib).

Posters


[19]  D. M. Groenewegen, Z. Hemel, L. C. L. Kats, and E. Visser. WebDSL: A Domain-Specific Language for Dynamic Web Applications. In N. Mielke and O. Zimmermann, editors, Companion to the 23rd ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2008), pages 779--780, New York, NY, USA, October 2008. ACM. (poster) (doi, oopsla, bib).

2007

In Proceedings


[20]  P. Avgustinov, E. Hajiyev, N. Ongkingco, O. de Moor, D. Sereni, J. Tibble, and M. Verbaere. Semantics of static pointcuts in AspectJ. In POPL'07, 2007. (bib).

[21]  M. Bravenboer, E. Dolstra, and E. Visser. Preventing Injection Attacks with Syntax Embeddings. A Host and Guest Language Independent Approach. In J. Lawall, editor, Generative Programming and Component Engineering (GPCE 2007), pages 3--12, New York, NY, USA, October 2007. ACM. (doi, pdf, bib).

[22]  J. Fabry, E. Tanter, and T. D'Hondt. ReLAx: Implementing KALA over the Reflex AOP Kernel. In Proceedings of the 2nd Workshop on Domain-Specific Aspect Languages (DSAL 2007), Vancouver, Canada, March 2007. ACM. (bib).

[23]  L. Hamey and S. Goldrei. Implementing a Domain-Specific Language using Stratego/XT. In A. Sloane and A. Johnstone, editors, Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA'07), pages 32--46, Braga, Portugal, March 2007. (bib).

[24]  K. T. Kalleberg and E. Visser. Spoofax: An Interactive Development Environment for Program Transformation with Stratego/XT. In A. Sloane and A. Johnstone, editors, Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA 2007), pages 47--50, Braga, Portugal, March 2007. (pdf, ldta, bib).

Theses


[25]  L. C. L. Kats. Supporting Language Extension and Separate Compilation by Mixing Java and Bytecode. Master's thesis, Utrecht University, Utrecht, The Netherlands, August 2007. INF/SCR-07-02 (pdf, bib).

2006

Journal Articles


[26]  M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae, 69(1--2):123--178, 2006. (article, journal, tr, pdf, bib).

In Proceedings


[27]  A. H. Bagge, V. David, M. Haveraaen, and K. T. Kalleberg. Stayin' alert: moulding failure and exceptions to your needs. In GPCE'06, 2006. (bib).

[28]  A. H. Bagge and K. T. Kalleberg. DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. In DSAL'06, 2006. (bib).

[29]  M. Bravenboer, R. de Groot, and E. Visser. MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT. In R. Lämmel and J. Saraiva, editors, Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), volume 4143 of Lecture Notes in Computer Science, pages 297--311, Braga, Portugal, 2006. Springer Verlag. (springer, pdf, gttse, tr, bib).

[30]  M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser. Stratego/XT 0.16. Components for Transformation Systems. In ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM 2006), pages 95--99, Charleston, South Carolina, January 2006. ACM SIGPLAN. (pdf, tr, acm, bib).

[31]  M. Bravenboer, E. Tanter, and E. Visser. Declarative, Formal, and Extensible Syntax Definition for AspectJ. A Case for Scannerless Generalized-LR Parsing. In W. R. Cook, editor, Proceedings of the 21th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2006), pages 209--228, Portland, Oregon, USA, October 2006. ACM Press. (acm, pdf, bib).

[32]  S. Fleissner and E. Baniassad. A commensalistic software system. In Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 560 -- 573. ACM SIGPLAN, 2006. (bib).

[33]  K. T. Kalleberg and E. Visser. Combining Aspect-Oriented and Strategic Programming. In H. Cirstea and N. Marti-Oliet, editors, Workshop on Rule-Based Programming (RULE 2005), volume 147 of Electronic Notes in Theoretical Computer Science, pages 5--30, Nara, Japan, 2006. Elsevier Science Publishers. (doi, entcs, pdf, tr, bib).

[34]  É. Tanter. An Extensible Kernel Language for AOP. In Proceedings of AOSD Workshop on Open and Dynamic Aspect Languages, Bonn, Germany, 2006. (pdf, bib).

Documentation


[35]  M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser. Stratego/XT Tutorial, Examples, and Reference Manual (latest). Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, 2006. http://www.strategoxt.org (html, bib).

[36]  E. Visser. The Stratego/XT BibTeX Tools. Tool documentation. Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, 0.3pre edition, August 2006. (Draft) (wiki, release, pdf, bib).

2005

Journal Articles


[37]  E. Visser. A Survey of Strategies in Rule-Based Program Transformation Systems. Journal of Symbolic Computation, 40(1):831--873, 2005. Special issue on Reduction Strategies in Rewriting and Programming (doi, jsc, info, tr, pdf, bib).

In Proceedings


[38]  M. Bravenboer, R. Vermaas, J. Vinju, and E. Visser. Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax. In R. Glück and M. Lowry, editors, Proceedings of the Fourth International Conference on Generative Programming and Component Engineering (GPCE 2005), volume 3676 of Lecture Notes in Computer Science, pages 157--172, Tallinn, Estonia, September 2005. Springer. (pdf, tr, gpce, springer, bib).

[39]  M. Buss, S. A. Edwards, B. Yao, and D. Waddington. Pointer Analysis for Source-to-Source Transformations. In J. Krinke and G. Antoniol, editors, Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05), Budapest, Hungary, 2005. IEEE Computer Society Press. (scam, proteus, bib).

[40]  K. Olmos and E. Visser. Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. In R. Bodik, editor, 14th International Conference on Compiler Construction (CC 2005), volume 3443 of Lecture Notes in Computer Science, pages 204--220. Springer-Verlag, April 2005. (doi, info, tr, pdf, springer, bib).

[41]  E. Visser. Transformations for Abstractions. In J. Krinke and G. Antoniol, editors, Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), pages 3--12, Budapest, Hungary, October 2005. IEEE Computer Society Press. (Keynote paper) (doi, tr, pdf, blog, wiki, scam, bib).

[42]  D. G. Waddington and B. Yao. High Fidelity C++ Code Transformation. In Proceedings of the 5th workshop on Language Descriptions, Tools and Applications (LDTA 2005), Electronic Notes in Theoretical Computer Science, Edinburgh University, UK, April 3 2005. (ldta, proteus, bib).

Theses


[43]  R. de Groot. Design and Implementation of Embedded Domain-Specific Languages. Master's thesis, Utrecht University, Utrecht, The Netherlands, September 2005. INF/SCR-05-10 (pdf, bib).

[44]  N. Janssen. Transformation Tool Composition. Master's thesis, Utrecht University, Utrecht, The Netherlands, March 2005. INF/SCR-04-64 (pdf, bib).

[45]  R. van Beusekom. A Vectorizer for Octave. Master's thesis, Utrecht University, Utrecht, The Netherlands, February 2005. INF/SRC-04-53 (pdf, bib).

Technical Reports


[46]  A. H. Bagge, M. Bravenboer, K. T. Kalleberg, K. Muilwijk, and E. Visser. Adaptive Code Reuse by Aspects, Cloning and Renaming. Technical Report UU-CS-2005-031, Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, August 2005. (pdf, tr, bib).

Documentation


[47]  M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser. Stratego/XT Tutorial, Examples, and Reference Manual for Stratego/XT 0.16. Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, November 2005. (html, bib).

[48]  E. Visser. The Stratego/XT BibTeX Tools. Tool documentation. Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, 0.2 edition, November 2005. (wiki, release, pdf, bib).

2004

Books


[49]  E. Visser. Strategies for Program Transformation. 2004. Draft book. Superseded by Stratego/XT manual. (info, bib).

Book Chapters


[50]  B. Fischer and E. Visser. Retrofitting the AutoBayes Program Synthesis System with Concrete Object Syntax. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, pages 239--253. Spinger-Verlag, 2004. (springer, tr, pdf, info, springer, bib).

[51]  E. Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, pages 216--238. Spinger-Verlag, June 2004. (springer, tr, pdf, info, bib).

In Proceedings


[52]  M. Bravenboer and E. Visser. Concrete Syntax for Objects. Domain-Specific Language Embedding and Assimilation without Restrictions. In D. C. Schmidt, editor, Proceedings of the 19th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2004), pages 365--383, Vancouver, Canada, October 2004. ACM Press. (doi, acm, info, pdf, bib).

[53]  B. Fischer and E. Visser. Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). In M. Bruynooghe, editor, 13th International Symposium Logic Based Program Synthesis and Transformation: LOPSTR 2003, volume 3018 of Lecture Notes in Computer Science, pages 56--58, Heidelberg, November 2004. Springer-Verlag. (springer, bib).

[54]  S. V. Goncharov, A. Y. Rudich, and Y. S. Usenko. An implementation of a linearization algorithm using rewriting strategies. In Proc. 1st International Conference on Theoretical and Applied Aspects of Program Systems Development (TAAPSD'04), pages 13--17, Kyiv, Ukraine, October 5-8 2004. (bib).

Theses


[55]  A. van Dam. Extending Dynamic Rules. An Application-Oriented Study into Stratego's new Dynamic Rules. Master's thesis, Utrecht University, Utrecht, The Netherlands, February 2004. INF/SCR-04-25 (pdf, bib).

[56]  R. B. Vermaas. xDoc. An extensible documentation generator. Master's thesis, Utrecht University, Utrecht, The Netherlands, February 2004. INF/SCR-03-41 (pdf, bib).

Position Papers


[57]  M. Bravenboer and E. Visser. Reusable and Adaptable Strategies for Generative Programming. In M. Haveraaen et al., editors, GPCE Software Transformation Systems Workshop (STSW 2004), Vancouver, Canada, October 2004. Position paper (pdf, sts, bib).

2003

In Proceedings


[58]  O. S. Bagge, K. T. Kalleberg, M. Haveraaen, and E. Visser. Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. In D. Binkley and P. Tonella, editors, Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), pages 65--74, Amsterdam, The Netherlands, September 2003. IEEE Computer Society Press. (bib).

[59]  B. Fischer and E. Visser. Adding Concrete Syntax to a Prolog-based Program Synthesis System (Extended Abstract). In M. Bruynooghe, editor, Preproceedings of the International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2003), number Report CW 365, pages 39--48, Uppsala, Sweden, August 2003. Department of Computer Science, K. U. Leuven. (info, bib).

[60]  R. Laemmel, E. Visser, and J. Visser. Strategic Programming Meets Adaptive Programming. In Proceedings of Aspect-Oriented Software Development (AOSD 2003), pages 168--177, Boston, USA, March 2003. ACM Press. (bib).

[61]  K. Olmos and E. Visser. Turning Dynamic Typing into Static Typing by Program Specialization. In D. Binkley and P. Tonella, editors, Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), pages 141--150, Amsterdam, The Netherlands, September 2003. IEEE Computer Society Press. (ieee, info, tr, pdf, bib).

Theses


[62]  O. S. Bagge. CodeBoost: A Framework for Transforming C++ Programs. Master's thesis, University of Bergen, P.O.Box 7800, N-5020 Bergen, Norway, March 2003. (bib).

[63]  M. Bravenboer. Connecting XML Processing and Term Rewriting with Tree Grammars. Master's thesis, Utrecht University, Utrecht, The Netherlands, November 2003. (pdf, bib).

[64]  K. T. Kalleberg. User-configurable, High-Level Transformations with CodeBoost. Master's thesis, University of Bergen, P.O.Box 7800, N-5020 Bergen, Norway, March 2003. (bib).

[65]  J. Kruger. Specification of Loop Optimizations In Stratego. Improving the AutoBayes System. Master's thesis, Utrecht University, Utrecht, The Netherlands, November 2003. (pdf, bib).

[66]  A. van Dam. Simplifying the Simplifier. HsOpt: a modular, rewrite rule based simplifier for the Helium compiler, a non-strict functional compiler. Master's thesis, Utrecht University, Utrecht, The Netherlands, July 2003. INF/SCR-03-25 (pdf, bib).

[67]  J. van Wijngaarden. Code Generation from a Domain Specific Language. Designing and Implementing Complex Program Transformations. Master's thesis, Utrecht University, Utrecht, The Netherlands, July 2003. INF/SCR-03-29 (pdf, bib).

Technical Reports


[68]  P. Johann and E. Visser. Strategies for Fusing Logic and Control via Local, Application-Specific Transformations. Technical Report UU-CS-2003-050, Institute of Information and Computing Sciences, Utrecht University, February 2003. (info, pdf, bib).

[69]  J. Wijngaardenvan Wijngaarden and E. Visser. Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation Systems. Technical Report UU-CS-2003-048, Institute of Information and Computing Sciences, Utrecht University., May 2003. (pdf, info, bib).

2002

In Proceedings


[70]  M. G. J. Brandvan den Brand, J. Scheerder, J. Vinju, and E. Visser. Disambiguation Filters for Scannerless Generalized LR Parsers. In N. Horspool, editor, Compiler Construction (CC 2002), volume 2304 of Lecture Notes in Computer Science, pages 143--158, Grenoble, France, April 2002. Springer-Verlag. (pdf, ps, bib).

[71]  M. Bravenboer and E. Visser. Rewriting Strategies for Instruction Selection. In S. Tison, editor, Rewriting Techniques and Applications (RTA 2002), volume 2378 of Lecture Notes in Computer Science, pages 237--251, Copenhagen, Denmark, July 2002. Springer-Verlag. (pdf, bib).

[72]  M. de Jonge. Source Tree Composition. In C. Gacek, editor, Proceedings: Seventh International Conference on Software Reuse, volume 2319 of LNCS, pages 17--32. Springer-Verlag, Apr. 2002. (bib).

[73]  E. Dolstra and E. Visser. Building Interpreters with Rewriting Strategies. In M. van den Brand and R. Laemmel, editors, Workshop on Language Descriptions, Tools and Applications (LDTA 2002), volume 65/3 of Electronic Notes in Theoretical Computer Science, Grenoble, France, April 2002. Elsevier Science Publishers. (doi, pdf, bib).

[74]  K. Olmos and E. Visser. Strategies for Source-to-Source Constant Propagation. In B. Gramlich and S. Lucas, editors, Workshop on Reduction Strategies (WRS 2002), volume 70 of Electronic Notes in Theoretical Computer Science, page 20, Copenhagen, Denmark, July 2002. Elsevier Science Publishers. (entcs, pdf, bib).

[75]  E. Visser. Meta-Programming with Concrete Object Syntax. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering (GPCE 2002), volume 2487 of Lecture Notes in Computer Science, pages 299--315, Pittsburgh, PA, USA, October 2002. Springer-Verlag. (pdf, bib).

Theses


[76]  L. Swart. Partial Evaluation using Rewrite Rules. A Specification of a Partial Evaluator for Similix in Stratego. Master's thesis, Utrecht University, Utrecht, The Netherlands, August 2002. INF/SCR-2002-12 (pdf, bib).

[77]  H. Westra. Configurable Transformations for High-Quality Automatic Program Improvement. CobolX: a case study. Master's thesis, Utrecht University, Utrecht, The Netherlands, February 2002. (pdf, bib).

Documentation


[78]  E. Visser. Tiger in Stratego: An Exercise in Compilation by Transformation. Institute of Information and Computing Sciences, Utrecht University, 2002. Technical Documentation. (wiki, bib).

2001

In Proceedings


[79]  M. de Jonge and R. Monajemi. Cost-Effective Maintenance Tools for Proprietary Languages. In Proceedings: International Conference on Software Maintenance (ICSM 2001), pages 240--249. IEEE Computer Society Press, Nov. 2001. (bib).

[80]  M. de Jonge, E. Visser, and J. Visser. XT: A Bundle of Program Transformation Tools. In M. G. J. van den Brand and D. Parigot, editors, Workshop on Language Descriptions, Tools and Applications (LDTA 2001), volume 44 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, April 2001. (ps, entcs, bib).

[81]  M. de Jonge and J. Visser. XT Capita Selecta. In E. Visser, editor, Proceedings of the Second Stratego Users Day (SUD'01), pages 18--35. Institute for Information and Computing Sciences, Utrecht University, February 2001. (bib).

[82]  E. Dolstra. Functional Stratego. In E. Visser, editor, Proceedings of the Second Stratego Users Day (SUD'01), pages 10--17, 2001. (bib).

[83]  P. Johann and E. Visser. Fusing Logic and Control with Local Transformations: An Example Optimization. In B. Gramlich and S. Lucas, editors, Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), volume 57 of Electronic Notes in Theoretical Computer Science, Utrecht, The Netherlands, May 2001. Elsevier Science Publishers. (pdf, ps, bib).

[84]  R. Kieburtz. A Logic for Rewriting Strategies. In Workshop on Strategies in Automated Deduction, Siena, Italy, 2001. (bib).

[85]  R. Lämmel. Towards Typeful Stratego. In E. Visser, editor, Proceedings of the Second Stratego Users Day (SUD'01), pages 4--9. Institute for Information and Computing Sciences, Utrecht University, February 2001. (bib).

[86]  E. Visser. Scoped Dynamic Rewrite Rules. In M. van den Brand and R. Verma, editors, Rule Based Programming (RULE 2001), volume 59/4 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, September 2001. (pdf, ps, bib).

[87]  E. Visser. A Survey of Rewriting Strategies in Program Transformation Systems. In B. Gramlich and S. Lucas, editors, Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), volume 57 of Electronic Notes in Theoretical Computer Science, Utrecht, The Netherlands, May 2001. Elsevier Science Publishers. (pdf, ps, bib).

[88]  E. Visser. Stratego: A Language for Program Transformation based on Rewriting Strategies. System Description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA 2001), volume 2051 of Lecture Notes in Computer Science, pages 357--361. Springer-Verlag, May 2001. (pdf, ps, springer, bib).

Theses


[89]  A. de Bruijn. Implementation of Inlining in Stratego. Master's thesis, Utrecht University, Utrecht, The Netherlands, August 2001. (pdf, psgz, bib).

[90]  E. Dolstra. First-class Rules and Generic Traversal for Program Transformation Languages. Master's thesis, Utrecht University, Utrecht, The Netherlands, August 2001. INF/SCR-2001-15 (psgz, bib).

Technical Reports


[91]  M. Bravenboer and E. Visser. Guiding Visitors: Separating Navigation from Computation. Technical Report UU-CS-2001-42, Institute of Information and Computing Sciences, Utrecht University, 2001. (pdf, tr, bib).

[92]  E. Dolstra and E. Visser. First-class Rules and Generic Traversal. Technical Report UU-CS-2001-38, Institute of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, 2001. (pdf, bib).

2000

Journal Articles


[93]  P. Johann and E. Visser. Warm Fusion in Stratego: A Case Study in the Generation of Program Transformation Systems. Annals of Mathematics and Artificial Intelligence, 29(1--4):1--34, February 2000. (doi, ps, bib).

In Proceedings


[94]  M. de Jonge. A Pretty-Printer for Every Occasion. In I. Ferguson, J. Gray, and L. Scott, editors, Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000). University of Wollongong, Australia, 2000. (bib).

[95]  E. Visser. Language Independent Traversals for Program Transformation. In J. Jeuring, editor, Workshop on Generic Programming (WGP 2000), Ponte de Lima, Portugal, July 2000. Technical Report UU-CS-2000-19, Department of Information and Computing Sciences, Universiteit Utrecht. (ps, bib).

Theses


[96]  K. J. Olmos. Reverse Engineering Transformations for DSP Code Generation. Master's thesis, Utrecht University and Universidad Mayor de San Simón, Utrecht, The Netherlands, November 2000. (bib).

Position Papers


[97]  O. S. Bagge, M. Haveraaen, and E. Visser. A C++ Transformation Framework (Extended Abstract). In Proceedings of the Nordic Workshop on Programming Theory (NWPT 2000), Bergen, Norway, October 2000. (bib).

Unpublished Documents


[98]  E. Dolstra and H. Westra. Transformaties op Mondrian met Stratego. Term paper (in dutch) http://www.cs.uu.nl/~visser/ftp/DW00.pdf Utrecht University (bib), July 2000.

1999

In Proceedings


[99]  E. Visser. Strategic Pattern Matching. In P. Narendran and M. Rusinowitch, editors, Rewriting Techniques and Applications (RTA 1999), volume 1631 of Lecture Notes in Computer Science, pages 30--44, Trento, Italy, July 1999. Springer-Verlag. (ps, bib).

Position Papers


[100]  E. Visser. A Bootstrapped Compiler for Strategies (Extended Abstract). In B. Gramlich, H. Kirchner, and F. Pfenning, editors, Strategies in Automated Deduction (STRATEGIES 1999), pages 73--83, Trento, Italy, July 5 1999. (bib).

1998

Journal Articles


[101]  E. Visser. Polymorphic Syntax Definition. Theoretical Computer Science, 199:57--86, 1998. (doi, ps, bib).

In Proceedings


[102]  E. Visser and Z.-e.-A. Benaissa. A Core Language for Rewriting. In C. Kirchner and H. Kirchner, editors, Second International Workshop on Rewriting Logic and its Applications (WRLA 1998), volume 15 of Electronic Notes in Theoretical Computer Science, Pont-à-Mousson, France, September 1998. Elsevier Science Publishers. (doi, ps, bib).

[103]  E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building Program Optimizers with Rewriting Strategies. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP 1998), pages 13--26. ACM Press, September 1998. (doi, ps, bib).

1997

Book Chapters


[104]  E. Visser. From Context-free Grammars with Priorities to Character Class Grammars. In Liber Amicorum Paul Klint. CWI, Amsterdam, November 1997. (ps, bib).

In Proceedings


[105]  B. Luttik and E. Visser. Specification of Rewriting Strategies. In M. P. A. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997), Electronic Workshops in Computing, Berlin, November 1997. Springer-Verlag. (ps, bib).

[106]  E. Visser. A Case Study in Optimizing Parsing Schemata by Disambiguation Filters. In International Workshop on Parsing Technology (IWPT 1997), pages 210--224, Boston, USA, September 1997. Massachusetts Institute of Technology. (ps, bib).

Theses


[107]  E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997. (ps, bib).

Technical Reports


[108]  E. Visser. Character Classes. Technical Report P9708, Programming Research Group, University of Amsterdam, August 1997. (ps, bib).

[109]  E. Visser. A Family of Syntax Definition Formalisms. Technical Report P9706, Programming Research Group, University of Amsterdam, July 1997. (ps, bib).

[110]  E. Visser. Scannerless Generalized-LR Parsing. Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. (ps, bib).

1995

In Proceedings


[111]  E. Visser. Polymorphic Syntax Definition (Extended Abstract). In A. Nijholt, G. Scollo, and R. Steetskamp, editors, Algebraic Methods in Language Processing (AMILP 1995), volume 10 of Twente Workshops in Language Technology, pages 43--54, Enschede, The Netherlands, December 1995. Twente University of Technology. (ps, bib).

[112]  E. Visser. A Family of Syntax Definition Formalisms. In M. G. J. Brandvan den Brand et al., editors, ASF+SDF 1995. A Workshop on Generating Tools from Algebraic Specifications, pages 89--126. Technical Report P9504, Programming Research Group, University of Amsterdam, May 1995. (ps, bib).

[113]  E. Visser. A Case Study in Optimizing Parsing Schemata by Disambiguation Filters. In S. Fischer and M. Trautwein, editors, Proceedings Accolade95, pages 153--167, Amsterdam, September 1995. The Dutch Graduate School in Logic. (bib).

1994

In Proceedings


[114]  P. Klint and E. Visser. Using Filters for the Disambiguation of Context-free Grammars. In G. Pighizzini and P. San Pietro, editors, Proc. ASMICS Workshop on Parsing Theory, pages 1--20, Milano, Italy, October 1994. Tech. Rep. 126--1994, Dipartimento di Scienze dell'Informazione, Università di Milano. (ps, bib).

Technical Reports


[115]  M. G. J. Brandvan den Brand and E. Visser. From Box to TeX: An algebraic approach to the generation of documentation tools. Technical Report P9420, Programming Research Group, University of Amsterdam, July 1994. (ps, bib).

This bibliography was generated using the Stratego/XT bibtex-tools.
This document was translated from LATEX by HEVEA.