Technical Reports

	home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical reports : prof. dr. S.D. Swierstra

select other reports

• technical report index page
• below : list of indexed authors

this selection

author	prof. dr. S.D. Swierstra

reports (51)

techrep_id	file	title / author
UU-CS-2013-005	pdf	Parse Your Options Doaitse Swierstra and Atze Dijkstra
UU-CS-2012-016	pdf	Compositional Compiler Construction: Oberon0 Marcos Viera and S.Doaitse Swierstra
UU-CS-2011-033	pdf	Logisch en Functioneel Programmeren voor Wiskunde D Wouter Swierstra, Doaitse Swierstra and Jurriën Stutterheim
UU-CS-2011-032	pdf	Grammar Fragments Fly First-Class Marcos Viera and Doaitse Swierstra
UU-CS-2011-029	pdf	UUAG Meets AspectAG? - How to make Attribute Grammars First-Class Marcos Viera, Doaitse Swierstra and Arie Middelkoop
UU-CS-2011-028	pdf	Semantic Macros- Attribute Grammar Combinators Marcos Viera, Doaitse Swierstra
UU-CS-2009-029	pdf	Construct Your Own Favorite Programming Language S.Doaitse Swierstra
UU-CS-2008-045	pdf	Haskell as an Architecture Description Language Martijn M. Schrage, S. Doaitse Swierstra
UU-CS-2008-044	pdf	Combinator Parsing: A Short Tutorial Doaitse Swierstra
UU-CS-2008-027	pdf	Efficient Functional Unification and Substitution Atze Dijkstra, Arie Middelkoop, and S. Doaitse Swierstra
UU-CS-2008-021	pdf	Typed Transformations of Typed Abstract Syntax Arthur Baars, Doaitse Swierstra
UU-CS-2007-049	pdf	Abstract Interpretation of Functional Programs using an Attribute Grammar System Jeroen Fokker and S. Doaitse Swierstra
UU-CS-2006-051	pdf	Exploiting Type Annotations Atze Dijkstra and Doaitse S. Swierstra
UU-CS-2005-033	pdf	Ruler: Programming Type Rules Atze Dijkstra and S. Doaitse Swierstra
UU-CS-2005-032	pdf	Making Implicit Parameters Explicit Atze Dijkstra and S. Doaitse Swierstra
UU-CS-2005-025	pdf	Preserving order in non-order preserving parsers Rui Guerra, Arthur I. Baars, S. Doaitse Swierstra, and João Saraiva
UU-CS-2005-002	pdf	Web Cube: a Programming Model for Reliable Web Applications I.S.W.B. Prasetya, T.E.J. Vos, S.D. Swierstra, B. Widjaja
UU-CS-2004-059	pdf	Explicit implicit parameters Atze Dijkstra and S. Doaitse Swierstra
UU-CS-2004-037	pdf	Typing Haskell with an Attribute Grammar (Part I) Atze Dijkstra, Doaitse Swierstra
UU-CS-2004-025a	pdf	Linear, Online, Functional Pretty Printing (corrected and extended version) S. Doaitse Swierstra
UU-CS-2003-043	pdf	A UNITY-based Framework towards Component Based Systems I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, and S.D. Swierstra
UU-CS-2002-031	ps.gz pdf	Generalizing Hindley-Milner Type Inference Algorithms Bastiaan Heeren, Jurriaan Hage, Doaitse Swierstra
UU-CS-2002-030	ps.gz pdf	Combinators for layered software architectures Martijn M. Schrage, Johan Jeuring, S. Doaitse Swierstra
UU-CS-2002-025	pdf	!UNITY: A Theory of General UNITY I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, S.D. Swierstra
UU-CS-2002-009	ps.gz pdf	Improving type-error messages in functional languages Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer
UU-CS-2001-41	ps.gz pdf	Program refinement in UNITY T.E.J. Vos and S.D. Swierstra
UU-CS-2001-40	pdf	Proving distributed hylomorphisms T.E.J. Vos, S.D. Swierstra
UU-CS-2001-18	pdf	Lazy Functional Parser Combinators in Java Atze Dijkstra, Doaitse S. Swierstra
UU-CS-2000-10	ps.gz pdf	Sequential program composition in Unity T.E.J. Vos, S. D. Swierstra
UU-CS-2000-09	ps.gz pdf	Defining a non-concrete recursive type in HOL which includes sets T.E.J. Vos, S. D. Swierstra
UU-CS-2000-07	ps.gz pdf	Formal design of self-stabilizing programs: Theory and examples S. W. B. Prasetya, S. D. Swierstra
UU-CS-2000-02	ps.gz pdf	Factorizing fault tolerance S. W. B. Prasetya, S. D. Swierstra
UU-CS-2000-01	ps.gz pdf	Component-wise formal approach to design distributed systems S. W. B. Prasetya, S. D. Swierstra, B. Widjaja
UU-CS-1999-26	ps.gz pdf	SKIT, An open architecture for courseware authoring Atze Dijkstra, Martijn Schrage, Doaitse Swierstra
UU-CS-1997-30	ps.gz pdf	Strictification of computations on trees J. Saraiva, S. D. Swierstra, M. F. Kuiper
UU-CS-1996-51	ps.gz pdf	Strictification of lazy functions J. Saraiva, S. D. Swierstra, M. F. Kuiper, M. Pennings
UU-CS-1996-50	ps.gz pdf	Effective function cache management for incremental attribute evaluation J. Saraiva, M. F. Kuiper, S. D. Swierstra
UU-CS-1996-37	ps.gz pdf	Formal methods and mechanical verification applied to the development of a convergent distributed sorting program T.E.J. Vos, S. D. Swierstra, S. W. B. Prasetya
UU-CS-1995-07	ps.gz pdf	Formal design of self-stabilizing programs S. W. B. Prasetya, S. D. Swierstra
UU-CS-1994-01	ps.gz pdf	Bottom-up grammar analysis - A functional formulation J. T. Jeuring, S. D. Swierstra
RUU-CS-92-25	pdf	Towards the formal design of self-stabilizing distributed algorithms P.J.A. Lentfert and S.D. Swierstra
RUU-CS-92-16	pdf	Virtual data structures D. Swierstra and O. de Moor
RUU-CS-92-11	pdf	Using cached functions and constructors for incremental attribute evaluation M. Pennings and D. Swierstra and H. Vogt
RUU-CS-91-14	pdf	Higher order attribute grammars, Lecture notes of the International Summer School on Attribute Grammars, applications and systems S.D. Swierstra and H.H. Vogt
RUU-CS-90-36	pdf	On the efficient incremental evaluation of higher order attribute grammars H. Vogt and D. Swierstra and M. Kuiper
RUU-CS-90-30	pdf	Distributed incremental maximum finding in hierarchically divided graphs P.J.A. Lentfert and S.D. Swierstra and A.H. Uittenbogaard
RUU-CS-90-12	pdf	Higher order attribute grammars: a merge between functional and object oriented programming S.D. Swierstra and H.H. Vogt
RUU-CS-89-05	pdf	Distributed hierarchical routing P.J.A. Lentfert and A.H. Uittenbogaard and S.D. Swierstra
RUU-CS-89-04	pdf	Higher order attribute grammars H.H. Vogt and S.D. Swierstra and M.F. Kuiper
RUU-CS-86-16	ps.gz pdf	Using attribute grammars to derive efficient functional programs M. F. Kuiper, S. D. Swierstra
RUU-CS-85-19	pdf	A LAN with real-time facilities based on OSI concepts A.J. de Raaf and A.Dijkstra and S.D. Swierstra

indexed (co) authors

author		group
Azero Alcocer, P.R.	all reports	software technology	all reports
Azurat, A.	all reports	software technology	all reports
Baars, dr. A.I.	all reports	software technology	all reports
Dijkstra, dr. A.	all reports	software technology	all reports
Fokker, drs. J.D.	all reports	software technology	all reports
Guerra, R.M.	all reports	software technology	all reports
Hage, dr. J.	all reports	software technology	all reports
Heeren, dr. B.J.	all reports	software technology	all reports
Jeuring, prof. dr. J.T.	all reports	software technology	all reports
Kuiper, dr. M.F.	all reports	software technology	all reports
Middelkoop, dr. A.	all reports	software technology	all reports
Moor, dr. O. de	all reports	software technology	all reports
Pennings, dr. M.	all reports	software technology	all reports
Prasetya, dr. S.W.B.	all reports	software technology	all reports
Saraiva, dr. J.	all reports	software technology	all reports
Schrage, dr. M.M.	all reports	software technology	all reports
Swierstra, prof. dr. S.D.	all reports	software technology	all reports
Viera Larrea, dr. MSc M.O.	all reports	software technology	all reports
Vogt, dr. H.H.	all reports	software technology	all reports
Vos, dr. T.E.J.	all reports	software technology	all reports

BibTeX? entries

@TECHREPORT{UUCS2013005,
author = {Swierstra, Doaitse and Dijkstra, Atze},
year = 2013,
title = {Parse Your Options},
number = {UU-CS-2013-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2013/2013-005.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2012016,
author = {Viera, Marcos and Swierstra, S.Doaitse},
year = 2012,
title = {Compositional Compiler Construction: Oberon0},
number = {UU-CS-2012-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2012/2012-016.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2011033,
author = {Swierstra, Wouter and Swierstra, Doaitse and Stutterheim, Jurriën},
year = 2011,
title = {Logisch en Functioneel Programmeren voor Wiskunde D},
number = {UU-CS-2011-033},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2011/2011-033.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2011032,
author = {Viera, Marcos and Swierstra, Doaitse},
year = 2011,
title = {Grammar Fragments Fly First-Class},
number = {UU-CS-2011-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2011/2011-032.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2011029,
author = {Viera, Marcos and Swierstra, Doaitse and Middelkoop, Arie},
year = 2011,
title = {UUAG Meets AspectAG- How to make Attribute Grammars First-Class},
number = {UU-CS-2011-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2011/2011-029.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2011028,
author = {Viera, Marcos and Swierstra, Doaitse},
year = 2011,
title = {Semantic Macros- Attribute Grammar Combinators},
number = {UU-CS-2011-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2011/2011-028.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2009029,
author = {Swierstra, S.Doaitse},
year = 2009,
title = {Construct Your Own Favorite Programming Language},
number = {UU-CS-2009-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2009/2009-029.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2008045,
author = {Schrage, Martijn~M. and Swierstra, S.~Doaitse},
year = 2008,
title = {Haskell as an Architecture Description Language},
number = {UU-CS-2008-045},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2008/2008-045.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2008044,
author = {Swierstra, Doaitse},
year = 2008,
title = {Combinator Parsing: A Short Tutorial},
number = {UU-CS-2008-044},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2008/2008-044.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2008027,
author = {Dijkstra, Atze and Middelkoop, Arie and Swierstra, S.~Doaitse},
year = 2008,
title = {Efficient Functional Unification and Substitution},
number = {UU-CS-2008-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2008/2008-027.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2008021,
author = {Baars, Arthur and Swierstra, Doaitse},
year = 2008,
title = {Typed Transformations of Typed Abstract Syntax},
number = {UU-CS-2008-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2008/2008-021.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2007049,
author = {Fokker, Jeroen and Swierstra, S.~Doaitse},
year = 2007,
title = {Abstract Interpretation of Functional Programs using an Attribute Grammar System},
number = {UU-CS-2007-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2007/2007-049.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2006051,
author = {Dijkstra, Atze and Swierstra, Doaitse~S.},
year = 2006,
title = {Exploiting Type Annotations},
number = {UU-CS-2006-051},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2006/2006-051.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2005033,
author = {Dijkstra, Atze and Swierstra, S.~Doaitse},
year = 2005,
title = {Ruler: Programming Type Rules},
number = {UU-CS-2005-033},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2005/2005-033.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2005032,
author = {Dijkstra, Atze and Swierstra, S.~Doaitse},
year = 2005,
title = {Making Implicit Parameters Explicit},
number = {UU-CS-2005-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2005/2005-032.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2005025,
author = {Guerra, Rui and Baars, Arthur~I. and Swierstra, S.~Doaitse and Saraiva, João},
year = 2005,
title = {Preserving order in non-order preserving parsers},
number = {UU-CS-2005-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2005/2005-025.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2005002,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Swierstra, S.D. and Widjaja, B.},
year = 2005,
title = {Web Cube: a Programming Model for Reliable Web Applications},
number = {UU-CS-2005-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2005/2005-002.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2004059,
author = {Dijkstra, Atze and Swierstra, S.~Doaitse},
year = 2004,
title = {Explicit implicit parameters},
number = {UU-CS-2004-059},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2004/2004-059.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2004037,
author = {Dijkstra, Atze and Swierstra, Doaitse},
year = 2004,
title = {Typing Haskell with an Attribute Grammar (Part I)},
number = {UU-CS-2004-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2004/2004-037.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2004025a,
author = {Swierstra, S.~Doaitse},
year = 2004,
title = {Linear, Online, Functional Pretty Printing (corrected and extended version)},
number = {UU-CS-2004-025a},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2004/2004-025a.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2003043,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2003,
title = {A UNITY-based Framework towards Component Based Systems},
number = {UU-CS-2003-043},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2003/2003-043.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2002031,
author = {Heeren, Bastiaan and Hage, Jurriaan and Swierstra, Doaitse},
year = 2002,
title = {Generalizing Hindley-Milner Type Inference Algorithms},
number = {UU-CS-2002-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2002/2002-031.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2002/2002-031.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2002030,
author = {Schrage, Martijn~M. and Jeuring, Johan and Swierstra, S.~Doaitse},
year = 2002,
title = {Combinators for layered software architectures},
number = {UU-CS-2002-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2002/2002-030.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2002/2002-030.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2002025,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2002,
title = {!UNITY: A Theory of General UNITY},
number = {UU-CS-2002-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2002/2002-025.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2002009,
author = {Heeren, Bastiaan and Jeuring, Johan and Swierstra, Doaitse and Azero~Alcocer, Pablo},
year = 2002,
title = {Improving type-error messages in functional languages},
number = {UU-CS-2002-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2002/2002-009.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2002/2002-009.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS200141,
author = {Vos, T.E.J. and Swierstra, S.D.},
year = 2001,
title = {Program refinement in UNITY},
number = {UU-CS-2001-41},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2001/2001-41.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2001/2001-41.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS200140,
author = {Vos, T.E.J. and Swierstra, S.D.},
year = 2001,
title = {Proving distributed hylomorphisms},
number = {UU-CS-2001-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2001/2001-40.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS200118,
author = {Dijkstra, Atze and Swierstra, Doaitse~S.},
year = 2001,
title = {Lazy Functional Parser Combinators in Java},
number = {UU-CS-2001-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2001/2001-18.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS200010,
author = {Vos, T.E.J. and Swierstra, S.~D.},
year = 2000,
title = {Sequential program composition in Unity},
number = {UU-CS-2000-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-10.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-10.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS200009,
author = {Vos, T.E.J. and Swierstra, S.~D.},
year = 2000,
title = {Defining a non-concrete recursive type in HOL which includes sets},
number = {UU-CS-2000-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-09.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-09.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS200007,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 2000,
title = {Formal design of self-stabilizing programs: Theory and examples},
number = {UU-CS-2000-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-07.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS200002,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 2000,
title = {Factorizing fault tolerance},
number = {UU-CS-2000-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-02.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-02.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS200001,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D. and Widjaja, B.},
year = 2000,
title = {Component-wise formal approach to design distributed systems},
number = {UU-CS-2000-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-2000/2000-01.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199926,
author = {Dijkstra, Atze and Schrage, Martijn and Swierstra, Doaitse},
year = 1999,
title = {SKIT, An open architecture for courseware authoring},
number = {UU-CS-1999-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1999/1999-26.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1999/1999-26.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199730,
author = {Saraiva, J. and Swierstra, S.~D. and Kuiper, M.~F.},
year = 1997,
title = {Strictification of computations on trees},
number = {UU-CS-1997-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1997/1997-30.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1997/1997-30.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199651,
author = {Saraiva, J. and Swierstra, S.~D. and Kuiper, M.~F. and Pennings, M.},
year = 1996,
title = {Strictification of lazy functions},
number = {UU-CS-1996-51},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1996/1996-51.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1996/1996-51.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199650,
author = {Saraiva, J. and Kuiper, M.~F. and Swierstra, S.~D.},
year = 1996,
title = {Effective function cache management for incremental attribute evaluation},
number = {UU-CS-1996-50},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1996/1996-50.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1996/1996-50.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199637,
author = {Vos, T.E.J. and Swierstra, S.~D. and Prasetya, S.~W.~B.},
year = 1996,
title = {Formal methods and mechanical verification applied to the development of a convergent distributed sorting program},
number = {UU-CS-1996-37},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1996/1996-37.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1996/1996-37.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199507,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 1995,
title = {Formal design of self-stabilizing programs},
number = {UU-CS-1995-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1995/1995-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1995/1995-07.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199401,
author = {Jeuring, J.~T. and Swierstra, S.~D.},
year = 1994,
title = {Bottom-up grammar analysis - A functional formulation},
number = {UU-CS-1994-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1994/1994-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1994/1994-01.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9225,
author = {Lentfert, P.J.A. and Swierstra, S.D.},
year = 1992,
title = {Towards the formal design of self-stabilizing distributed algorithms},
number = {RUU-CS-92-25},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1992/1992-25.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9216,
author = {Swierstra, D. and Moor, O.~de},
year = 1992,
title = {Virtual data structures},
number = {RUU-CS-92-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1992/1992-16.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9211,
author = {Pennings, M. and Swierstra, D. and Vogt, H.},
year = 1992,
title = {Using cached functions and constructors for incremental attribute evaluation},
number = {RUU-CS-92-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1992/1992-11.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9114,
author = {Swierstra, S.D. and Vogt, H.H.},
year = 1991,
title = {Higher order attribute grammars, Lecture notes of the International Summer School on Attribute Grammars, applications and systems},
number = {RUU-CS-91-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1991/1991-14.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9036,
author = {Vogt, H. and Swierstra, D. and Kuiper, M.},
year = 1990,
title = {On the efficient incremental evaluation of higher order attribute grammars},
number = {RUU-CS-90-36},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1990/1990-36.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9030,
author = {Lentfert, P.J.A. and Swierstra, S.D. and Uittenbogaard, A.H.},
year = 1990,
title = {Distributed incremental maximum finding in hierarchically divided graphs},
number = {RUU-CS-90-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1990/1990-30.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9012,
author = {Swierstra, S.D. and Vogt, H.H.},
year = 1990,
title = {Higher order attribute grammars: a merge between functional and object oriented programming},
number = {RUU-CS-90-12},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1990/1990-12.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8905,
author = {Lentfert, P.J.A. and Uittenbogaard, A.H. and Swierstra, S.D.},
year = 1989,
title = {Distributed hierarchical routing},
number = {RUU-CS-89-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1989/1989-05.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8904,
author = {Vogt, H.H. and Swierstra, S.D. and Kuiper, M.F.},
year = 1989,
title = {Higher order attribute grammars},
number = {RUU-CS-89-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1989/1989-04.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8616,
author = {Kuiper, M.~F. and Swierstra, S.~D.},
year = 1986,
title = {Using attribute grammars to derive efficient functional programs},
number = {RUU-CS-86-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1986/1986-16.ps.gz}},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1986/1986-16.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS8519,
author = {Raaf, A.J.~de and A.Dijkstra and Swierstra, S.D.},
year = 1985,
title = {A LAN with real-time facilities based on OSI concepts},
number = {RUU-CS-85-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl:80/research/techreps/repo/CS-1985/1985-19.pdf}},
pubcat = {techreport}
}