Skip to topic | Skip to bottom


Home

EelcoVisser
Home

Bookmark and Share



EelcoVisser.PublicationsByYearr1.19 - 10 Jun 2008 - 20:19 - EelcoVisser

Start of topic | Skip to actions

Publications by Year

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.

2009


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

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

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

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

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

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

2008


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2007


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

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

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

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

2006


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

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

2005


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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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

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

2003


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

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

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

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

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

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

2002


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

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

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

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

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

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

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

2001


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

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

[68]  M. de Jonge, E. Visser, and J. Visser. Collaborative Software Development. Technical Report SEN-R0113, CWI, Amsterdam, The Netherlands, 2001. (ps, bib).

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

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

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

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

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

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

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

2000


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

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

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

1999


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

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


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

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

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


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

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

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

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

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

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

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

1996


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

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

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

1995


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

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

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

1994


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

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

1993


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

1992


[100]  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.19 | > | r1.18 | > | r1.17 | Page history | Backlinks
Visser.PublicationsByYear moved from Visser.Publications on 21 May 2003 - 22:54 by EelcoVisser
You are here: EelcoVisser > PublicationsByYear

to top

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