Also available in pdf and bibtex.

2004

Journal Articles

  1. A. I. Baars, A. Löh, and S. D. Swierstra. Parsing Permutation Phrases. 14, 6, November 2004. (pdf, bib).

In Proceedings

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

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

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. S. D. Swierstra. Linear, Online, Functional Pretty Printing (corrected and extended version. UU-CS 2004-025a, 2004. under consideration for JFP (pdf, bib).

2003

In Proceedings

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

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

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

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

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

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

2002

Books

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

Journal Articles

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

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

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

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

2001

Journal Articles

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

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

In Proceedings

  1. A. I. Baars, A. Löh, and S. D. Swierstra. Parsing permutation phrases. 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).

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

  3. A. Dijkstra and S. 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).

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

2000

Journal Articles

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

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

Technical Reports

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

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

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

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

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

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

In Proceedings

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

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

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

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

Technical Reports

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

Book Chapters

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

1997

Journal Articles

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

In Proceedings

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

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

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

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

In Proceedings

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

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

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

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

In Proceedings

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

1994

In Proceedings

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

1993

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

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

1992

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

1991

In Proceedings

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

In Proceedings

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

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

In Proceedings

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

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

In Proceedings

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

In Proceedings

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

1986

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

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

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

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

1981

Phd Theses

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

1980

1979

Technical Reports

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

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

1977

In Proceedings

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

1976

Journal Articles

  1. A. Atkinson, A. Heemskerk, and S. Swierstra. Construction of a Unitary Scattering Amplitude. Nuclear Physics, 1976. (bib).
This bibliography was generated using the Stratego/XT bibtex-tools.
This document was translated from LATEX by HEVEA.