Skip to topic | Skip to bottom


Home

EelcoVisser
EelcoVisser.PublicationsByTyper1.3 - 10 Jun 2008 - 20:19 - EelcoVisser

Start of topic | Skip to actions
Publications by year | type | year and type | type and year | alphabetically | researchr | wiki | dblp | citeseer | google | acm | tud | metrics

Also available in pdf and bibtex.

Books and Book Chapters


[1]  M. G. J. van den Brand, A. van Deursen, T. B. Dinesh, J. F. T. Kamperman, and E. Visser, editors. Proceedings of the Workshop on Generating Tools from Algebraic Specifications (ASF+SDF 1995). Technical Report P9504, Programming Research Group, University of Amsterdam, May 1995. (bib).

[2]  B. Fischer and E. Visser, editors. Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming (RULE 2002), Pittsburgh, Pennsylvania, USA, October 5, 2002. Association for Computing Machinery. (pdf, bib).

[3]  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).

[4]  K. T. Kalleberg and E. Visser, editors. Proceedings of the Sixth Stratego Users Day. Institute for Information and Computing Sciences, Utrecht University, May 2005. Technical Report UU-CS-2005-053 (bib).

[5]  G. Karsai and E. Visser, editors. Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE 2004), volume 3286 of Lecture Notes in Computer Science, Vancouver, Canada, October 2004. Springer. (springer, website, bib).

[6]  G. Ramalingam and E. Visser, editors. Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, Nice, France, January 2007. ACM. (acm, www, dlbp, bib).

[7]  E. Visser. Multi-Level Specifications. In A. van Deursen, J. Heering, and P. Klint, editors, Language Prototyping. An Algebraic Specification Approach, volume 5 of AMAST Series in Computing, pages 105--196. World Scientific, Singapore, September 1996. (ps, bib).

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

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

[10]  E. Visser, editor. Proceedings of the Second Stratego Users Day (SUD 2001), Utrecht, The Netherlands, February 2001. Institute for Information and Computing Sciences, Utrecht University. (pdf, ps, bib).

[11]  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).

Journal Articles


[12]  M. G. J. van den Brand and E. Visser. Generation of Formatters for Context-free Languages. ACM Transactions on Software Engineering and Methodology, 5(1):1--41, January 1996. (doi, ps, bib).

[13]  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).

[14]  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).

[15]  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).

[16]  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).

[17]  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).

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

[19]  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


[20]  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).

[21]  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).

[22]  M. G. J. van 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).

[23]  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).

[24]  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).

[25]  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).

[26]  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).

[27]  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).

[28]  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).

[29]  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).

[30]  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).

[31]  G. de Geest, S. D. Vermolen, A. van Deursen, and E. Visser. Generating Version Convertors for Domain-Specific Languages. In A. Zaidman, M. D. Penta, and A. Hassan, editors, Proceedings 15th Working Conference on Reverse Engineering (WCRE 2008), pages 197--201. IEEE Press, October 2008. (wcre, bib).

[32]  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).

[33]  E. Dolstra, M. Bravenboer, and E. Visser. Service Configuration Management. In J. E. James Whitehead and A. P. Dahlqvist, editors, 12th International Workshop on Software Configuration Management (SCM-12), pages 83--98, Lisbon, Portugal, September 2005. ACM. (pdf, tr, scm, bib).

[34]  E. Dolstra, M. de Jonge, and E. Visser. Nix: A Safe and Policy-Free System for Software Deployment. In L. Damon, editor, 18th Large Installation System Administration Conference (LISA 2004), pages 79--92, Atlanta, Georgia, USA, November 2004. USENIX. (pdf, lisa, bib).

[35]  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).

[36]  E. Dolstra and E. Visser. The Nix Build Farm: A Declarative Approach to Continuous Integration. In International Workshop on Advanced Software Development Tools and Techniques (WASDETT 2008), July 2008. (wasdett, bib).

[37]  E. Dolstra, E. Visser, and M. de Jonge. Imposing a Memory Management Discipline on Software Deployment. In J. Estublier and D. Rosenblum, editors, 26th International Conference on Software Engineering (ICSE 2004), pages 583--592, Edinburgh, Scotland, May 2004. IEEE Computer Society. (info, pdf, bib).

[38]  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).

[39]  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).

[40]  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).

[41]  D. M. Groenewegen, Z. Hemel, L. C. L. Kats, and E. Visser. When Frameworks Let You Down. Platform-Imposed Constraints on the Design and Evolution of Domain-Specific Languages. In J. Gray, J. Sprinkle, J.-P. Tolvanen, and M. Rossi, editors, Proceedings of the 8th OOPSLA Workshop on Domain Specific Modelling (DSM'08), pages 64--66, Nashville, Tennessee, USA, October 2008. (dsm, bib).

[42]  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).

[43]  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).

[44]  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).

[45]  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).

[46]  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).

[47]  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).

[48]  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).

[49]  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).

[50]  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).

[51]  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).

[52]  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).

[53]  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).

[54]  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).

[55]  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).

[56]  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).

[57]  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).

[58]  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).

[59]  A. M. Sloane, L. C. L. Kats, and E. Visser. A Pure Object-Oriented Embedding of Attribute Grammars. 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. (to appear) (bib).

[60]  S. van der Burg, E. Dolstra, and E. Visser. Software Deployment in a Dynamic Cloud: From Device to Service Orientation in a Hospital Environment. In K. Bhattacharya, M. Bichler, and S. Tai, editors, Workshop on Software Engineering Challenges of Cloud Computing (ICSE-Cloud'09), Vancouver, Canada, May 2009. (icsecloud, bib).

[61]  A. van Deursen and E. Visser. The Reengineering Wiki. In Proceedings 6th European Conference on Software Maintenance and Reengineering (CSMR 2002)., pages 217--220. IEEE Computer Society, 2002. (info, pdf, bib).

[62]  A. van Deursen, E. Visser, and J. Warmer. Model-Driven Software Evolution: A Research Agenda. In D. Tamzalit, editor, CSMR Workshop on Model-Driven Software Evolution (MoDSE? 2007), pages 41--49, Amsterdam, The Netherlands, March 2007. (pdf, bib).

[63]  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).

[64]  E. Visser. A Family of Syntax Definition Formalisms. In M. G. J. van 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).

[65]  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).

[66]  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).

[67]  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).

[68]  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).

[69]  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).

[70]  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).

[71]  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).

[72]  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).

[73]  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).

[74]  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).

Theses


[75]  E. Visser. Combinatory Algebraic Specification & Compilation of List Matching. Master's thesis, Department of Computer Science, University of Amsterdam, Amsterdam, June 1993. (ps, bib).

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

Tool Descriptions


[77]  M. G. J. van den Brand, J. Heering, H. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P. Olivier, J. Scheerder, J. Vinju, E. Visser, and J. Visser. The Asf+Sdf Meta-Environment: a component-based language laboratory. In R. Wilhelm, editor, Compiler Construction (CC 2001), volume 2027 of Lecture Notes in Computer Science, pages 365--368, Genova, Italy, April 2001. Springer-Verlag. (pdf, ps, pdf, bib).

[78]  M. G. J. van den Brand and E. Visser. The ASF+SDF Meta-environment: Documentation Tools for Free! In P. D. Mosses, M. Nielsen, and M. I. Schwartzbach, editors, Theory and Practice of Software Development (TAPSOFT 1995), volume 915 of Lecture Notes in Computer Science, pages 803--804, Aarhus, Denmark, May 1995. Springer-Verlag. Tool demonstration (ps, bib).

[79]  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).

[80]  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).

[81]  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).

Position Papers


[82]  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).

[83]  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).

[84]  E. Dolstra, G. Florijn, M. de Jonge, and E. Visser. Capturing Timeline Variability with Transparent Configuration Environments. In J. Bosch and P. Knauber, editors, IEEE Workshop on Software Variability Management (SVM 2003), Portland, Oregon, May 2003. IEEE. (pdf, info, bib).

[85]  E. Dolstra, G. Florijn, and E. Visser. Timeline Variability: The Variability of Binding Time of Variation Points. In Workshop on Software Variability Modeling (SVM 2003), number IWI preprint 2003-7-01, Groningen, The Netherlands, 2003. Reseach Institute of Computer Science and Mathematics, University of Groningen. (info, pdf, bib).

[86]  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).

Non-refereed Journal Articles


[87]  E. Dolstra, G. Florijn, M. de Jonge, and E. Visser. Transparantie in variabiliteit: Heldere keuzes in een eenduidige configuratieomgeving. Informatie, 46(1):18--21, Feb. 2004. (pdf, bib).

Technical Reports


[88]  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).

[89]  M. G. J. van 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).

[90]  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).

[91]  M. de Jonge, E. Visser, and J. Visser. Collaborative Software Development. Technical Report SEN-R0113, CWI, Amsterdam, The Netherlands, 2001. (ps, 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).

[93]  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).

[94]  E. Visser. Solving Type Equations in Multi-Level Specifications (preliminary version). Technical Report P9606, Programming Research Group, University of Amsterdam, Amsterdam, May 1996. (ps, bib).

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

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

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

[98]  J. van 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).

Documentation


[99]  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).

[100]  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).

Unpublished Documents


[101]  E. Visser. Syntax and Static Semantics of Eiffel. A Case Study in Algebraic Specification Techniques. Unpublished technical report (ps, bib), December 1992.

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



Edit | Attach | Printable | Raw | More topic actions
Revisions: | r1.3 | > | r1.2 | > | r1.1 | Page history | Backlinks
You are here: EelcoVisser > PublicationsByYear > PublicationsByYearAndType > PublicationsByType

to top

Copyright © 2003-2012, Software Engineering Research Group, Delft University of Technology, The Netherlands