Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : prof. dr. S.D. Swierstra (em.)

Doaitse  Swierstra

select other reports

this selection

author prof. dr. S.D. Swierstra (em.)

reports (53)

techrep_id file title / author
UU-CS-2016-012 pdf A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
Doaitse Swierstra, Marcos Viera and Atze Dijkstra
UU-CS-2014-013 pdf Exploiting Attribute Grammars to Achieve Automatic Tupling
Jeroen Bransen, Atze Dijkstra and Doaitse Swierstra
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
Bransen, dr. J. 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. (em.) 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{UUCS2016012,
author = {Swierstra, Doaitse and Viera, Marcos and Dijkstra, Atze},
year = 2016,
title = {A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts},
number = {UU-CS-2016-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014013,
author = {Bransen, Jeroen and Dijkstra, Atze and Swierstra, Doaitse},
year = 2014,
title = {Exploiting Attribute Grammars to Achieve Automatic Tupling},
number = {UU-CS-2014-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-013.pdf}},
pubcat = {techreport}
}
@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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/research/techreps/repo/CS-2002/2002-031.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-2002/2002-030.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/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/research/techreps/repo/CS-2002/2002-009.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-2001/2001-41.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/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/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/research/techreps/repo/CS-2000/2000-10.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-2000/2000-09.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-2000/2000-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-2000/2000-02.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-2000/2000-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-1999/1999-26.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-1997/1997-30.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-1996/1996-51.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-1996/1996-50.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-1996/1996-37.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-1995/1995-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-1994/1994-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/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/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/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/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/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/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/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/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/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/research/techreps/repo/CS-1986/1986-16.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/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/research/techreps/repo/CS-1985/1985-19.pdf}},
pubcat = {techreport}
}