Also available in pdf and bibtex.

2005

Journal Articles

  1. M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae, 2005. (Conditionally accepted) (pdf, bib).

  2. E. Visser. A Survey of Strategies in Rule-Based Program Transformation Systems. Journal of Symbolic Computation, 2005. (To appear) (info, pdf, jsc, bib).

In Proceedings

  1. R. Guerra, J. Jeuring, and D. Swierstra. Generic validation in an XPath-Haskell data binding. In Proceedings of PLAN-X 2005, 2005. (bib).

  2. B. Heeren and J. Hage. Type Class Directives. In Seventh International Symposium on Practical Aspects of Declarative Languages, pages 253 -- 267, Berlin, 2005. Springer Verlag. (bib).

  3. 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'05). Springer-Verlag, April 2005. (Accepted for publication) (info, pdf, bib).

2004

Books

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

Phd Theses

  1. A. Löh. Exploring Generic Haskell. PhD thesis, Utrecht University, Sept. 2004. (pdf, bib).

Book Chapters

  1. 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. (pdf, info, springer, bib).

  2. 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. (pdf, info, springer, bib).

Journal Articles

  1. A. I. Baars, A. Löh, and S. D. Swierstra. Parsing Permutation Phrases. Journal of Functional Programming, 14(6):635--646, 2004. (bib).

  2. J. Hage and T. Harju. A characterization of acyclic switching classes using forbidden subgraphs. SIAM Journal on Discrete Mathematics, 18(1):159 -- 176, 2004. (bib).

  3. B. Heeren and D. Leijen. Gebruiksvriendelijke compiler voor het onderwijs. Informatie, 46(8):46 -- 50, Oktober 2004. (bib).

  4. R. Hinze, J. Jeuring, and A. Löh. Type-indexed data types. Science of Computer Programming, 51(1-2):117--151, 2004. (bib).

  5. L. Meertens. Calculating the Sieve of Eratosthenes. Journal of Functional Programming, 14(6):759--763, 2004. (bib).

In Proceedings

  1. F. Atanassow, D. Clarke, and J. Jeuring. UUXML: A Type-Preserving XML Schema--Haskell Data Binding. In B. Jayaraman, editor, Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 2004, Proceedings, number 3057 in LNCS, pages 71--85, Berlin Heidelberg, June 2004. Springer--Verlag. (pdf, bib).

  2. F. Atanassow and J. Jeuring. Inferring Type Isomorphisms Generically. In D. Kozen, editor, Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC'04, volume 3125 of LNCS, pages 32--53. Springer-Verlag, 2004. (bib).

  3. F. Atanassow and J. Jeuring. Inferring Type Isomorphisms Generically. In D. Kozen, editor, Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 2004, Proceedings, number 3125 in LNCS, pages 32--53, Berlin Heidelberg, July 2004. Springer--Verlag. (pdf, bib).

  4. A. I. Baars and S. D. Swierstra. Type-safe, self inspecting code. In Proceedings of the ACM SIGPLAN workshop on Haskell, pages 69--79. ACM Press, 2004. (pdf, bib).

  5. 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'04), pages 365--383, Vancouver, Canada, October 2004. ACM Press. (acm, info, pdf, bib).

  6. 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 '04), pages 79--92, Atlanta, Georgia, USA, November 2004. USENIX. (lisa, bib).

  7. 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'04), pages 583--592, Edinburgh, Scotland, May 2004. IEEE Computer Society. (info, pdf, bib).

  8. A. Ehrenfeucht, J. Hage, T. Harju, and G. Rozenberg. Embedding in Switching Classes with Skew Gains. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors, Graph Transformations, Second International Conference, ICGT 2004, volume LNCS 3256, pages 257 -- 270. Springer Verlag, September/October 2004. Same as technical report UU-CS-2004-023 (bib).

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

  10. H. Passier and J. Jeuring. Ontology based feedback generation in design-oriented e-Learning systems. In P. Isaias, P. Kommers, and M. McPherson, editors, Proceedings of the IADIS International conference, e-Society, volume II, pages 992--996, 2004. (bib).

  11. T. E. J. Vos and S. D. Swierstra. Facilitating the Verification of Diffusing Computations and Their Applications. In M. Solar, D. Fern‡ndez-Baca, and E. Cuadros-Vargas, editors, 30ma Conferencia Latinoamericana de Inform‡tica (CLEI2004), pages 42--53. Sociedad Peruana de Computaci—n, Sept. 2004. ISBN 9972-9876-2-0 (pdf, bib).

Non-refereed Journal Articles

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

Position Papers

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

Technical Reports

  1. A. Dijkstra and S. D. Swierstra. Typing Haskell with an Attribute Grammar. UU-CS 2004-0037, 2004. Lecture Notes of the summer school on Advanced Functional Programming 2005 (AFP05) (pdf, bib).

  2. A. Dijkstra and S. D. Swierstra. Explicit Implicit Parameters. UU-CS 2004-059, 2004. submitted for publication (pdf, bib).

  3. B. Heeren and J. Hage. A first attempt at type class directives. Technical Report UU-CS-2002-031, Institute of Information and Computing Science, University Utrecht, Netherlands, September 2004. Technical Report (bib).

  4. L. Meertens and S. Fitzpatrick. The Distributed Construction of a Global Coordinate System in a Network of Static Computational Nodes from Inter-Node Distances. Kestrel Institute Technical Report KES.U.04.04, Kestrel Institute, Palo Alto, 2004. (bib).

  5. S. D. Swierstra. Linear, Online, Functional Pretty Printing (corrected and extended version. UU-CS 2004-025a, 2004. under consideration for JFP (pdf, bib).

2003

Books

  1. D. Clarke, editor. First International Workshop on Aliasing, Confinement and Ownershop in Object-Oriented Programming (IWACO), number UU-CS-2003-030. Utrecht University, July 2003. Workshop at ECOOP 2003 (bib).

  2. J. Gibbons and J. Jeuring, editors. Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002. Kluwer Academic Publishers, 2003. (bib).

  3. J. Jeuring, editor. Proceedings Haskell Workshop. HW'03. ACM Press, 2003. (bib).

  4. J. Jeuring and S. Peyton Jones, editors. Advanced Functional Programming, AFP'02, Advanced Lectures, volume 2638 of LNCS. Springer-Verlag, 2003. (bib).

Phd Theses

  1. D. Leijen. The l Abroad -- A Functional Approach to Software Components. PhD thesis, Utrecht University, Nov. 2003. (pdf, bib).

Book Chapters

  1. D. Clarke and A. Löh. Generic Haskell, Specifically. In J. Gibbons and J. Jeuring, editors, Generic Programming, IFIP, pages 21--47. Kluwer Academic Publishers, 2003. (bib).

  2. S. Fitzpatrick and L. Meertens. Distributed coordination through anarchic optimization. In V. Lesser, C. L. Ortiz, Jr., and M. Tambe, editors, Distributed Sensor Networks: A Multiagent Perspective, pages 257--295. Kluwer Academic Publishers, 2003. (bib).

Journal Articles

  1. F. Atanassow, D. Clarke, and J. Jeuring. Scripting XML in Generic Haskell. Journal of Universal Computer Science, 2003. to appear (bib).

  2. J. Hage. Enumerating submultisets of multisets. Inf. Proc. Letters, 85(4):221 -- 226, 2003. (bib).

  3. J. Hage, T. Harju, and E. Welzl. Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. Fundamenta Informaticae, 58(1):23--37, November 2003. (bib).

  4. R. Hinze, J. Jeuring, and A. Löh. Type-indexed data types. Science of Computer Programming, 51(1-2):117--151, 2004. (bib).

  5. J. Jeuring. Het ontwikkelen van XML-tools (The development of XML tools, in Dutch). IT Monitor, (8):4--7, September 2003. (bib).

In Proceedings

  1. F. Atanassow, D. Clarke, and J. Jeuring. Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003, 2003. An extended version of this paper appears as ICS, Utrecht University, technical report UU-CS-2003-023 (pdf, bib).

  2. 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'03), pages 65--74, Amsterdam, September 2003. IEEE Computer Society Press. (bib).

  3. D. Clarke, S. Drossopoulou, and J. Noble. International Workshop on Aliasing, Confinement, and Ownership in Object-Oriented Programming: Workshop Report. In European Conference on Object-Oriented Programming (ECOOP'03): Workshop Reader, LNCS, Darmstadt, Germany, July 2003. to appear (bib).

  4. D. Clarke, M. Richmond, and J. Noble. Saving the World from Bad Beans: Deployment-time Confinement Checking. In ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'03), Anaheim, California, USA, October 2003. (bib).

  5. D. Clarke and T. Wrigstad. External Uniqueness. In 10th Workshop on Foundations of Object-Oriented Languages (FOOL), New Orleans, LA, January 2003. (bib).

  6. D. Clarke and T. Wrigstad. External Uniqueness is Unique Enough. In L. Cardelli, editor, European Conference on Object-Oriented Programming (ECOOP'03), volume 2743 of LNCS, pages 176--200, Darmstadt, Germany, July 2003. (bib).

  7. E. Dolstra. Integrating Software Construction and Software Deployment. In B. Westfechtel, editor, 11th International Workshop on Software Configuration Management (SCM-11), volume 2649 of Lecture Notes in Computer Science, pages 102--117, Portland, Oregon, USA, May 2003. Springer-Verlag. (bib).

  8. 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'03), Portland, Oregon, USA, May 2003. IEEE. (bib).

  9. E. Dolstra, G. Florijn, and E. Visser. Timeline Variability: The Variability of Binding Time of Variation Points. In J. van Gurp and J. Bosch, editors, Workshop on Software Variability Modeling (SVM'03), number 2003-7-01 in IWI preprints, Groningen, The Netherlands, February 2003. Reseach Institute of Computer Science and Mathematics, University of Groningen. (bib).

  10. 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'03), number Report CW 365, pages 39--48, Uppsala, Sweden, August 2003. Department of Computer Science, K. U. Leuven. (info, bib).

  11. B. Heeren, J. Hage, and S. D. Swierstra. Constraint based type inferencing in Helium. In M.-C. Silaghi and M. Zanker, editors, Workshop Proceedings of Immediate Applications of Constraint Programming, pages 59 -- 80, Cork, September 2003. (bib).

  12. B. Heeren, J. Hage, and S. D. Swierstra. Scripting the type inference process. In Eighth ACM Sigplan International Conference on Functional Programming, pages 3 -- 13, New York, 2003. ACM Press. (bib).

  13. B. Heeren, D. Leijen, and A. van IJzendoorn. Helium, for Learning Haskell. In ACM Sigplan 2003 Haskell Workshop, pages 62 -- 71, New York, 2003. ACM Press. (bib).

  14. R. Hinze and J. Jeuring. Generic Haskell: applications. In Generic Programming, Advanced Lectures, volume 2793 of LNCS, pages 57--97. Springer-Verlag, 2003. (bib).

  15. R. Hinze and J. Jeuring. Generic Haskell: practice and theory. In Generic Programming, Advanced Lectures, volume 2793 of LNCS, pages 1--56. Springer-Verlag, 2003. (bib).

  16. R. Hughes and S. Swierstra. Polish Parsers, Step by Step. In Eighth ACM Sigplan International Conference on Functional Programming, pages 239--248, New York, August 2003. ACM Press. (pdf, bib).

  17. R. Lämmel, E. Visser, and J. Visser. Strategic Programming Meets Adaptive Programming. In Proceedings of Aspect-Oriented Software Development (AOSD'03), pages 168--177, Boston, USA, March 2003. ACM Press. (bib).

  18. A. Löh, D. Clarke, and J. Jeuring. Dependency-style Generic Haskell. In International Conference on Functional Programming (ICFP'03), Uppsala, Sweden, August 2003. (bib).

  19. J. Noble, R. Biddle, E. Tempero, A. Potanin, and D. Clarke. Towards a Model of Encapsulation. In International Workshop on Aliasing, Confinement, and Ownership (IWACO), Darmstadt, Germany, July 2003. (bib).

  20. 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'03), pages 141--150, Amsterdam, The Netherlands, September 2003. IEEE Computer Society Press. (ieee, info, tr, pdf, bib).

  21. I. Prasetya, T. Vos, A. Azurat, and S. Swierstra. !UNITY: A HOL Theory of General UNITY. In D. Basin and B. Wolff, editors, Emerging Trends Proceedings of 16th International Conference, Theorem Proving in Higher Order Logics (TPHOL), pages 159--176, 2003. Also available as tech. report No. 187 of Inst. fur Inf., Albert-Ludwig-Univ. Freiburg. Available on-line at http://www.informatik.uni-freiburg.de/tr. (info, pdf, bib).

  22. I. Prasetya, T. Vos, S. Swierstra, and B. Widjaja. A Theory for Composing Distributed Components Based on Temporary Interface. In 3rd International Workshop on Composition Languages, 2003. Available on-line at www.cs.iastate.edu/ lumpe/WCL2003. (bib).

  23. I. Prasetya, T. Vos, S. Swierstra, and B. Widjaja. A Theory for Composing Distributed Components Based on Temporary Interface. In H. D. Van and Z. Liu, editors, Proceedings of the Workshop on Formal Aspects of Component Software (FACS), 2003. Also as UNU/IIST Report no. 284. Available on-line at www.iist.unu.edu/newrh/III/1/page.html. (info, bib).

Position Papers

  1. 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'03), Portland, Oregon, USA, May 2003. IEEE. (bib).

  2. E. Dolstra, G. Florijn, and E. Visser. Timeline Variability: The Variability of Binding Time of Variation Points. In J. van Gurp and J. Bosch, editors, Workshop on Software Variability Modeling (SVM'03), number 2003-7-01 in IWI preprints, Groningen, The Netherlands, February 2003. Reseach Institute of Computer Science and Mathematics, University of Groningen. (bib).

Technical Reports

  1. F. Atanassow, D. Clarke, and J. Jeuring. Scripting XML with Generic Haskell. Technical Report UU-CS-2003-023, Utrecht University, 2003. (pdf, ps, bib).

  2. J. Fokker. Imperatief programmeren. Technical Report edu-450, Institute of Information and Computing Sciences, Utrecht University, 2003. (info, bib).

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

  4. 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

Books

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

  2. I. Prasetya, T. Vos, and S. Swierstra. Introduction to Correctness Approach in Programming, Lecture Notes. Universiteit Utrecht, Instituut Informatica en Informatiekunde, 2002. Website is in dutch (info, pdf, bib).

  3. P. van Oostrum. Collegedictaat Systeemarchitectuur. Universiteit Utrecht, Instituut voor Informatica en Informatiekunde, dec 2002. (bib).

Book Chapters

  1. D. Clarke and A. Löh. Generic Haskell, Specifically. In IFIP WG2.1 Working Conference on Generic Programming, pages 21--47. Dagstuhl, Germany, July 2002. (bib).

Journal Articles

  1. R. Hinze. Functional Pearl: A fresh look at binary search trees. Journal of Functional Programming, 2002. In press (bib).

  2. R. Hinze. Functional Pearl: Formatting: a class act. Journal of Functional Programming, 2002. In press (bib).

  3. R. Hinze. Polytypic values possess polykinded types. Science of Computer Programming, Special issue on Mathematics of Program Construction, 2002. In press (bib).

  4. P. Jansson and J. Jeuring. Polytypic Data Conversion Programs. Science of Computer Programming, 43(1):35--75, 2002. (bib).

  5. I. Prasetya, A. Azurat, and S. Swierstra. Embedding Programming Logics in HOL Theorem Prover. Jurnal Ilmu Komputer dan Teknologi Informasi, 2(1), 2002. (info, bib).

  6. I. Prasetya and S. Swierstra. Factorizing Fault Tolerance. Journal of Theoretical Computer Science, Special Edition on Dependable Computing, 290(2):1201--1222, october 2002. (bib).

In Proceedings

  1. A. I. Baars and S. D. Swierstra. Typing dynamic typing. In S. Peyton Jones, editor, Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, pages 157--166. ACM Press, 2002. (bib).

  2. 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'02), volume 2304 of Lecture Notes in Computer Science, pages 143--158, Grenoble, France, April 2002. Springer-Verlag. (pdf, psgz, bib).

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

  4. D. Clarke and S. Drossopolou. Ownership, Encapsulation and the Disjointness of Type and Effect. In ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'02), Seattle, USA, November 2002. (bib).

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

  6. E. Dolstra and E. Visser. Building Interpreters with Rewriting Strategies. In M. van den Brand and R. Lämmel, editors, Workshop on Language Descriptions, Tools and Applications (LDTA'02), volume 65/3 of Electronic Notes in Theoretical Computer Science, Grenoble, France, April 2002. Elsevier Science Publishers. (bib).

  7. S. Fitzpatrick and L. Meertens. Scalable, anytime constraint optimization through iterated, peer-to-peer interaction in sparsely-connected networks. In H. Ehrig, B. Kramer, and A. Ertas, editors, Proc. Sixth Biennial World Conf. on Integrated Design & Process Technology (IDPT 2002). Society for Design and Process Science, 2002. (bib).

  8. S. Fitzpatrick and L. Meertens. Experiments on dense graphs with a stochastic, peer-to-peer colorer. In C. Gomes and T. Walsh, editors, Probabilistic Approaches in Search, Workshop at Eighteenth National Conf. on Artificial Intelligence (AAAI 2002), pages 24--28. AAAI Press, 2002. (bib).

  9. J. Hage, T. Harju, and E. Welzl. Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Transformation, First Int. Conf, ICGT 2002, volume 2505 of Lecture Notes in Computer Science, pages 48--60, Berlin, 2002. Springer Verlag. (bib).

  10. R. Hinze, J. Jeuring, and A. Löh. Type-indexed data types. In Proceedings of the 6th International Conference on Mathematics of Program Construction, MPC'02, volume 2386 of LNCS, pages 148--174. Springer-Verlag, 2002. Also appeared as ICS, Utrecht University, technical report UU-CS-2002-11 (bib).

  11. L. Meertens and S. Fitzpatrick. Asynchronous execution and communication latency in distributed constraint optimization. In M. Yokoo, editor, Proc. Third International Workshop on Distributed Constraint Reasoning, First International Joint Conf. on Autonomous Agents & Multiagent Systems (AAMAS 2002), pages 80--85, 2002. (bib).

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

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

  14. T. Vos, S. Swierstra, and I. Prasetya. Yet Another Program Refinement Relation. In International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, 2002. (info, bib).

Technical Reports

  1. A. Azurat and I. Prasetya. A Preliminary Report on xMECH. Technical Report UU-CS-2002-008, Inst. of Information and Comp. Science, Utrecht Univ., 2002. Download: www.cs.uu.nl/staff/wishnu.html. (pdf, bib).

  2. A. Azurat and I. Prasetya. A Survey on Embedding Programming Logics in a Theorem Prover. Technical Report UU-CS-2002-007, Inst. of Information and Comp. Science, Utrecht Univ., 2002. Download: www.cs.uu.nl/staff/wishnu.html. (pdf, bib).

  3. D. Clarke, J. Jeuring, and A. Löh. The Generic Haskell User's Guide (Beryl Release). Technical Report UU-CS-2002-047, Utrecht University, July 2002. (bib).

  4. B. Heeren and J. Hage. Parametric Type Inferencing for Helium. Technical Report UU-CS-2002-035, Institute of Information and Computing Science, University Utrecht, Netherlands, August 2002. Technical Report (bib).

  5. B. Heeren, J. Hage, and D. Swierstra. Generalizing Hindley-Milner Type Inference Algorithms. Technical Report UU-CS-2002-031, Institute of Information and Computing Science, University Utrecht, Netherlands, July 2002. Technical Report (bib).

  6. B. Heeren, J. Hage, and S. Swierstra. Generalizing Hindley-Milner Type Inference Algorithms. UU-CS 2002-31, Department of Computer Science, Utrecht University, 2002. (bib).

  7. B. Heeren, J. Jeuring, S. D. Swierstra, and P. A. Alcocer. Improving type-error messages in functional languages. Technical Report UU-CS-2002-009, Institute of Information and Computing Science, University Utrecht, Netherlands, February 2002. Technical Report (bib).

  8. M. Schrage, J. Jeuring, and S. Swierstra. Combinators for layered software architectures. UU-CS 2002-30, 2002. (bib).

2001

Books

  1. A. Dijkstra and D. Swierstra. Implementation of Programming Languages, Lecture Notes. Utrecht University, Institute of Information and Computing Sciences, 2001. (bib).

  2. R. Hinze, editor. Proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001), 2nd September 2001, Firenze, Italy., Electronic Notes in Theoretical Computer Science, Vol 59. Utrecht University, 2001. UU-CS-2001-23 (bib).

  3. E. Visser, editor. Proceedings of the Second Stratego Users Day (SUD'01), Utrecht, The Netherlands, February 2001. Institute for Information and Computing Sciences, Utrecht University. (pdf, psgz, bib).

Phd Theses

  1. D. Clarke. Object Ownership and Containment. PhD thesis, University of New South Wales, July 2001. (bib).

  2. J. Hage. Structural Aspects Of Switching Classes. PhD thesis, Leiden Institute of Advanced Computer Science, 2001. http://www.cs.uu.nl/people/jur/2s.html (bib).

Journal Articles

  1. L. Bijlsma. Model-based specification. Information Processing Letters, 77:77--84, 2001. (bib).

  2. R. Hinze and J. Jeuring. Functional Pearl: Weaving a Web. 11(6):681--689, 2001. (bib).

  3. I. Prasetya, A. Azurat, and S. Swierstra. Sebuah Framework untuk Mekanisasi Multi Logika. Jurnal Ilmu Komputer dan Teknologi Informasi, 1(2), 2001. (info, bib).

  4. I. Prasetya, S. Swierstra, and B. Widjaja. Teori Komposisi Komponen. Jurnal Ilmu Komputer dan Teknologi Informasi, 1(1), 2001. (info, bib).

  5. A. van IJzendoorn. Extreme Programming. TINFON, 10(2):48--50, August 2001. (bib).

In Proceedings

  1. A. Baars, A. Löh, and S. Swierstra. Parsing Permutation Phrases. In R. Hinze, editor, Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, pages 171--182. Elsevier, 2001. (bib).

  2. A. I. Baars, A. Löh, and S. D. Swierstra. Parsing permutation phrases. In Proceedings of the 2001 ACM SIGPLAN Workshop, volume 59 of Eletronic Notes in Theoretical Computer Science. ACM Press, 2001. Also appeared in the preliminary proceedings, Technical Report of Universiteit Utrecht, UU-CS-2001-23 (bib).

  3. 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'01), volume 2027 of Lecture Notes in Computer Science, pages 365--368, Genova, Italy, April 2001. Springer-Verlag. (pdf, psgz, pdf, bib).

  4. D. Clarke. On Deleting Aggregate Objects. In SPACE'01, London, January 2001. Informal Proceedings (bib).

  5. D. Clarke. An Object Calculus with Ownership and Containment. In Foundations of Object-oriented Programming (FOOL8), London, January 2001. (bib).

  6. D. Clarke, J. Noble, and J. Potter. Simple ownership types for Object containment. In European Conference on Object-Oriented Programming (ECOOP'01), Budapest, Hungary, 2001. (bib).

  7. V. Costas and S. Swierstra. Generador de Parsers Basado en Combinadores. In J. M. C. and C. Isabel Besembel, editors, XXVII Conferencia Latinoamericana de INFORMATICA (CLEI 2001), page 120, 2001. (bib).

  8. A. Dijkstra and D. Swierstra. Lazy Functional Parser Combinators in Java. In Proceedings of 1st Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL), pages 11--42. John von Neumann Institute for Computing, 2001. (bib).

  9. E. Dolstra. Functional Stratego. In E. Visser, editor, Second Stratego Users Day, Utrecht, The Netherlands, February 2001. (bib).

  10. S. Fitzpatrick and L. Meertens. An experimental assessment of a stochastic, anytime, decentralized soft colourer for sparse graphs. In K. Steinhoefel, editor, Stochastic Algorithms: Foundations and Applications, Proc. SAGA 2001, LNCS 2264, pages 49--64, 2001. (bib).

  11. R. Hinze. A Simple Implementation Technique for Priority Search Queues. In X. Leroy, editor, Proceedings of the International Conference on Functional Programming, Firenze, Italy, September 3-5, 2001, 2001. (bib).

  12. 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'01), volume 57 of Electronic Notes in Theoretical Computer Science, Utrecht, The Netherlands, May 2001. Elsevier Science Publishers. (pdf, psgz, bib).

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

  14. E. Meijer, N. Perry, and A. van IJzendoorn. Scripting .NET Using Mondrian. In Object-Oriented Programming (ECOOP 2001), volume 2072 of LNCS, pages 150--, June 2001. (bib).

  15. D. Swierstra. Combinator Parsers: From Toys to Tools. In G. Hutton, editor, Electronic Notes in Theoretical Computer Science, volume 41. Elsevier Science Publishers, 2001. (bib).

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

  17. 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'01), volume 57 of Electronic Notes in Theoretical Computer Science, Utrecht, The Netherlands, May 2001. Elsevier Science Publishers. (pdf, psgz, bib).

  18. 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'01), volume 2051 of Lecture Notes in Computer Science, pages 357--361. Springer-Verlag, May 2001. (pdf, psgz, springer, bib).

Master's Theses

  1. E. Dolstra. First Class Rules and Generic Traversals for Program Transformation Languages. Master's thesis, Institute of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, August 2001. INF-SCR-01-01 (bib).

Technical Reports

  1. O. S. Bagge, M. Haveraaen, and E. Visser. CodeBoost: A Framework for the Transformation of C++ Programs. Technical Report UU-CS-2001-32, Institute of Information and Computing Sciences, Utrecht University, 2001. (psgz, bib).

  2. 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, bib).

  3. D. Clarke, R. Hinze, J. Jeuring, A. Löh, and J. de Wit. The Generic Haskell User's Guide (Amber Release). Technical Report UU-CS-2001-026, Utrecht University, November 2001. (bib).

  4. 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. (bib).

  5. S. Fitzpatrick and L. Meertens. Soft, Real-Time, Distributed Graph Coloring using Decentralized, Synchronous, Stochastic, Iterative-Repair, Anytime Algorithms --- A Framework. Kestrel Institute Technical Report KES.U.01.05, Kestrel Institute, Palo Alto, 2001. (bib).

  6. S. Fitzpatrick and L. Meertens. Peer-to-Peer Coordination of Autonomous Sensors in High-Latency Networks using Distributed Scheduling and Data Fusion. Kestrel Institute Technical Report KES.U.01.09, Kestrel Institute, Palo Alto, 2001. (bib).

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

  8. D. Leijen and E. Meijer. Parsec: Direct Style Monadic Parser Combinators for the Real World. Technical Report UU-CS-2001-27, Department of Computer Science, Universiteit Utrecht, 2001. (bib).

2000

Books

  1. J. Jeuring, editor. Workshop on Generic Programming. Utrecht University, 2000. Technical report UU-CS-2000-19 (bib).

  2. J. Jeuring, C. Lengauer, and M. Sheeran, editors. Special issue of Science of Computer Programming on Mathematics of Program Construction, volume 37. Elsevier Science, 2000. (bib).

Book Chapters

  1. P. van Oostrum. Gedistribueerde Systemen en Netwerken. In P. van Oostrum and D. Thierens, editors, Nieuwe ontwikkelingen in hardware en software. Universiteit Utrecht, NW&I, 2000. (bib).

Journal Articles

  1. A. Ehrenfeucht, J. Hage, T. Harju, and G. Rozenberg. Pancyclicity in Switching Classes. Inf. Proc. Letters, 73(5--6):153 -- 156, 2000. (bib).

  2. J. Hage and T. Harju. The size of switching classes with skew gains. Discrete Math., 215:81 -- 92, 2000. (bib).

  3. 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, 2000. (psgz, bib).

  4. K. B. Oege de Moor and S. D. Swierstra. First Class Attribute Grammars. Informatica: An International Journal of Computing and Informatics, 24(2):329--341, June 2000. Special Issue: Attribute grammars and Their Applications (bib).

In Proceedings

  1. A. Ehrenfeucht, J. Hage, T. Harju, and G. Rozenberg. Complexity Issues in Switching of Graphs. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Theory And Application Of Graph Transformations - TAGT '98, volume 1764 of Lecture Notes in Computer Science, pages 59--70, Berlin, 2000. Springer Verlag. (bib).

  2. P. Jansson and J. Jeuring. A Framework for Polytypic Programming on Terms, with an Application to Rewriting. In Workshop on Generic Programming, 2000. Appeared in Utrecht University technical report UU-CS-2000-19 (bib).

  3. J. Saraiva, D. Swierstra, and M. Kuiper. Functional Incremental Attribute Evaluation. In David Watt, editor, 9th International Conference on Compiler Construction, CC/ETAPS2000, volume 1781 of LNCS, pages 279--294. Springer-Verlag, Mar. 2000. (bib).

  4. J. A. Saraiva and S. D. Swierstra. Generating Spreadheet-Like Tools from Strong Attribute Grammars. In F. Pfenning and Y. Smaragdakis, editors, Generative Programming and Component Engeneering, Second International Conference, GPCE 2003, number 2830 in LNCS, pages 307--223. Springer-Verlag, 2000. (pdf, bib).

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

Position Papers

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

Technical Reports

  1. J. Hage and T. Harju. A characterization of acyclic switching classes using forbidden subgraphs. Technical Report 5, Leiden University, Department of Computer Science, 2000. Old version in Technical report (bib).

  2. I. Prasetya and S. Swierstra. Formal design of self-stabilizing programs: Theory and examples. Technical Report UU-CS-2000-07, Inst. of Information and Comp. Science, Utrecht Univ., 2000. Download: www.cs.uu.nl/staff/wishnu.html. (pdf, bib).

  3. I. Prasetya, S. Swierstra, and B. Widjaja. Component-Wise Formal Approach to Design Distributed Systems. Technical Report UU-CS-2000-01, Inst. of Information and Comp. Science, Utrecht Univ., 2000. Download: www.cs.uu.nl/staff/wishnu.html (pdf, bib).

  4. T. Vos and S. Swierstra. Program refinement in UNITY. UU-CS 2000-41, 2000. (bib).

  5. T. Vos and S. Swierstra. Proving distributed hylomorphisms. UU-CS 2000-40, 2000. (bib).

  6. T. Vos and S. D. Swierstra. Defining a non-concrete recursive type in HOL which includes sets. UU-CS 2000-09, 2000. (bib).

  7. T. Vos and S. D. Swierstra. Sequential program Composition in UNITY. UU-CS 2000-10, 2000. (bib).

1999

Books

  1. D. Swierstra, P. Henriques, and J. Oliveira. Advanced Functional programming, Third International School, AFP'98. Number 1608 in LNCS. Springer, 1999. (bib).

  2. S. D. Swierstra, editor. ESOP99: European Symposium on Programming, volume 1576 of LNCS, 1999. (bib).

Book Chapters

  1. R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic Programming --- An Introduction. In Advanced Functional Programming, AFP'98, volume 1608 of LNCS, pages 28--115. Springer-Verlag, 1999. (bib).

Journal Articles

  1. J. Hage. The membership problem for switching classes with skew gains. Fundamenta Informaticae, 39(4):375--387, 1999. (bib).

  2. P. van Oostrum. Using Emacs and AucTeX for preparing LATEX documents. MAPS, 23:108--112, 1999. (pdf, bib).

In Proceedings

  1. R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic Programming --- An Introduction. In Advanced Functional Programming, AFP'98, volume 1608 of LNCS, pages 28--115. Springer-Verlag, 1999. (bib).

  2. A. Bleeker and L. Meertens. Knowledge in security protocols: an operational semantics for BAN logic. In C. Areces and M. de Rijke, editors, Workshop Proc. Methods for Modalities 1. ILLC, University of Amsterdam, 1999. (bib).

  3. D. Clarke, J. Noble, and J. Potter. Overcoming Representation Exposure. In Intercontinental Workshop on Aliasing in Object-Oriented Systems (IWAOOS), At European Conference on Object-Oriented Programming (ECOOP'99), Lisbon, Portugal, June 1999. (bib).

  4. S. Finne, D. Leijen, E. Meijer, and S. P. Jones. Calling Hell from Heaven and Heaven from Hell. In the International Conference on Functional Programming (ICFP), Paris, France, Sept. 1999. Also appeared in ACM SIGPLAN Notices 34, 9, (Sep. 1999) (info, pdf, bib).

  5. P. Jansson and J. Jeuring. Polytypic Compact Printing and Parsing. In S. D. Swierstra, editor, Proceedings of the 8th European Symposium on Programming, ESOP'99, volume 1576 of LNCS, pages 273--287. Springer-Verlag, 1999. (bib).

  6. J. Jeuring and S. D. Swierstra. Advanced programming concepts in a course on grammars and parsing. In M. Felleisen, M. Hanus, and S. Thompson, editors, Proceedings Workshop on Functional and Declarative Programming in Education, FDPE'99, pages 7--12, 1999. Rice COMP TR99-346 (bib).

  7. J. Jeuring and S. D. Swierstra. Advanced programming concepts in a course on grammars and parsing. In M. Felleisen, M. Hanus, and S. Thompson, editors, Proceedings Workshop on Functional and Declarative Programming in Education, FDPE'99, pages 7--12, 1999. Rice COMP TR99-346 (bib).

  8. D. Leijen and E. Meijer. Domain Specific Embedded Compilers. In Second USENIX Conference on Domain Specific Languages (DSL'99), pages 109--122, Austin, Texas, Oct. 1999. USENIX Association. Also appeared in ACM SIGPLAN Notices 35, 1, (Jan. 2000) (info, pdf, bib).

  9. D. Leijen, E. Meijer, and J. Hook. Haskell as an Automation Controller. In the 3rd International Summerschool on Advanced Functional Programming, volume 1608 of LNCS, pages 268--288, Braga, Portugal, Sept. 1999. Springer-Verlag. (info, pdf, bib).

  10. J. Noble, D. Clarke, and J. Potter. Object ownership for dynamic alias protection. In TOOLS Pacific, Melbourne, Australia, November 1999. (bib).

  11. M. M. Schrage, A. Dijksta, and S. D. Swierstra. SKIT, An Open Architecture for Courseware Authoring. In FIE 99, Frontiers in Education Conference. IEEE, 1999. (bib).

  12. S. D. Swierstra and P. R. Azero Alcocer. Fast, Error Correcting Parser Combinators: a Short Tutorial. In J. Pavelka, G. Tel, and M. Bartosek, editors, SOFSEM'99 Theory and Practice of Informatics, 26th Seminar on Current Trends in Theory and Practice of Informatics, volume 1725 of LNCS, pages 111--129, November 1999. (bib).

  13. S. D. Swierstra, P. R. Azero Alocer, and J. Saraiava. Designing and Implementing Combinator Languages. In D. Swierstra, P. Henriques, and J. Oliveira, editors, Advanced Functional Programming, Third International School, AFP'98, volume 1608 of LNCS, pages 150--206. Springer-Verlag, 1999. (bib).

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

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

Technical Reports

  1. D. Clarke, J. Noble, and J. Potter. Who's Afraid of Ownership Types? Technical report, Microsoft Research Institute, 1999. (bib).

  2. A. Dijkstra, M. Schrage, and D. Swierstra. SKIT, An Open Architecture for Courseware Authoring. UU-CS 1999-26, 1999. http://fairway.ecn.purdue.edu/ fie/fie99/pages/index.htm (bib).

1998

Books

  1. J. Jeuring, editor. Mathematics of Program Construction, volume 1422 of LNCS. Springer-Verlag, 1998. (bib).

Book Chapters

  1. S. D. Swierstra and P. Azero. Attribute Grammars in the Functional Style. In Proceedings of the SI2000. Chapman-Hall, 1998. (bib).

Journal Articles

  1. L. Bijlsma and R. Nederpelt. Dijkstra-Scholten predicate calculus: concepts and misconceptions. Acta Informatica, 35:1007--1036, 1998. (bib).

  2. J. Hage and T. Harju. Acyclicity of Switching Classes. European J. Combin., 19:321--327, 1998. (bib).

  3. P. Jansson and J. Jeuring. Functional Pearl: Polytypic Unification. Journal of Functional Programming, 8(5):527--536, September 1998. (bib).

  4. E. Visser. Polymorphic Syntax Definition. Theoretical Computer Science, 199:57--86, 1998. (psgz, bib).

In Proceedings

  1. A. Bijlsma. An application of program derivation techniques to 18th-century mathematics. In J. Jeuring, editor, Mathematics of Program Construction, number 1422 in Lecture Notes in Computer Science, pages 44--51, Berlin, 1998. Springer. (bib).

  2. R. Bird and L. Meertens. Nested datatypes. In J. Jeuring, editor, Mathematics of Program Construction, LNCS 1422, pages 52--67, 1998. (bib).

  3. D. Clarke, J. Potter, and J. Noble. Ownership Types for Flexible Alias Protection. In ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'98), Vancouver, Canada, October 1998. (bib).

  4. A. M. Cohen and L. Meertens. The Acela project: aims and plans. In N. Kajler, editor, Computer-Human Interaction in Symbolic Computation, Texts and Monographs in Symbolic Computation. Springer-Verlag, Wien, New-York, 1998. (bib).

  5. S. Finne, D. Leijen, E. Meijer, and S. P. Jones. H/Direct: A Binary Foreign Language Interface to Haskell. In the International Conference on Functional Programming (ICFP), Baltimore,USA, 1998. Also appeared in ACM SIGPLAN Notices 34, 1, (Jan. 1999) (info, pdf, bib).

  6. P. Jansson and J. Jeuring. PolyLib -- a polytypic function library. In Workshop on Generic Programming, Marstrand, June 1998. (bib).

  7. L. Meertens. Functor pulling. In R. Backhouse and T. Sheard, editors, Proc. Workshop on Generic Programming, 1998. (bib).

  8. E. Meijer, D. Leijen, and J. Hook. Client-side Web Scripting with HaskellScript. In Practical Aspects of Declarative Languages (PADL), volume 1551, pages 196--210, Berlin, 1998. Springer-Verlag. (info, pdf, bib).

  9. J. Noble, D. Clarke, and J. Potter. Dynamic Alias Protection in Prototype-based Languages. In Thinking with Prototypes Workshop at OOPSLA'98, Vancouver, Canada, October 1998. (bib).

  10. S. Peyton Jones, E. Meijer, and D. Leijen. Scripting COM components from Haskell. In Fifth International Conference on Software Reuse (ICSR'98), Victoria, B.C., Canada, June 1998. IEEE Computer Society Press. (info, pdf, bib).

  11. J. Potter, D. Clarke, and J. Noble. A Mode System for Flexible Alias Protection. In Formal Methods Pacific '98, Canberra, Australia, June 1998. (bib).

  12. J. Potter, J. Noble, and D. Clarke. The Ins and Outs of Objects. In Australian Software Engineering Conference, Adelaide, Australia, November 1998. IEEE Press. (bib).

  13. A. J. M. van Gasteren and A. Bijlsma. An extension of the program derivation format. In D. Gries and W.-P. de Roever, editors, Programming Concepts and Methods, pages 167--185, London, 1998. IFIP, Chapman and Hall. (bib).

  14. 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'98), volume 15 of Electronic Notes in Theoretical Computer Science, Pont-à-Mousson, France, September 1998. Elsevier Science Publishers. (psgz, bib).

  15. 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'98), pages 13--26. ACM Press, September 1998. (psgz, bib).

Technical Reports

  1. D. Clarke, J. Potter, and J. Noble. The Soundness of Ownership Types for Flexible Alias Protection. Technical report, Microsoft Research Institute, 1998. (bib).

  2. D. Clarke, R. Shelswell, J. Potter, and J. Noble. Object Ownership to Order. Technical report, Microsoft Research Institute, 1998. (bib).

  3. J. Fokker. Functioneel programmeren. Technical Report edu-431, Institute of Information and Computing Sciences, Utrecht University, 1998. (info, bib).

Documentation

  1. P. van Oostrum. Handleiding Unix. Universiteit Utrecht, vakgroep Informatica, juli 1998. (pdf, bib).

1997

Books

  1. R. Bird and L. Meertens, editors. Algorithmic Languages and Calculi. Chapman & Hall, London, 1997. (bib).

Phd Theses

  1. E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997. (psgz, bib).

Book Chapters

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

Journal Articles

  1. I. Prasetya. Mechanically Verified Self-Stabilizing Hierarchical Algorithms. Lecture Notes in Computer Science, 1217:399 -- 415, 1997. (bib).

In Proceedings

  1. A. Bleeker and L. Meertens. A Semantics for BAN Logic. In Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, New Brunswick, NJ, 1997. (bib).

  2. P. Jansson and J. Jeuring. PolyP --- a polytypic programming language extension. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470--482. ACM Press, 1997. (bib).

  3. 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'97), Electronic Workshops in Computing, Berlin, November 1997. Springer-Verlag. (psgz, bib).

  4. J. Saraiva, M. Kuiper, and D. Swierstra. Effective Function Cache Management for Incremental Attribute Evaluation. In C. Clark, T. Davie, and K. Hammond, editors, 9th International Workshop on Implementation of Functional Languages, pages 517--528, St Andrews, Scotland, September 1997. (bib).

  5. J. Saraiva, M. Kuiper, and D. Swierstra. Specializing Trees for Efficient Functional Decoration. In M. Leuschel, editor, ILPS97 Workshop on Specialization of Declarative Programs and its Applications, pages 63--72, October 1997. (Also available as Technical Report CW 255, Department of Computer Science, Katholieke Universiteit Leuven , Belgium) (bib).

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

  7. T. E. J. Vos and S. D. Swierstra. Make your enemies transparent. In Proceedings of the 23rd International Workshop on Grpah-Theoretic Concepts in Computer Science, volume 1335 of LNCS, pages 342--353. Springer-Verlag, 1997. (bib).

Technical Reports

  1. A. Ehrenfeucht, J. Hage, T. Harju, and G. Rozenberg. Complexity Problems In Switching Classes Of Graphs. Technical Report 15, Leiden University, Department of Computer Science, 1997. (bib).

  2. J. Saraiva, D. Swierstra, and M. Kuiper. Strictification of Computations on Trees. Technical report UU-CS-1997-30, Department of Computer Science, Utrecht University, August 1997. ftp://ftp.cs.ruu.nl/pub/RUU/CS/techreps/CS-1997/1997-30.ps.gz (bib).

  3. E. Visser. Character Classes. Technical Report P9708, Programming Research Group, University of Amsterdam, August 1997. (psgz, bib).

  4. E. Visser. A Family of Syntax Definition Formalisms. Technical Report P9706, Programming Research Group, University of Amsterdam, July 1997. (psgz, bib).

  5. E. Visser. Scannerless Generalized-LR Parsing. Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. (psgz, bib).

1996

Books

  1. H. Kuchen and S. D. Swierstra, editors. Proceedings of the the 8th International PLILP Symposium Programming Languages: Implementations, Logics and Programs, volume 1140 of LNCS, 1996. (bib).

Book Chapters

  1. 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. (psgz, bib).

Journal Articles

  1. A. Bijlsma and C. S. Scholten. Point-free substitution. Science of Computer Programming, 27:205--214, 1996. (bib).

  2. 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. (acmdl, psgz, bib).

  3. P. van Oostrum. Page layout in LATEX. MAPS, 16:108--125, 1996. (pdf, bib).

In Proceedings

  1. B. Jay, D. Clarke, and J. Edwards. Exploiting Shape in Parallel Programming. In IEEE Second International Conference for Algorithms and Architecture for Parallel Processing, Singapore, June 1996. (bib).

  2. J. Jeuring and P. Jansson. Polytypic Programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, Advanced Functional Programming, AFP'96, volume 1129 of LNCS, pages 68--114. Springer-Verlag, 1996. (bib).

  3. L. Meertens. Calculate polytypically! In H. Kuchen and S. D. Swierstra, editors, Programming Languages: Implementations Logics, and Programs, Proc. Eighth International Symposium PLILP '96, LNCS 1140, pages 1--16. Springer-Verlag, 1996. (bib).

  4. S. D. Swierstra and L. Duponcheel. Deterministic, Error-Correcting Combinator Parsers. In J. Launchbury, E. Meijer, and T. Sheard, editors, Advanced Functional Programming, volume 1129 of LNCS-Tutorial, pages 184--207. Springer-Verlag, 1996. (pdf, bib).

Technical Reports

  1. J. Hage and T. Harju. The size of 2-classes in group labeled 2-structures. Technical Report 17, Leiden University, Department of Computer Science, 1996. Generalized in [] (bib).

  2. I. Prasetya. Formalizing UNITY with HOL. Technical Report UU-CS-1996-01, Inst. of Information and Comp. Science, Utrecht Univ., 1996. Download: www.cs.uu.nl/staff/wishnu.html (pdf, bib).

  3. J. Saraiva, M. Kuiper, and S. D. Swierstra. Effective function cache management for incremental attribute evaluation. UU-CS 1996-50, 1996. (bib).

  4. J. Saraiva, S. D. Swierstra, M. Kuiper, and M. Pennings. Strictification of lazy functions. UU-CS 1996-51, 1996. (bib).

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

  6. E. Visser. Multi-Level Specifications. Technical Report P9604, Programming Research Group, University of Amsterdam, April, 1996. Appeared in A. van Deursen and J. Heering and P. Klint, Language Prototyping. An Algebraic Specification Approach. World Scientific, 1996. (bib).

  7. T. Vos, S. Swierstra, and I. Prasetya. Formal methods and mechanical verification applied to the development of a convergent distributed sorting program. Technical Report UU-CS-1996-37, Inst. of Information and Comp. Science, Utrecht Univ., 1996. Download: www.cs.uu.nl/staff/wishnu.html. (bib).

1995

Books

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

  2. M. Hermenegildo and S. D. Swierstra, editors. Proceedings of the the 7th International PLILP Symposium Programming Languages: Implementations, Logics and Programs, volume 982 of LNCS, 1995. (bib).

  3. J. Jeuring and E. Meijer, editors. Advanced Functional Programming, AFP'95, volume 925 of LNCS. Springer-Verlag, 1995. (bib).

Book Chapters

  1. A. Bijlsma, R. W. Bulterman, W. H. J. Feijen, A. J. M. van Gasteren, R. R. Hoogerwoord, C. S. Scholten, and F. W. van der Sommen. Phase synchronization for a string of machines. In E. Aarts, H. ten Eikelder, C. Hemerik, and M. Rem, editors, Simplex sigillum veri, pages 129--138. Eindhoven University of Technology, 1995. (bib).

Journal Articles

  1. A. Bijlsma, R. W. Bulterman, W. H. J. Feijen, A. J. M. van Gasteren, C. S. Scholten, F. W. van der Sommen, and A. I. J. Wijnands. Calculating the Galois Adjoint. Information Processing Letters, 53:137--139, 1995. (bib).

In Proceedings

  1. 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'95), volume 915 of Lecture Notes in Computer Science, pages 803--804, Aarhus, Denmark, May 1995. Springer-Verlag. Tool demonstration (psgz, bib).

  2. J. Fokker. Explaining algebraic theory with functional programs. In Functional Programming Languages in Education, FPLE'95, volume 1022 of LNCS, pages 139--158, Nijmegen, The Netherlands, December 1995. Springer-Verlag. (info, bib).

  3. J. Fokker. Functional specification of the JPEG algorithm, and an implementation for free. In Programming paradigms in graphics, pages 102--120, Maastricht, The Netherlands, September 1995. Springer. (info, bib).

  4. J. Fokker. Functional parsers. In Advanced Functional Programming, AFP'95, volume 925 of LNCS, pages 1--23, Båstad, Sweden, May 1995. Springer-Verlag. (info, bib).

  5. J. Jeuring. Polytypic pattern matching. In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 238--248. ACM Press, 1995. (bib).

  6. J. Jeuring and S. D. Swierstra. Constructing functional programs for grammar analysis problems. In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 259--269, 1995. (bib).

  7. J. Jeuring and S. D. Swierstra. Constructing functional programs for grammar analysis problems. In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 259--269, 1995. (bib).

  8. E. Meijer and J. Jeuring. Merging monads and folds for functional programming. In Advanced Functional Programming, AFP'95, volume 925 of LNCS, pages 228--266. Springer-Verlag, 1995. (bib).

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

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

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

Documentation

  1. P. van Oostrum. Handleiding LATEX. Universiteit Utrecht, vakgroep Informatica, april 1995. (pdf, bib).

  2. P. van Oostrum. Bibliotheekgebruik voor informaticastudenten. Universiteit Utrecht, vakgroep Informatica, october 1995. (bib).

1994

Book Chapters

  1. J. Fokker. Functioneel programmeren. In F. Wester, editor, Concepten van programmeertalen, volume 3, pages 9--102. Open Universiteit, Heerlen, The Netherlands, 1994. (bib).

Journal Articles

  1. J. Fokker and P. van Oostrum. Plaatjes in een tekst. MAPS, 13:153--166, 1994. (pdf, bib).

  2. J. Jeuring. The derivation of on-line algorithms, with an application to finding palindromes. Algorithmica, 11:146--184, 1994. (bib).

  3. E. Kranakis, D. D. Krizanc, and L. Meertens. Link length of rectilinear Hamiltonian tours in grids. Ars Combinatoria, 38:177--192, 1994. (bib).

  4. P. van Oostrum. Headers and footers in LATEX. MAPS, 13:127--135, 1994. (pdf, bib).

In Proceedings

  1. J. Jeuring. Polytypic Programming --- abstract. In U. Engberg, K. Larsen, and P. Mosses, editors, Proceedings of the 6th Nordic Workshop on Programming Theory, BRICS Notes Series number NS-94-6, Dept. of Computer Science, University of Aarhus, Denmark, page 237, 1994. (bib).

  2. J. Jeuring and S. D. Swierstra. Bottom-up grammar analysis --- a functional formulation ---. In D. Sannella, editor, Proceedings Programming Languages and Systems, ESOP'94, volume 788 of LNCS, pages 317--332. Springer-Verlag, 1994. (bib).

  3. J. Jeuring and S. D. Swierstra. Bottom-up grammar analysis --- a functional formulation ---. In D. Sannella, editor, Proceedings Programming Languages and Systems, ESOP'94, volume 788 of LNCS, pages 317--332. Springer-Verlag, 1994. (bib).

  4. 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. (psgz, psz, bib).

  5. E. Visser. Writing Course Notes with ASF+SDF to LATEX. In T. B. Dinesh and S. M. Üsküdarli, editors, Using the ASF+SDF environment for teaching computer science. Collection presented at the NSF workshop on teaching formal methods., August 1994. (psgz, bib).

Technical Reports

  1. 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. (psgz, bib).

  2. J. Hage. ARL and PR2, reversible languages. Technical Report 94-25, Leiden University, Leiden, 1994. (bib).

1993

Phd Theses

  1. J. Jeuring. Theories for Algorithm Calculation. PhD thesis, Utrecht University, 1993. Parts of the thesis appeared in the Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (bib).

Book Chapters

  1. S. D. Swierstra and O. d. Moor. Virtual Data Structures. In M. B., P. H., and S. S., editors, Formal Program Development, number 755 in Lecture Notes in Computer Science, pages 355--371. Springer-Verlag, Berlin, 1993. (bib).

Journal Articles

  1. P. J. A. Lentfert and S. D. Swierstra. Distributed Maximum Maintenance on Hierarchically Divided Graphs. Formal Aspects of Computing, 5(1):21--60, 1993. (bib).

  2. I. Prasetya. On the Style of Mechanical Proving. Lecture Notes in Computer Science, 780:475--488, 1993. (bib).

  3. I. Prasetya. Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties. Lecture Notes in Computer Science, 780:324--337, 1993. (bib).

  4. P. van Oostrum. Gebruik en Management van TeX in een Unix omgeving. MAPS, 11:88--102, 1993. (pdf, bib).

In Proceedings

  1. P. J. A. Lentfert and S. D. Swierstra. Towards the Formal Design of Self-Stabilising Distributed Algorithms. In P. Enjalbert, A. Finkel, and K. Wagner, editors, STACS 93, Proceedings of the 10th Annual Symposium on Theretical Aspects of Computer Science, volume 665 of LNCS, pages 440--451, February 1993. (bib).

  2. L. Meertens. The design of elegant languages. In G. Alberts, editor, On the history of ALGOL 68, pages 53--64. CWI, Amsterdam, 1993. (bib).

  3. I. Prasetya. Variable Access Constraints and Compositionality of Liveness Properties. In H. Wijshoff, editor, Proceedings of Computing Science in the Netherlands 93, pages 12--23. SION, Stichting Matematisch Centrum, 1993. Best paper award (bib).

Master's Theses

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

1992

Journal Articles

  1. J. Fokker. The Systematic Construction of a One-combinator Basis for Lambda-Terms. Formal Aspects of Computing, 4:776--780, 1992. (info, bib).

  2. L. Meertens. Paramorphisms. Formal Aspects of Computing, 4:413--424, 1992. (bib).

In Proceedings

  1. G. H. Florijn, E. Lippe, A. Dijkstra, N. van Oosterom, and S. D. Swierstra. Camera: Cooperation in Open Distributed Environments. In Proceedings of the European/Usenix Spring Workshop,Jersey, 1992. (bib).

  2. J. Jeuring. Incremental Data Compression ---abstract---. In J. Storer and M. Cohn, editors, Proceedings Data Compression Conference, March 24--27, 1992, Snowbird, Utah, page 411, 1992. (bib).

  3. J. Jeuring. Incremental Data Compression ---extended abstract---. In P. Fisher, editor, Proceedings of the Navy Environmental Systems Workshop, 1992. (bib).

  4. J. Jeuring. The derivation of a hierarchy of algorithms for pattern matching on arrays. In G. Hains and L. Mullin, editors, Proceedings ATABLE-92, Second international workshop on array structures, pages 199--213, 1992. DIRO publication number 841, Université de Montréal (bib).

  5. M. Pennings, S. D. Swierstra, and H. H. Vogt. Using Cached Functions and Constructors for Incremental Attribute Evaluation. In M. Bruynooghe and M. Wirsing, editors, Programming Language Implementation and Logic Programming, volume 631 of LNCS, pages 130--144. Springer, 1992. (bib).

Technical Reports

  1. P. J. A. Lentfert and S. D. Swierstra. Towards the Formal Design of Self-Stabilizing Distributed Algorithms. Technical Report RUU-CS-92-25, Utrecht University, August 1992. Also in: J.L.G. Dietz (Ed). Proceedings CSN92. Utrecht, November 4--5, 1992. (bib).

  2. L. Meertens and S. Pemberton. The ergonomics of computer interfaces --- Designing a system for human use. Report CS-R9258, CWI, Amsterdam, 1992. (bib).

  3. L. Meertens, S. Pemberton, and G. van Rossum. The ABC structure editor --- Structure-based editing for the ABC programming environment. Report CS-R9256, CWI, Amsterdam, 1992. (bib).

  4. M. Pennings, D. Swierstra, and H. Vogt. Using cached functions and constructors for incremental attribute evaluation. RUU-CS 92-11, Department of Computer Science, Padualaan 14, 1992. (bib).

Unpublished Documents

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

1991

Books

  1. J. Fokker, H. Zantema, and S. Swierstra. Programmeren en correctheid. Academic Service, Schoonhoven, The Netherlands, 1991. (bib).

  2. J. Jeuring, editor. Liber Amicorum Lambert Meertens & CWI 1966-1991. Stichting Mathematisch Centrum, 1991. (bib).

Journal Articles

  1. M. M. Fokkinga, J. Jeuring, L. Meertens, and E. Meijer. A translation from attribute grammars to catamorphisms. The Squiggolist, 2(1):20--26, 1991. (bib).

  2. M. M. Fokkinga and L. Meertens. Map-functor factorized. The Squiggolist, 2(1):17--19, 1991. (bib).

  3. L. Meertens. A neutral suggestion. The Squiggolist, 2(1):16, 1991. (bib).

  4. L. Meertens and J. van der Woude. A tribute to attributes. The Squiggolist, 2(1):10--15, 1991. (bib).

  5. P. van Oostrum. Program text generation with TeX/LATEX. MAPS, 6:99--106, 1991. (pdf, bib).

In Proceedings

  1. J. Jeuring. The derivation of hierarchies of algorithms on matrices. In B. Möller, editor, Constructing Programs from Specifications, pages 9--32. North-Holland, 1991. (bib).

  2. J. Jeuring. Incremental algorithms on lists. In J. v. Leeuwen, editor, Proceedings SION Computing Science in the Netherlands, pages 315--335, 1991. Also appeared in EURICS Workshop on Calculational Theories of Program Structure, Hollum-Ameland, 1991 (bib).

  3. H. H. Vogt, S. Swierstra, and M. Kuiper. Efficient Incremental Evaluation of Higher Order Attribute Grammars. In J. Maluszinsky and M. Wirsing, editors, Programming language Implementation and Logic Programming, volume 528 of LNCS, pages 231--242, 1991. (bib).

1990

Books

  1. L. Geurts, L. Meertens, and S. Pemberton. ABC Programmer's Handbook. Prentice Hall, 1990. (bib).

Journal Articles

  1. J. Jeuring. The largest ascending substree --- an exercise in nub theory. The Squiggolist, 1:36--44, 1990. (bib).

In Proceedings

  1. J. Jeuring. Algorithms from Theorems. In M. Broy and C. Jones, editors, Programming Concepts and Methods, pages 247--266. North-Holland, 1990. (bib).

  2. E. Kranakis, D. D. Krizanc, and L. Meertens. Link length of rectilinear watchman tours in grids. In Proc. 2nd Canadian Conf. in Computational Geometry, 1990. (bib).

  3. M. F. Kuiper and S. D. Swierstra. Parallel attribute evaluation: stucture of evaluators and detection of parallelism. In P. Deransart and M. Jourdan, editors, Attribute grammars and their Aplication, pages 61--75. INRIA, Springer-Verlag, 1990. (bib).

  4. A. H. Uittenbogaard, P. J. A. Lentfert, and S. D. Swierstra. Smart cabling: an overview. In Proceedings of the 4th workshop on ACM SIGOPS European workshop, pages 1--5. ACM Press, 1990. (bib).

Technical Reports

  1. P. J. A. Lentfert, S. D. Swierstra, and A. H. Uittenbogaard. Distributed incremental maximum finding in hierarchically divided graphs. RUU-CS 90-30, Department of Computer Science, P.O.Box 80.089, 3508 TB UTRECHT, the Netherlands, 1990. (bib).

  2. S. D. Swierstra and H. H. Vogt. Higher order attribute grammars: a merge between functional and object oriented programming. RUU-CS 90-12, Dept. of Computer Science, 1990. (bib).

  3. H. H. Vogt, S. Swierstra, and M. Kuiper. On the efficient incremental evaluation of higher order attribute grammars. RUU-CS 90-36, Department of Computer Science, P.O.Box 80.089, 3508 TB Utrecht, the Netherlands, 1990. (bib).

1989

Journal Articles

  1. J. Jeuring and L. Meertens. The least-effort cabinet formation. The Squiggolist, 1(2), 1989. (bib).

  2. E. Kranakis and L. Meertens. Optimal packing of similar triangles. EATCS Bulletin, 38:181--185, 1989. (bib).

  3. L. Meertens. Reducing hopeful majority. The Squiggolist, 1(1):5, 1989. (bib).

In Proceedings

  1. J. Jeuring. Deriving Algorithms on Binary Labelled Trees. In P. Apers, D. Bosman, and J. v. Leeuwen, editors, Proceedings SION Computing Science in the Netherlands, pages 229--249, 1989. Also appeared in Proceedings International Summer School on Constructive Algorithmics, Hollum-Ameland, 1989 (bib).

  2. P. J. A. Lentfert, A. H. Uittenbogaard, and G. Swierstra, S. D.and Tel. Distributed Hierarchical Routing. In P. Apers, D.Bosman, and J. van Leeuwen, editors, Computing Science in the Netherlands, pages 321--344, Amsterdam, 1989. SION, Stichting Mathematisch Centrum. (bib).

  3. L. Meertens. Constructing a calculus of programs. In J. van de Snepscheut, editor, Mathematics of Program Construction, LNCS 375, pages 66--90, 1989. (bib).

  4. H. H. Vogt, S. D. Swierstra, and M. F. Kuiper. Higher Order Attribute grammars. In Sigplan 1989 Conference on programming language design and Implementation. ACM, 1989. (bib).

Technical Reports

  1. P. J. A. Lentfert, A. H. Uittenbogaard, S. D. Swierstra, and G. Tel. Distributed Hierarchical Routing. RUU-CS 89-5, Department of Computer Science, PO.Box 80.089, 3508 TB Utrecht, the Netherlands, 1989. (bib).

1988

Books

  1. M. Carrasquer, D. L. Draper, L. Meertens, and S. Pemberton. EUROMATH Functional Specification. CWI, Amsterdam, 1988. (bib).

In Proceedings

  1. J. Jeuring. On classes of run-time functions. In Proceedings SION Computing Science in the Netherlands, pages 335--351, 1988. (bib).

  2. J. Jeuring. Finding palindromes. In Proceedings SION Computing Science in the Netherlands, pages 123--140, 1988. (bib).

  3. M. F. Kuiper and S. D. Swierstra. Increasing Parallelism in Attribute Grammar Evaluators: Transformations and Lazy Evaluations. In Computing Science in the Netherlands, pages 109--121. SION, SION, 1988. (bib).

1987

Books

  1. L. Meertens, editor. Program Specification and Transformation. North-Holland Publishing Company, Amsterdam, 1987. (bib).

Book Chapters

  1. L. Meertens. Case studies van CWI-onderzoek. In W. Aspers and H. Nieland, editors, Wetenschap in Bedrijf, pages 43--69. CWI, Amsterdam, 1987. (bib).

In Proceedings

  1. R. S. Bird and L. Meertens. Two exercises found in a book on Algorithmics. In L. Meertens, editor, Program Specification and Transformation, pages 451--457. North-Holland Publishing Company, Amsterdam, 1987. (bib).

  2. M. F. Kuiper and S. D. Swierstra. Using Attribute Grammars to Derive Efficient Functional Programs. In Computing Science in the Netherlands CSN'87, Nov. 1987. (bib).

  3. L. Meertens. Een nieuwe manier van programmeren. In ZWO Jaarboek 1986, pages 204--208. Netherlands Organization for the Advancement of Pure Research, The Hague, 1987. (bib).

1986

Books

  1. M. Hazewinkel, J. Lenstra, and L. Meertens, editors. Mathematics and Computer Science II --- Fundamental Contributions in the Netherlands since 1945, CWI Monographs Volume 4. North-Holland Publishing Company, Amsterdam, 1986. (bib).

  2. P. van Oostrum. Computers en Informatieverwerking. Number INF/DOC-86-6. Rijksuniversiteit Utrecht, Vakgroep Informatica, 1986. (bib).

Journal Articles

  1. L. Meertens. From B to ABC: the Salient Changes. The B Newsletter, 5:2--6, 1986. (bib).

In Proceedings

  1. L. Meertens. Algorithmics --- Towards programming as a mathematical activity. In J. de Bakker, M. Hazewinkel, and J. Lenstra, editors, Mathematics and Computer Science, CWI Monographs Volume 1, pages 289--334. North-Holland Publishing Company, Amsterdam, 1986. (bib).

Technical Reports

  1. M. F. Kuiper and S. D. Swierstra. Using Attribute grammars to derive Efficient Functional Programs. RUU-CS 86-16, Department of Computer Science, 1986. (bib).

1985

Journal Articles

  1. L. Meertens. What is in the name of B? The B Newsletter, 3, 1985. (bib).

  2. L. Meertens. A proposal for matrix/vector functions in B. The B Newsletter, 3, 1985. (bib).

  3. L. Meertens. Eh? B be `ABC', see? The B Newsletter, 4, 1985. (bib).

  4. L. Meertens. ~ 1 < > 1, A Nice Distinction? The B Newsletter, 4, 1985. (bib).

  5. L. Meertens and S. Pemberton. Description of B. SIGPLAN Notices, 20(2):58--76, February 1985. (bib).

Technical Reports

  1. A. d. Raaf, A. Dijkstra, and S. Swierstra. A LAN with Real-Time, Facilities Based on OSI-concepts,. RUU-CS 85, Department of Computer Science, 1985. (bib).

1984

In Proceedings

  1. L. Meertens and S. Pemberton. An Implementation of the B Programming Language. In Proc. USENIX UniForum, pages 65--74. USENIX, 1984. (bib).

Technical Reports

  1. A. Schoute and S. Swierstra. Writing Concurrent Programs in a Sequential Language like Pascal. Inf-Memorandum 1984-20, Twente University of Technology, 1984. (bib).

1983

Books

  1. L. Meertens. ANNO RR --- Annotaties en Commentaren bij het ``Revised Report on the Algorithmic Language ALGOL 68''. Utrecht University, Department of Computer Science, 1983. Facsimile reproduction of manuscript (bib).

Journal Articles

  1. L. Meertens and P. M. Vitányi. Big Omega contra the wild functions. EATCS Bulletin, 16:14--19, 1983. (bib).

In Proceedings

  1. L. Meertens. Incremental polymorphic type checking in B. In Conf. Record of the 10th ACM Symposium on the Principles of Programming Languages, pages 265--275. ACM, New York, 1983. (bib).

Technical Reports

  1. T. J. Krijnen and L. Meertens. Making B-Trees Work for B. Mathematical Centre Report IW 219, Mathematisch Centrum, Amsterdam, 1983. (bib).

  2. P. v. Oostrum. Interaktie met persoonlijke informatiesystemen. Technical Report RUU-CS-83-03, University of Utrecht, Department of Computer science, 1983. (bib).

1982

Journal Articles

  1. C. Bron, E. Dijkstra, and S. Swierstra. A Memory-Management Unit for the Optimal Exploitation of a Small Address Space. Information Processing Letters, 15(1):20--22, 1982. (bib).

  2. L. Meertens. Quick Reference to B. ALGOL Bulletin, 48:7--17, 1982. (bib).

1981

Books

  1. L. Meertens. Draft Proposal for the B Programming Language. Mathematisch Centrum, Amsterdam, 1981. (bib).

Phd Theses

  1. S. Swierstra. Lawine: an Experiment in Language and Machine Design. PhD thesis, Twente University of Technology, Jan. 1981. (bib).

In Proceedings

  1. L. Meertens. On the design of an abstract machine for a portable ALGOL 68 compiler. In J. van Vliet and H. Wupper, editors, Proc. International Conf. on ALGOL 68, Mathematical Centre Tract 134, pages 97--117. Mathematisch Centrum, Amsterdam, 1981. (bib).

  2. L. Meertens. Issues in the design of a beginners' programming language. In J. de Bakker and J. van Vliet, editors, Algorithmic Languages, pages 167--184. North-Holland Publishing Company, Amsterdam, 1981. (bib).

Technical Reports

  1. L. Meertens. Definition of an Abstract ALGOL 68 Machine. Mathematical Centre Report IW 188, Mathematisch Centrum, Amsterdam, 1981. (bib).

  2. L. Meertens and H. van Vliet. ALGOL 68+, a Superlanguage of ALGOL 68 for Processing the Standard-Prelude. Mathematical Centre Report IW 168, Mathematisch Centrum, Amsterdam, 1981. (bib).

  3. L. Meertens and H. van Vliet. An Underlying Context-Free Grammar of ALGOL 68+. Mathematical Centre Report IW 171, Mathematisch Centrum, Amsterdam, 1981. (bib).

  4. L. Meertens and H. van Vliet. An Operator-Priority Grammar for ALGOL 68+. Mathematical Centre Report IW 173, Mathematisch Centrum, Amsterdam, 1981. (bib).

  5. L. Meertens and H. van Vliet. Making ALGOL 68+ Texts Conform to an Operator-Priority Grammar. Mathematical Centre Report IW 180, Mathematisch Centrum, Amsterdam, 1981. (bib).

  6. L. Meertens and H. van Vliet. On Top-Down Parsing of ALGOL 68+. Mathematical Centre Report IW 182, Mathematisch Centrum, Amsterdam, 1981. (bib).

  7. L. Meertens and H. van Vliet. On the MC ALGOL 68 Compiler. Mathematical Centre Report IW 189, Mathematisch Centrum, Amsterdam, 1981. (bib).

1980

Book Chapters

  1. L. Meertens. Code-generatie. In J. van Vliet, editor, Colloquium Capita Implementatie van Programmeertalen, Mathematical Centre Syllabus 42, pages 27--46. Mathematisch Centrum, Amsterdam, 1980. (bib).

Journal Articles

  1. K. R. Apt and L. Meertens. Completeness with finite systems of intermediate assertions for recursive program schemes. SIAM Journal on Computing, 9:665--671, 1980. (bib).

1979

Journal Articles

  1. K. R. Apt, J. A. Bergstra, and L. Meertens. Recursive assertions are not enough---or are they? Theoretical Computer Science, 8:73--87, 1979. (bib).

  2. C. J. Cheney, C. H. Lindsey, L. Meertens, and H. Wupper. Changing line lengths in random files. ALGOL Bulletin, 44:15, 1979. (bib).

In Proceedings

  1. L. Meertens. Program text and program structure. In P. Hibbard and S. Schuman, editors, Constructing Quality Software, pages 271--281. North-Holland Publishing Company, Amsterdam, 1979. (bib).

  2. L. Meertens. Abstracto 84: the next generation. In Proc. 1979 Annual Conf., pages 33--39, Detroit, 1979. ACM. (bib).

Technical Reports

  1. L. Meertens. Bitonic Sort on Ultracomputers. Ultracomputer Note #1, Computer Science Department, Courant Institute of Mathematical Sciences, New York University, 1979. (bib).

  2. L. Meertens. Recurrent Ultracomputers are not logN-Fast. Ultracomputer Note #2, Computer Science Department, Courant Institute of Mathematical Sciences, New York University, 1979. (bib).

  3. S. D. Swierstra. Another Approach to Type Checking. Technical report, Twente University of Technology, 1979. (bib).

  4. S. D. Swierstra. Machine Architectures for Block Structured Languages. Technical Report 262, Technical University Twente, 1979. (bib).

1978

Book Chapters

  1. L. Meertens. Abstracte datatypen. In Colloquium Capita Datastructuren, Mathematical Centre Syllabus 37, pages 27--41. Mathematisch Centrum, Amsterdam, 1978. (bib).

  2. L. Meertens. Procedurele datastructuren. In Colloquium Capita Datastructuren, Mathematical Centre Syllabus 37, pages 171--186. Mathematisch Centrum, Amsterdam, 1978. (bib).

Journal Articles

  1. L. Geurts and L. Meertens. Remarks on Abstracto. ALGOL Bulletin, 42:56--63, 1978. (bib).

In Proceedings

  1. L. Geurts and L. Meertens. Keyword grammars. In J. André and J.-P. Banâtre, editors, Implementation and Design of Algorithmic Languages, pages 1--12. IRIA, Rocquencourt, 1978. (bib).

1977

Journal Articles

  1. T. V. Janssen, G. H. Kok, and L. Meertens. On restrictions on transformational grammars reducing the generative power. Linguistics and Philosophy, 1:111--118, 1977. (bib).

In Proceedings

  1. L. Meertens. From abstract variable to concrete representation. In S. Schuman, editor, New Directions in Algorithmic Languages 1976, pages 107--133, 1977. (bib).

  2. S. D. Swierstra. Abstract Data Types, Definition Modules and Extensions to Definition Modules. In M(achine) O(riented) L(anguages)-bulletin, 1977. (bib).

Master's Theses

  1. P. v. Oostrum. A parser for ALGOL 68. Master's thesis, University of Utrecht, 1977. (bib).

1976

Book Chapters

  1. L. Meertens. De heel eenvoudige taal HET. In Colloquium Structuur van Programmeertalen, Mathematical Centre Syllabus 25, pages 59--78. Mathematisch Centrum, Amsterdam, 1976. (bib).

  2. L. Meertens. Naar een foutenwerende programmeertaal. In Colloquium Structuur van Programmeertalen, Mathematical Centre Syllabus 25, pages 177--195. Mathematisch Centrum, Amsterdam, 1976. (bib).

  3. L. Meertens. Computerkunst. In Kaleidoskoop van de Wiskunde, pages 18--26. Mathematical Institute, Utrecht University, 1976. (bib).

  4. L. Meertens. Job control languages. In Colloquium Bedrijfssystemen, Mathematical Centre Syllabus 32, pages 113--128. Mathematisch Centrum, Amsterdam, 1976. (bib).

Journal Articles

  1. A. Atkinson, A. Heemskerk, and S. Swierstra. Construction of a Unitary Scattering Amplitude. Nuclear Physics, 1976. (bib).

  2. L. Meertens. A note on integral division. ALGOL Bulletin, 39:30--32, 1976. (bib).

  3. L. Meertens. A space-saving technique for assigning ALGOL 68 multiple values. Information Processing Letters, 5:97--99, 1976. (bib).

In Proceedings

  1. L. Geurts and L. Meertens. Designing a beginners' programming language. In S. Schuman, editor, New Directions in Algorithmic Languages 1975, pages 1--18. IRIA, Rocquencourt, 1976. (bib).

  2. L. Meertens. Mode and meaning. In S. Schuman, editor, New Directions in Algorithmic Languages 1975, pages 125--138, 1976. (bib).

  3. L. Meertens and H. van Vliet. Repairing the parenthesis skeleton of ALGOL 68 programs: proof of correctness. In G. Hedrick, editor, Proc. the 1975 International Conf. on ALGOL 68, pages 99--117. Oklahoma State University, Stillwater, 1976. (bib).

  4. L. Meertens and H. van Vliet. Parsing ALGOL 68 with syntax-directed error recovery. In G. Hedrick, editor, Proc. the 1975 International Conf. on ALGOL 68, pages 118--155. Oklahoma State University, Stillwater, 1976. (bib).

1975

Journal Articles

  1. J. W. de Bakker and L. Meertens. On the completeness of the inductive assertion method. Journal of Computer and System Sciences, 11:323--357, 1975. (bib).

  2. A. van Wijngaarden, B. Mailloux, J. Peck, C. Koster, M. Sintzoff, C. Lindsey, L. Meertens, and R. Fisker. Revised Report on the Algorithmic Language ALGOL 68. Acta Informatica, 5:1--236, 1975. (bib).

1974

In Proceedings

  1. R. Bosch, D. Grune, and L. Meertens. ALEPH, A Language Encouraging Program Hierarchy. In Proc. the International Computing Symp. 1973, pages 73--79. North-Holland Publishing Company, Amsterdam, 1974. (bib).

Technical Reports

  1. D. Grune, R. Bosch, and L. Meertens. ALEPH Manual. Mathematical Centre Report IW 17, Mathematisch Centrum, Amsterdam, 1974. (bib).

  2. D. Grune, L. Meertens, H. van Vliet, and R. van Vliet. Remarks on the Transput Section of the Revised Report on ALGOL 68. Mathematical Centre Report IN 7, Mathematisch Centrum, Amsterdam, 1974. (bib).

  3. L. Meertens and H. van Vliet. Repairing the State Switcher Skeleton of ALGOL 68 Programs. Mathematical Centre Report IW 15, Mathematisch Centrum, Amsterdam, 1974. (bib).

1973

Journal Articles

  1. L. Meertens. On static scope checking in ALGOL 68. ALGOL Bulletin, 35:45--58, 1973. (bib).

Technical Reports

  1. D. Grune, L. Meertens, and H. van Vliet. Grammar-Handling Tools Applied to ALGOL 68. Mathematical Centre Report IW 5, Mathematisch Centrum, Amsterdam, 1973. (bib).

  2. L. Meertens and H. van Vliet. Repairing the Parenthesis Skeleton of ALGOL 68 Programs. Mathematical Centre Report IW 2, Mathematisch Centrum, Amsterdam, 1973. (bib).

  3. L. Meertens and H. van Vliet. A Syntax-Directed Error-Recovery Method for Parsing ALGOL 68 Programs. Mathematical Centre Report IN 6, Mathematisch Centrum, Amsterdam, 1973. (bib).

1972

Book Chapters

  1. L. Geurts and L. Meertens. Kristalstrukturen. In H. Sizoo, editor, Struktuur, een thema, een methode, pages 32--37. De Lakenhal, Leiden, 1972. (bib).

Technical Reports

  1. J. W. de Bakker and L. Meertens. Simple Recursive Program Schemes and Inductive Assertions. Mathematical Centre Report MR 142, Mathematisch Centrum, Amsterdam, 1972. (bib).

  2. G. Nogarede, M. Rem, L. Meertens, L. Geurts, and R. P. van de Riet. The MC ELAN Assembler. Mathematical Centre Report MR 132, Mathematisch Centrum, Amsterdam, 1972. (bib).

1971

Journal Articles

  1. L. Meertens. Designing letter-like shapes. Page (Bulletin of the Computer Arts Society), 17:2--3, 1971. (bib).

In Proceedings

  1. L. Meertens. Computers and creativity. In Verslagboek van het Seminar on Computer Aided Architectural Design, pages 161--163. Bouwcentrum, Rotterdam, 1971. (bib).

1969

Journal Articles

  1. L. Andriessen, L. Geurts, and L. Meertens. Componist en computer. De Gids, 132:304--311, 1969. (bib).

  2. N. H. Frijda and L. Meertens. A simulation model of human information retrieval. Sciences du Comportement, 7:237--243, 1969. (bib).

  3. L. Meertens. On the generation of ALGOL 68 programs involving infinite modes. ALGOL Bulletin, 30:90--92, 1969. (bib).

In Proceedings

  1. L. Meertens. The imitation of musical styles by a computer. In Information Processing 68, Proc. IFIP Congress 1968, Volume 1, pages xxv--xxvi. North-Holland Publishing Company, Amsterdam, 1969. (bib).

Technical Reports

  1. L. Geurts, L. Meertens, R. P. van de Riet, and A. van Wijngaarden. Physionomie, Psyche en Chironomie. Mathematical Centre Report DR 38, Mathematisch Centrum, Amsterdam, 1969. (bib).

1968

Books

  1. D. van Dalen, H. P. Barendregt, P. van Oostrum, and T. A. Zoethout. Modeltheorie : college cursus 1967-1968. Mathematisch Instituut, Rijksuniv. Utrecht, 1968. (bib).

Journal Articles

  1. L. Meertens. Componeren met de computer. Informatie, 10:418--421, 1968. (bib).

Technical Reports

  1. L. Meertens. Quartet No. 1 in C Major for 2 Violins, Viola and Violoncello. Mathematical Centre Report MR 96, Mathematisch Centrum, Amsterdam, 1968. (bib).

1966

Technical Reports

  1. C. H. Koster, L. Geurts, and L. Meertens. Praktijkcursus ALGOL 60. Mathematical Centre Report MR 85, Mathematisch Centrum, Amsterdam, 1966. (bib).

1962

Journal Articles

  1. L. Meertens. Kunstmatige intelligentie, een programma voor het optimaal oplossen van een klasse van problemen. Mededelingen van het Nederlands Rekenmachine Genootschap, 4:6--13, 1962. (bib).

Technical Reports

  1. C. H. Koster and L. Meertens. Basic English, a Generative Grammar for a Part of English. Technical report, Euratom Seminar ``Machine en Talen'', University of Amsterdam, 1962. (bib).

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