technical reports : software technology
select other reports
this selection
reports (222)
| techrep_id |
file |
title / author |
| UU-CS-2012-002 |
not
online |
An Interactive Functional Programming Tutor
Alex Gerdes, Johan Jeuring and Bastiaan Heeren |
| 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-031 |
pdf |
Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode
Ernst Koldenhof, Johan Jeuring, and Sandra Ruth |
| UU-CS-2011-030 |
pdf |
Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten
Josje Lodder and Johan Jeuring |
| 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-2011-023 |
pdf |
HarmTrace: Automatic functional harmonic analysis
W. Bas de Haas, José Pedro Magalhães, Frans Wiering and Remco C. Veltkamp |
| UU-CS-2011-021 |
pdf |
Generic Programming for Indexed Datatypes
José Pedro Magalhães and Johan Jeuring |
| UU-CS-2011-020 |
pdf |
Comparing Datatype Generic Libraries in Haskell
Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov and Bruno C.D.S. Oliveira |
| UU-CS-2011-019 |
pdf |
Modeling XML Content Explained
Harrie Passier and Bastiaan Heeren |
| UU-CS-2011-016 |
pdf |
Interleaving strategies
Bastiaan Heeren and Johan Jeuring |
| UU-CS-2011-009 |
pdf |
A Comparative Study of Code Query Technologies
Tiago Alves, Jurriaan Hage, Peter Rademaker |
| UU-CS-2011-008 |
pdf |
Developing a legacy to SOA Migration Method
Gijs Reijnders, Ravi Khadka, Slinger Jansen, and Jurriaan Hage |
| UU-CS-2011-007 |
pdf |
Experience Report: Functional Modelling of Musical Harmony
José Pedro Magalhães and W. Bas de Haas |
| UU-CS-2011-005 |
pdf |
CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases
I. S. W. B. Prasetya, J. Amorim, T. E. J. Vos, and A. Baars |
| UU-CS-2010-028 |
pdf |
Properties of exercise strategies
Alex Gerdes, Bastiaan Heeren, Johan Jeuring |
| UU-CS-2010-023 |
pdf |
How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge
Rolf Biehler, Pascal R. Fischer, Reinhard Hochmuth, Johan Jeuring, Thomas Wassong |
| UU-CS-2010-020 |
pdf |
Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)
Jurriaan Hage (editor) |
| UU-CS-2010-017 |
pdf |
A generic deriving mechanism for Haskell
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh |
| UU-CS-2010-016 |
pdf |
Generic selections of subexpressions
Martijn van Steenbergen, José Pedro Magalhães, and Johan Jeuring |
| UU-CS-2010-015 |
pdf |
A comparison of plagiarism detection tools
Jurriaan Hage, Peter Rademaker, Nikè van Vugt |
| UU-CS-2010-011 |
pdf |
Adapting Mathematical Domain Reasoners
Bastiaan Heeren, Johan Jeuring |
| UU-CS-2010-008 |
pdf |
A Lightweight Approach to Datatype-generic Rewriting
Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães |
| UU-CS-2009-031 |
pdf |
Using Strategies for Assessment of Programming Exercises
Alex Gerdes, Johan Jeuring, Bastiaan Heeren |
| UU-CS-2009-030 |
pdf |
An Interactive Exercise Player for Math-Bridge
Johan Jeuring, Bastiaan Heeren |
| UU-CS-2009-029 |
pdf |
Construct Your Own Favorite Programming Language
S.Doaitse Swierstra |
| UU-CS-2009-024 |
pdf |
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.
Sean Leather, Andres Löh, Johan Jeuring |
| UU-CS-2009-022 |
pdf |
Optimizing Generics Is Easy!
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh |
| UU-CS-2009-017 |
pdf |
Enumerating Well-Typed Terms Generically
Alexey Rodriguez Yakushev ,Johan Jeuring |
| UU-CS-2009-016 |
pdf |
Generic Programming for Domain Reasoners
Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren |
| UU-CS-2009-011 |
pdf |
Canonical Forms in Interactive Exercise Assistants.
Bastiaan Heeren, Johan Jeuring |
| UU-CS-2009-009 |
pdf |
Corrective Hints for Type Incorrect Generic Java Programs
Nabil el Boustani, Jurriaan Hage |
| UU-CS-2009-004 |
pdf |
Soft Typing PHP
Patrick Camphuijsen, Jurriaan Hage and Stefan Holdermans |
| UU-CS-2009-003 |
pdf |
Strategies for Exercises
Bastiaan Heeren, Johan Jeuring, Alex Gerdes |
| UU-CS-2009-001 |
pdf |
Geniaal programmeren - Generic programming at Utrecht
Johan Jeuring, Lambert Meertens |
| UU-CS-2008-049 |
pdf |
Constructing Strategies for Programming
Alex Gerdes, Bastiaan Heeren and Johan Jeuring |
| 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-038 |
pdf |
Improving Type Error Messages for Generic Java
Nabil el Boustani and Jurriaan Hage |
| UU-CS-2008-037 |
pdf |
Patterns for In-code Algebraic Testing
Wishnu Prasetya and Tanja Vos |
| UU-CS-2008-027 |
pdf |
Efficient Functional Unification and Substitution
Atze Dijkstra, Arie Middelkoop, and S. Doaitse Swierstra |
| UU-CS-2008-025 |
pdf |
Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Magalhães, and Alexey Rodriguez Yakushev |
| UU-CS-2008-021 |
pdf |
Typed Transformations of Typed Abstract Syntax
Arthur Baars, Doaitse Swierstra |
| UU-CS-2008-020 |
pdf |
A Lightweight Approach to Datatype-Generic Rewriting
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren |
| UU-CS-2008-019 |
pdf |
Generic programming with fixed points for mutually recursive datatypes
Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring |
| UU-CS-2008-018 |
pdf |
Feedback Services for Exercise Assistants
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman |
| UU-CS-2008-012 |
pdf |
Recognizing Strategies
Bastiaan Heeren and Johan Jeuring |
| UU-CS-2008-011 |
pdf |
The Generic Haskell user's guide, Version 1.80 - Emerald release
Andres Löh, Johan Jeuring, Thomas van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, Jan de Wit |
| UU-CS-2008-010 |
pdf |
Comparing Libraries for Generic Programming in Haskell
Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera |
| UU-CS-2008-001 |
pdf |
Specifying Strategies for Exercises
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen and Alex Gerdes |
| UU-CS-2007-053 |
pdf |
On Involutive Anti-Automorphisms of Finite Abelian Groups
Jurriaan Hage and Tero Harju |
| UU-CS-2007-049 |
pdf |
Abstract Interpretation of Functional Programs using an Attribute Grammar System
Jeroen Fokker and S. Doaitse Swierstra |
| UU-CS-2007-037 |
pdf |
Trace-based Reflexive Testing of OO Programs
I.S.W.B. Prasetya, T.E.J. Vos, A. Baars |
| UU-CS-2007-036 |
pdf |
Feedback in exercise assistants
Johan Jeuring |
| UU-CS-2007-029 |
pdf |
Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh |
| UU-CS-2007-027 |
pdf |
Morph Endo! Task Description of the Tenth Interstellar Contest on Fuun Programming
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh |
| UU-CS-2007-023 |
pdf |
The Neon DSEL for Mining Helium Programs
Jurriaan Hage and Peter van Keeken |
| UU-CS-2007-017 |
pdf |
A Generic Framework for Developing Exercise Assistants
Johan Jeuring, Harrie Passier, Sylvia Stuurman |
| UU-CS-2007-012 |
pdf |
Mining Helium programs with Neon
Jurriaan Hage and Peter van Keeken |
| UU-CS-2007-008 |
pdf |
Turning an interactive tool implemented in Haskell into a web application -- An experience report
Sylvia Stuurman and Johan Jeuring |
| UU-CS-2007-007 |
pdf |
Strategy Feedback in an E-learning Tool for Mathematical Exercises
Johan Jeuring and Wouter Pasman |
| UU-CS-2006-062 |
pdf |
Programmeerplagiaatdetectie met Marble
Jurriaan Hage |
| UU-CS-2006-055 |
pdf |
Strategies for solving constraints in program analysis
Jurriaan Hage and Bastiaan Heeren |
| UU-CS-2006-054 |
pdf |
Heuristics for type error discovery and recovery (revised revised)
Jurriaan Hage and Bastiaan Heeren |
| UU-CS-2006-051 |
pdf |
Exploiting Type Annotations
Atze Dijkstra and Doaitse S. Swierstra |
| UU-CS-2006-049 |
pdf |
The Generic Haskell user's guide, Version 1.60 - Diamond release
Andres Löh, Johan Jeuring, and Alexey Rodriguez (editors) et al. |
| UU-CS-2006-047 |
pdf |
Mining for Helium
Jurriaan Hage and Peter van Keeken |
| UU-CS-2006-043 |
pdf |
Testing properties of generic functions
Patrik Jansson, Johan Jeuring, and students of the Utrecht University Generic Programming class |
| UU-CS-2006-040 |
pdf |
An interactive tool for manipulating logical formulae
Josje Lodder, Johan Jeuring, and Harrie Passier |
| UU-CS-2006-039 |
pdf |
Generating generic functions
Johan Jeuring, Alexey Rodriguez, and Gideon Smeding |
| UU-CS-2006-028 |
pdf |
Towards a characterization of bipartite switching classes by means of forbidden subgraphs
Jurriaan Hage and Tero Harju |
| UU-CS-2006-026 |
pdf |
Typed Contracts for Functional Programming
Ralf Hinze, Johan Jeuring, and Andres Löh |
| UU-CS-2006-025 |
pdf |
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
Frank Atanassow and Johan Jeuring |
| UU-CS-2006-024 |
pdf |
Generic Programming for Software Evolution
Johan Jeuring and Rinus Plasmeijer |
| UU-CS-2006-022 |
pdf |
Comparing approaches to generic programming in Haskell
Ralf Hinze, Johan Jeuring, Andres Löh |
| UU-CS-2006-021 |
pdf |
Feedback in an interactive equation solver
Harrie Passier and Johan Jeuring |
| UU-CS-2006-020 |
pdf |
Generic Views on Data Types
Stefan Holdermans, Johan Jeuring, Andres Löh and Alexey Rodriguez |
| UU-CS-2006-014 |
pdf |
A Reference Framework for Software Product Management
Inge van de Weerd, Sjaak Brinkkemper, Richard Nieuwenhuis, Johan Versendaal and Lex Bijlsma |
| UU-CS-2006-009 |
pdf |
MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT
Martin Bravenboer, René de Groot, Eelco Visser |
| UU-CS-2006-007 |
pdf |
Heuristics for type error discovery and recovery (revised)
Jurriaan Hage, Bastiaan Heeren |
| UU-CS-2005-060 |
pdf |
Type Inference for Generic Haskell
Alexey Rodriguez, Johan Jeuring, Andres Löh |
| UU-CS-2005-055 |
pdf |
The Helium Logging Facility
Jurriaan Hage |
| UU-CS-2005-053 |
pdf |
Proceedings of the Sixth Stratego Users Day
Karl Trygve Kallenberg and Eelco Visser (editor) |
| UU-CS-2005-052 |
pdf |
Stratego/XT 0.16. Components for Transformation Systems
Martin Bravenboer, Karl Trygve Kallenberg, Rob Vermaas, Eelco Visser |
| UU-CS-2005-046 |
pdf |
Theorem Prover Supported Logics for Small Imperative Languages
I.S.W.B. Prasetya, A. Azurat, T.E.J. Vos, A. van Leeuwen, H. Suhartanto |
| UU-CS-2005-039 |
pdf |
Service Configuration Management
Eelco Dolstra, Martin Bravenboer, Eelco Visser |
| UU-CS-2005-035 |
pdf |
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
Martin Bravenboer, Rob Vermaas, Jurgen Vinju, Eelco Visser |
| UU-CS-2005-034 |
pdf |
Transformations for Abstractions
Eelco Visser |
| 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-031 |
pdf |
Adaptive Code Reuse by Aspects, Cloning and Renaming
Anya Helene Bagge, Martin Bravenboer, Karl Trygve Kalleberg, Koen Muilwijk, Eelco Visser |
| UU-CS-2005-030 |
pdf |
Combining Aspect-Oriented and Strategic Programming
Karl Trygve Kalleberg, Eelco Visser |
| UU-CS-2005-029 |
pdf |
Heuristics for type error discovery and recovery
Jurriaan Hage and Bastiaan Heeren |
| 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-022 |
pdf |
A Survey of Strategies in Rule-Based Program Transformation Systems
E. Visser |
| UU-CS-2005-016 |
pdf |
Ordering Type Constraints: A Structured Approach
Jurriaan Hage and Bastiaan Heeren |
| UU-CS-2005-012 |
pdf |
Generic Views on Data Types
Stefan Holdermans, Johan Jeuring and Andres L\"oh |
| UU-CS-2005-008 |
pdf |
Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding
Frank Atanassow and Johan Jeuring |
| UU-CS-2005-007 |
pdf |
The Embedding Problem for Switching Classes
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg |
| UU-CS-2005-006 |
pdf |
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules
K. Olmos and E. Visser |
| UU-CS-2005-005 |
pdf |
Program Transformation with Scoped Dynamic Rewrite Rules
M. Bravenboer, A. van Dam, K. Olmos, and E. Visser |
| UU-CS-2005-004 |
pdf |
Generic Haskell User's Guide -- Version 1.42 (Coral)
Andres Loeh, Johan Jeuring (editors); Dave Clarke, Ralf Hinze, Alexey Rodriguez, Jan de Wit |
| 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-054 |
pdf |
Building Verification Condition Generators by Compositional Extensions
I. S. W. B. Prasetya, A. Azurat, and T.E.J. Vos |
| UU-CS-2004-052 |
pdf |
The lazy virtual machine specification
Daan Leijen |
| UU-CS-2004-051 |
pdf |
First-class labels for extensible rows
Daan Leijen |
| UU-CS-2004-046 |
pdf |
Build-level Component-Based Software Engineering
Merijn de Jonge |
| UU-CS-2004-045 |
pdf |
Nix: A Safe and Policy-Free System for Software Deployment
Eelco Dolstra, Merijn de Jonge and Eelco Visser |
| UU-CS-2004-044 |
pdf |
Imposing a Memory Management Discipline on Software Deployment
Eelco Dolstra, Eelco Visser and Merijn de Jonge |
| UU-CS-2004-039 |
pdf |
A first attempt at type class directives
Bastiaan Heeren en Jurriaan Hage |
| 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-2004-024 |
pdf |
Decoupling Source Trees into Build-level Components
Merijn de Jonge |
| UU-CS-2004-023 |
pdf |
Embedding in Switching Classes with Skew Gains
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, and Grzegorz Rosenberg |
| UU-CS-2004-012 |
pdf |
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
Bernd Fischer and Eelco Visser |
| UU-CS-2004-011 |
pdf |
Program Transformation with Stratego/XT. Rules, Strategies, Tools, and Systems in Stratego/XT 0.9
Eelco Visser |
| UU-CS-2003-052 |
pdf |
Timeline Variability: The Variability of Binding Time of Variation Points
E. Dolstra, G. Florijn, and E. Visser |
| UU-CS-2003-051 |
pdf |
Capturing Timeline Variability with Transparent Configuration Environments
E. Dolstra, G. Florijn, M. de Jonge, and E. Visser |
| UU-CS-2003-050 |
pdf |
Strategies for Fusing Logic and Control via Local, Application-Specific Transformations
P. Johann and E. Visser |
| UU-CS-2003-049 |
pdf |
Turning dynamic typing into static typing by program specialization
K. Olmos and E. Visser |
| UU-CS-2003-048 |
pdf |
Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation Systems
Jonne van Wijngaarden and Eelco Visser |
| 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-2003-030 |
pdf |
Proceedings of the First International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO)
Dave Clark (editor) |
| UU-CS-2003-023 |
ps.gz
pdf |
Scripting XML with Generic Haskell
Frank Atanassow, Dave Clarke, Johan Jeuring |
| UU-CS-2003-022 |
pdf |
Dependency-style Generic Haskell
Andres Lö, Dave Clarke, and Johan Jeuring |
| UU-CS-2003-016 |
pdf |
Generic Haskell: Applications
Ralf Hinze and Johan Jeuring |
| UU-CS-2003-015 |
pdf |
Generic Haskell: Practice and Theory
Ralf Hinze and Johan Jeuring |
| UU-CS-2002-048 |
ps.gz
pdf |
External Uniqueness is Unique Enough
Dave Clarke, Tobias Wrigstad |
| UU-CS-2002-047 |
pdf |
The Generic Haskell User's Guide. Version 1.23 - Beryl release
David Clarke, Johan Jeuring, Andres Löh |
| UU-CS-2002-042 |
ps.gz
pdf |
Strategies for Source-to-Source Constant Propagation
Karina Olmos and Eelco Visser |
| UU-CS-2002-035 |
ps.gz
pdf |
Parametric Type Inferencing for Helium
Bastiaan Heeren and Jurriaan Hage |
| 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-028 |
pdf |
Meta-programming with concrete object syntax
E. Visser |
| 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-023 |
pdf |
Generic Programming for XML Tools
Johan Jeuring, Paul Hagg |
| UU-CS-2002-022 |
pdf |
Building interpreters with rewriting strategies
E. Dolstra, E. Visser |
| UU-CS-2002-021 |
pdf |
Rewriting Strategies for Instruction Selection
Martin Bravenboer, Eelco Visser |
| UU-CS-2002-017 |
ps.gz
pdf |
Euler graphs, triangle-free graphs and bipartite graphs in switching classes
Jurriaan Hage, Tero Harju, and Emo Welzl |
| UU-CS-2002-011 |
ps.gz
pdf |
Type-indexed data types
Ralf Hinze, Johan Jeuring, Andres Löh |
| 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-2002-008 |
ps.gz
pdf |
A preliminary report on xMECH
A. Azurat and I.S.W.B. Prasetya |
| UU-CS-2002-007 |
ps.gz
pdf |
A Survey on Embedding Programming Logics in a Theorem Prover
A. Azurat and I.S.W.B. Prasetya |
| UU-CS-2001-62 |
pdf |
Preliminary proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001)
Ralf Hinze (editor) |
| UU-CS-2001-54 |
ps.gz
pdf |
Proceedings of the Second Stratego Users Day
Eelco Visser (editor) |
| UU-CS-2001-42 |
pdf |
Guiding visitors: separating navigation from computation
Martin Bravenboer, Eelco Visser |
| 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-39 |
pdf |
Disambiguation filters for scannerless generalized LR parsers
M.G.J. van den Brand, J. Scheerder, J.J. Vinju, E. Visser |
| UU-CS-2001-38 |
pdf |
First-class rules and generic traversal
E. Dolstra, E. Visser |
| UU-CS-2001-35 |
pdf |
Parsec: Direct style monadic parser combinators for the real world
D. J. P. Leijen, H. J. M. Meijer |
| UU-CS-2001-34 |
pdf |
Polytypic data conversion programs
P. Jansson, J. T. Jeuring |
| UU-CS-2001-33 |
pdf |
Functional Pearl. Weaving a Web
R. Hinze, J. T. Jeuring |
| UU-CS-2001-32 |
ps.gz
pdf |
CodeBoost. A framework for transforming C++ programs
O. S. Bagge, M. Haveraaen, E. Visser |
| UU-CS-2001-31 |
pdf |
A survey of rewriting strategies in program transformation systems
E. Visser |
| UU-CS-2001-30 |
pdf |
Fusing logic and control with local transformations: an example optimization
P. Johann, E. Visser |
| UU-CS-2001-29 |
pdf |
Scoped dynamic rewrite rules
E. Visser |
| UU-CS-2001-28 |
pdf |
Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5
E. Visser |
| UU-CS-2001-27 |
pdf |
Enumerating submultisets of multisets
J. Hage |
| UU-CS-2001-26 |
pdf |
The Generic Haskell User's Guide
D. Clarke, R. T. W. Hinze, J. T. Jeuring, A. Löh, J. de Wit |
| UU-CS-2001-18 |
pdf |
Lazy Functional Parser Combinators in Java
Atze Dijkstra, Doaitse S. Swierstra |
| UU-CS-2001-09 |
pdf |
A Simple Implementation Technique for Priority Search Queues
R. T. W. Hinze |
| UU-CS-2000-43 |
ps.gz
pdf |
Warm fusion in Stratego - A case study in the generation of program transformation systems
P. Johann, E. Visser |
| UU-CS-2000-19 |
ps.gz
pdf |
Proceedings Workshop on Generic Programming (WGP2000)
J. T. Jeuring |
| 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-28 |
ps.gz
pdf |
Proceedings of the 1999 Haskell Workshop
H. J. M. Meijer |
| 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-1996-01 |
ps.gz
pdf |
Formalizing UNITY with HOL
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-50 |
pdf |
Modelling Office Processes with Functional Parsers
G. Florijn |
| UU-CS-1994-19 |
pdf |
Mechanization of Substitution Rule and Compostionality of UNITY in HOL
I.S.W.B. Prasetya |
| UU-CS-1994-06 |
pdf |
Hazard Algebra for Asynchronous Circuits
E. Meijer |
| UU-CS-1994-05 |
pdf |
More Advice on Proving a Compiler Correct: Improve a Correct Compiler
E. Meijer |
| UU-CS-1994-04 |
pdf |
Back to Basics: Deriving Presentations Changers Without Relations
G. Hutton and E. Meijer |
| UU-CS-1994-01 |
ps.gz
pdf |
Bottom-up grammar analysis - A functional formulation
J. T. Jeuring, S. D. Swierstra |
| RUU-CS-93-46 |
ps.gz
pdf |
Multi-traversal tree-decoration in a functional setting: monads versus bindings
M. Pennings |
| RUU-CS-93-29 |
pdf |
The Secrets of Causality
F. Rietman |
| RUU-CS-93-08 |
pdf |
Mapping objects to files: a UNIX file system interface to an object management system
Gert Florijn and Leo Soepenberg and Atze Dijkstra |
| RUU-CS-93-07 |
ps.gz
pdf |
On the relation between Unity properties and sequences of states
R. T. Udink, J. N. Kok |
| 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-23 |
pdf |
Congruences and quotients in categories of algebras
N. Verwer |
| RUU-CS-92-18 |
pdf |
Speeding up parallelism detection for attribute grammars
M.F. Kuiper |
| 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-34 |
pdf |
Superposition refinement of parallel algorithms
R.J.R. Back and K. Sere |
| RUU-CS-91-17 |
pdf |
Stepwise refinement of reactive processor farms
K. Sere |
| 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-91-11 |
pdf |
Mechanising proofs of program transformaton rules
K. Sere and J. von Wright |
| RUU-CS-90-43 |
pdf |
From game trees to game graphs
W.T.M. Kars |
| RUU-CS-90-38 |
pdf |
Categorical semantics as a basis for program transformation
N. Verwer |
| 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-23 |
pdf |
Rapid development of a program transformation system with attribute grammars and dynamic transformations
H. Vogt and A. van den Berg and A. Freije |
| RUU-CS-90-14 |
pdf |
A lower bound for full polymorphic type inference: Girard-Reynolds Typability is DEXPTIME-hard
F. Henglein |
| 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-90-06 |
pdf |
Deriving programming laws categorically
N. Verwer |
| RUU-CS-90-05 |
pdf |
Homomorphisms, factorisation and promotion
N. Verwer |
| RUU-CS-90-04 |
pdf |
Paramorphisms
L. Meertens |
| RUU-CS-90-03 |
pdf |
Algorithms from theorems
J. Jeuring |
| RUU-CS-89-33 |
pdf |
Fast left-linear semi-unification
F. Henglein |
| RUU-CS-89-14 |
pdf |
The systematic construction of a one-combinator basis
J. Fokker |
| RUU-CS-89-09 |
pdf |
Constructing a calculus of programs
L. Meertens |
| 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-88-30 |
pdf |
Data conversions in abstract data types
N. Verwer |
| RUU-CS-87-26 |
pdf |
The role of divide in divide-and-rule algorithms
O. de Moor |
| RUU-CS-87-24 |
pdf |
Elimination of variables from functional programs
O. de Moor |
| RUU-CS-86-16 |
ps.gz
pdf |
Using attribute grammars to derive efficient functional programs
M. F. Kuiper, S. D. Swierstra |
| RUU-CS-86-15 |
pdf |
How to prove the first and second incompleteness theorem using concatenation
A. Visser and O. de Moor and M.J. Walsteijn |
| RUU-CS-86-14 |
pdf |
Attribute grammars in Prolog
M.J. Walsteijn and M.F. Kuiper |
| 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 |
| RUU-CS-83-03 |
pdf |
Interaction with personal information systems (in Dutch)
P. van Oostrum |
| author |
group |
| Atanassow, F. |
all reports |
software technology |
all reports |
| 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 |
| Bagge, drs. A.H. |
all reports |
software technology |
all reports |
| Bijlsma, dr. A. |
all reports |
software technology |
all reports |
| Bravenboer, dr. M. |
all reports |
software technology |
all reports |
| Brinkkemper, prof. dr. S. |
all reports |
organisation and information |
all reports |
| Clarke, D.G. |
all reports |
software technology |
all reports |
| Dijkstra, dr. A. |
all reports |
software technology |
all reports |
| Dolstra, dr. E. |
all reports |
software technology |
all reports |
| Florijn, ing. G. |
all reports |
software technology |
all reports |
| Fokker, drs. J.D. |
all reports |
software technology |
all reports |
| Gerdes, ir. A. |
all reports |
software technology |
all reports |
| Guerra, R.M. |
all reports |
software technology |
all reports |
| Haas, drs. W.B. de |
all reports |
multimedia and geometry |
all reports |
| Hage, dr. J. |
all reports |
software technology |
all reports |
| Heeren, dr. B.J. |
all reports |
software technology |
all reports |
| Henglein, dr. F.H. |
all reports |
software technology |
all reports |
| Hinze, dr. R.T.W. |
all reports |
software technology |
all reports |
| Holdermans, drs. S. |
all reports |
software technology |
all reports |
| Jansen, dr. S. |
all reports |
organisation and information |
all reports |
| Jeuring, prof. dr. J.T. |
all reports |
software technology |
all reports |
| Jonge, dr. M. de |
all reports |
software technology |
all reports |
| Kalleberg, MSc K.T. |
all reports |
software technology |
all reports |
| Kars, dr. W.T.M. |
all reports |
software technology |
all reports |
| Khadka, drs. R. |
all reports |
organisation and information |
all reports |
| Kok, prof. dr. J.N. |
all reports |
games and virtual worlds |
all reports |
| Kuiper, dr. M.F. |
all reports |
software technology |
all reports |
| Leather, MSc S.P. |
all reports |
software technology |
all reports |
| Leeuwen, drs. A.J. van |
all reports |
software technology |
all reports |
| Leijen, dr. DJP |
all reports |
software technology |
all reports |
| Löh, dr. A. |
all reports |
software technology |
all reports |
| Magalhães, ir. J.P. |
all reports |
software technology |
all reports |
| Meertens, prof. L.G.L.T. |
all reports |
software technology |
all reports |
| Meijer, dr. HJM |
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 |
| Noort, MSc T.R. van |
all reports |
software technology |
all reports |
| Olmos Joffre, dr. K.R. |
all reports |
software technology |
all reports |
| Oostrum, drs. P. van |
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 |
| Rietman, dr. F.J. |
all reports |
software technology |
all reports |
| Rodriguez Yakushev, dr. A.L. |
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 |
| Sere, prof. K |
all reports |
software technology |
all reports |
| Swierstra, prof. dr. S.D. |
all reports |
software technology |
all reports |
| Udink, dr. ir. R.T. |
all reports |
software technology |
all reports |
| Veltkamp, prof. dr. R.C. |
all reports |
multimedia and geometry |
all reports |
| Vermaas, drs. R.B. |
all reports |
software technology |
all reports |
| Versendaal, dr. ir. J.M. |
all reports |
organisation and information |
all reports |
| Verwer, dr. N. |
all reports |
software technology |
all reports |
| Viera Larrea, MSc M.O. |
all reports |
software technology |
all reports |
| Visser, dr. E. |
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 |
| Weerd, dr. I. van de |
all reports |
organisation and information |
all reports |
| Wiering, dr. F. |
all reports |
multimedia and geometry |
all reports |
| Wrigstad, T. |
all reports |
guests and others |
all reports |
BibTeX entries
@TECHREPORT{UUCS2012002,
author = {Gerdes, Alex and Jeuring, Johan and Heeren, Bastiaan},
year = 2012,
title = {An Interactive Functional Programming Tutor},
number = {UU-CS-2012-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
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{UUCS2011031,
author = {Koldenhof, Ernst and Jeuring, Johan and Ruth, Sandra},
year = 2011,
title = {Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode},
number = {UU-CS-2011-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011030,
author = {Lodder, Josje and Jeuring, Johan},
year = 2011,
title = {Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten},
number = {UU-CS-2011-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-030.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{UUCS2011023,
author = {Haas, W.~Bas~de and Magalhães, José~Pedro and Wiering, Frans and Veltkamp, Remco~C.},
year = 2011,
title = {HarmTrace: Automatic functional harmonic analysis},
number = {UU-CS-2011-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011021,
author = {Magalhães, José~Pedro and Jeuring, Johan},
year = 2011,
title = {Generic Programming for Indexed Datatypes},
number = {UU-CS-2011-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011020,
author = {Yakushev, Alexey~Rodriguez and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg and Oliveira, Bruno~C.D.S.},
year = 2011,
title = {Comparing Datatype Generic Libraries in Haskell},
number = {UU-CS-2011-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011019,
author = {Passier, Harrie and Heeren, Bastiaan},
year = 2011,
title = {Modeling XML Content Explained},
number = {UU-CS-2011-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011016,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2011,
title = {Interleaving strategies},
number = {UU-CS-2011-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011009,
author = {Alves, Tiago and Hage, Jurriaan and Rademaker, Peter},
year = 2011,
title = {A Comparative Study of Code Query Technologies},
number = {UU-CS-2011-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011008,
author = {Reijnders, Gijs and Khadka, Ravi and Jansen, Slinger and Hage, Jurriaan},
year = 2011,
title = {Developing a legacy to SOA Migration Method},
number = {UU-CS-2011-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011007,
author = {Magalhães, José~Pedro and Haas, W.~Bas~de},
year = 2011,
title = {Experience Report: Functional Modelling of Musical Harmony},
number = {UU-CS-2011-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011005,
author = {Prasetya, I.~S.~W.~B. and Amorim, J. and Vos, T.~E.~J. and Baars, A.},
year = 2011,
title = {CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases},
number = {UU-CS-2011-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010028,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2010,
title = {Properties of exercise strategies},
number = {UU-CS-2010-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010023,
author = {Biehler, Rolf and Fischer, Pascal~R. and Hochmuth, Reinhard and Jeuring, Johan and Wassong, Thomas},
year = 2010,
title = {How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge},
number = {UU-CS-2010-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010020,
author = {Hage, Jurriaan (editor)},
year = 2010,
title = {Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)},
number = {UU-CS-2010-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010017,
author = {Magalhães, José~Pedro and Dijkstra, Atze and Jeuring, Johan and Löh, Andres},
year = 2010,
title = {A generic deriving mechanism for Haskell},
number = {UU-CS-2010-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010016,
author = {Steenbergen, Martijn~van and Magalhães, José~Pedro and Jeuring, Johan},
year = 2010,
title = {Generic selections of subexpressions},
number = {UU-CS-2010-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010015,
author = {Hage, Jurriaan and Rademaker, Peter and Vugt, Nikè~van},
year = 2010,
title = {A comparison of plagiarism detection tools},
number = {UU-CS-2010-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010011,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2010,
title = {Adapting Mathematical Domain Reasoners},
number = {UU-CS-2010-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010008,
author = {Noort, Thomas~van and Yakushev, Alexey~Rodriguez and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and Magalhães, José~Pedro},
year = 2010,
title = {A Lightweight Approach to Datatype-generic Rewriting},
number = {UU-CS-2010-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009031,
author = {Gerdes, Alex and Jeuring, Johan and Heeren, Bastiaan},
year = 2009,
title = {Using Strategies for Assessment of Programming Exercises},
number = {UU-CS-2009-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009030,
author = {Jeuring, Johan and Heeren, Bastiaan},
year = 2009,
title = {An Interactive Exercise Player for Math-Bridge},
number = {UU-CS-2009-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-030.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{UUCS2009024,
author = {Leather, Sean and Löh, Andres and Jeuring, Johan},
year = 2009,
title = {Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.},
number = {UU-CS-2009-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009022,
author = {Magalhães, José~Pedro and Holdermans, Stefan and Jeuring, Johan and Löh, Andres},
year = 2009,
title = {Optimizing Generics Is Easy!},
number = {UU-CS-2009-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009017,
author = {Jeuring, Alexey~Rodriguez~Yakushev~,Johan},
year = 2009,
title = {Enumerating Well-Typed Terms Generically},
number = {UU-CS-2009-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009016,
author = {Jeuring, Johan and Magalhães, José~Pedro and Heeren, Bastiaan},
year = 2009,
title = {Generic Programming for Domain Reasoners},
number = {UU-CS-2009-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009011,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2009,
title = {Canonical Forms in Interactive Exercise Assistants.},
number = {UU-CS-2009-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009009,
author = {Boustani, Nabil~el and Hage, Jurriaan},
year = 2009,
title = {Corrective Hints for Type Incorrect Generic Java Programs},
number = {UU-CS-2009-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009004,
author = {Camphuijsen, Patrick and Hage, Jurriaan and Holdermans, Stefan},
year = 2009,
title = {Soft Typing PHP},
number = {UU-CS-2009-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009003,
author = {Heeren, Bastiaan and Jeuring, Johan and Gerdes, Alex},
year = 2009,
title = {Strategies for Exercises},
number = {UU-CS-2009-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009001,
author = {Jeuring, Johan and Meertens, Lambert},
year = 2009,
title = {Geniaal programmeren - Generic programming at Utrecht},
number = {UU-CS-2009-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008049,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2008,
title = {Constructing Strategies for Programming},
number = {UU-CS-2008-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-049.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{UUCS2008038,
author = {Boustani, Nabil~el and Hage, Jurriaan},
year = 2008,
title = {Improving Type Error Messages for Generic Java},
number = {UU-CS-2008-038},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-038.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008037,
author = {Prasetya, Wishnu and Vos, Tanja},
year = 2008,
title = {Patterns for In-code Algebraic Testing},
number = {UU-CS-2008-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-037.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{UUCS2008025,
author = {Jeuring, Johan and Leather, Sean and Magalhães, José~Pedro and Rodriguez~Yakushev, Alexey},
year = 2008,
title = {Libraries for Generic Programming in Haskell},
number = {UU-CS-2008-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-025.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{UUCS2008020,
author = {Noort, Thomas~van and Rodriguez, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan},
year = 2008,
title = {A Lightweight Approach to Datatype-Generic Rewriting},
number = {UU-CS-2008-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008019,
author = {Rodriguez, Alexey and Holdermans, Stefan and Löh, Andres and Jeuring, Johan},
year = 2008,
title = {Generic programming with fixed points for mutually recursive datatypes},
number = {UU-CS-2008-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008018,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan and Stuurman, Sylvia},
year = 2008,
title = {Feedback Services for Exercise Assistants},
number = {UU-CS-2008-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008012,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2008,
title = {Recognizing Strategies},
number = {UU-CS-2008-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008011,
author = {Löh, Andres and Jeuring, Johan and Noort, Thomas~van and Rodriguez, Alexey and Clarke, Dave and Hinze, Ralf and Wit, Jan~de},
year = 2008,
title = {The Generic Haskell user's guide, Version 1.80 - Emerald release},
number = {UU-CS-2008-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008010,
author = {Rodriguez~Yakushev, Alexey and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg and Oliviera, Bruno~C.~d.~S.},
year = 2008,
title = {Comparing Libraries for Generic Programming in Haskell},
number = {UU-CS-2008-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008001,
author = {Heeren, Bastiaan and Jeuring, Johan and Leeuwen, Arthur~van and Gerdes, Alex},
year = 2008,
title = {Specifying Strategies for Exercises},
number = {UU-CS-2008-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007053,
author = {Hage, Jurriaan and Harju, Tero},
year = 2007,
title = {On Involutive Anti-Automorphisms of Finite Abelian Groups},
number = {UU-CS-2007-053},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-053.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{UUCS2007037,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Baars, A.},
year = 2007,
title = {Trace-based Reflexive Testing of OO Programs},
number = {UU-CS-2007-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-037.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007036,
author = {Jeuring, Johan},
year = 2007,
title = {Feedback in exercise assistants},
number = {UU-CS-2007-036},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-036.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007029,
author = {Dolstra, Eelco and Hage, Jur and Heeren, Bastiaan and Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Middelkoop, Arie and Rodriguez, Alexey and Schie, John~van and Löh, Clara},
year = 2007,
title = {Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming},
number = {UU-CS-2007-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007027,
author = {Dolstra, Eelco and Hage, Jur and Heeren, Bastiaan and Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Middelkoop, Arie and Rodriguez, Alexey and Schie, John~van and Löh, Clara},
year = 2007,
title = {Morph Endo! Task Description of the Tenth Interstellar Contest on Fuun Programming},
number = {UU-CS-2007-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007023,
author = {Hage, Jurriaan and Keeken, Peter~van},
year = 2007,
title = {The Neon DSEL for Mining Helium Programs},
number = {UU-CS-2007-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007017,
author = {Jeuring, Johan and Passier, Harrie and Stuurman, Sylvia},
year = 2007,
title = {A Generic Framework for Developing Exercise Assistants},
number = {UU-CS-2007-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007012,
author = {Hage, Jurriaan and Keeken, Peter~van},
year = 2007,
title = {Mining Helium programs with Neon},
number = {UU-CS-2007-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007008,
author = {Stuurman, Sylvia and Jeuring, Johan},
year = 2007,
title = {Turning an interactive tool implemented in Haskell into a web application -- An experience report},
number = {UU-CS-2007-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007007,
author = {Jeuring, Johan and Pasman, Wouter},
year = 2007,
title = {Strategy Feedback in an E-learning Tool for Mathematical Exercises},
number = {UU-CS-2007-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006062,
author = {Hage, Jurriaan},
year = 2006,
title = {Programmeerplagiaatdetectie met Marble},
number = {UU-CS-2006-062},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-062.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006055,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2006,
title = {Strategies for solving constraints in program analysis},
number = {UU-CS-2006-055},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-055.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006054,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2006,
title = {Heuristics for type error discovery and recovery (revised revised)},
number = {UU-CS-2006-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-054.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{UUCS2006049,
author = {Löh, Andres and Jeuring, Johan and Rodriguez, Alexey (editors)~et~al.},
year = 2006,
title = {The Generic Haskell user's guide, Version 1.60 - Diamond release},
number = {UU-CS-2006-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006047,
author = {Hage, Jurriaan and Keeken, Peter~van},
year = 2006,
title = {Mining for Helium},
number = {UU-CS-2006-047},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-047.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006043,
author = {Jansson, Patrik and Jeuring, Johan and Programming, students~of~the~Utrecht~University~Generic class},
year = 2006,
title = {Testing properties of generic functions},
number = {UU-CS-2006-043},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-043.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006040,
author = {Lodder, Josje and Jeuring, Johan and Passier, Harrie},
year = 2006,
title = {An interactive tool for manipulating logical formulae},
number = {UU-CS-2006-040},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-040.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006039,
author = {Jeuring, Johan and Rodriguez, Alexey and Smeding, Gideon},
year = 2006,
title = {Generating generic functions},
number = {UU-CS-2006-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-039.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006028,
author = {Hage, Jurriaan and Harju, Tero},
year = 2006,
title = {Towards a characterization of bipartite switching classes by means of forbidden subgraphs},
number = {UU-CS-2006-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006026,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2006,
title = {Typed Contracts for Functional Programming},
number = {UU-CS-2006-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-026.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006025,
author = {Atanassow, Frank and Jeuring, Johan},
year = 2006,
title = {Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell},
number = {UU-CS-2006-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006024,
author = {Jeuring, Johan and Plasmeijer, Rinus},
year = 2006,
title = {Generic Programming for Software Evolution},
number = {UU-CS-2006-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006022,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2006,
title = {Comparing approaches to generic programming in Haskell },
number = {UU-CS-2006-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006021,
author = {Passier, Harrie and Jeuring, Johan},
year = 2006,
title = {Feedback in an interactive equation solver},
number = {UU-CS-2006-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006020,
author = {Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Rodriguez, Alexey},
year = 2006,
title = {Generic Views on Data Types},
number = {UU-CS-2006-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006014,
author = {Weerd, Inge~van~de and Brinkkemper, Sjaak and Nieuwenhuis, Richard and Versendaal, Johan and Bijlsma, Lex},
year = 2006,
title = {A Reference Framework for Software Product Management},
number = {UU-CS-2006-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006009,
author = {Bravenboer, Martin and Groot, René~de and Visser, Eelco},
year = 2006,
title = {MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT},
number = {UU-CS-2006-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006007,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2006,
title = {Heuristics for type error discovery and recovery (revised)},
number = {UU-CS-2006-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005060,
author = {Rodriguez, Alexey and Jeuring, Johan and Löh, Andres},
year = 2005,
title = {Type Inference for Generic Haskell},
number = {UU-CS-2005-060},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-060.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005055,
author = {Hage, Jurriaan},
year = 2005,
title = {The Helium Logging Facility},
number = {UU-CS-2005-055},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-055.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005053,
author = {Kallenberg, Karl~Trygve and Visser, Eelco (editor)},
year = 2005,
title = {Proceedings of the Sixth Stratego Users Day},
number = {UU-CS-2005-053},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-053.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005052,
author = {Bravenboer, Martin and Kallenberg, Karl~Trygve and Vermaas, Rob and Visser, Eelco},
year = 2005,
title = {Stratego/XT 0.16. Components for Transformation Systems},
number = {UU-CS-2005-052},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-052.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005046,
author = {Prasetya, I.S.W.B. and Azurat, A. and Vos, T.E.J. and Leeuwen, A.~van and Suhartanto, H.},
year = 2005,
title = {Theorem Prover Supported Logics for Small Imperative Languages},
number = {UU-CS-2005-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-046.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005039,
author = {Dolstra, Eelco and Bravenboer, Martin and Visser, Eelco},
year = 2005,
title = {Service Configuration Management},
number = {UU-CS-2005-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-039.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005035,
author = {Bravenboer, Martin and Vermaas, Rob and Vinju, Jurgen and Visser, Eelco},
year = 2005,
title = {Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax},
number = {UU-CS-2005-035},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-035.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005034,
author = {Visser, Eelco},
year = 2005,
title = {Transformations for Abstractions},
number = {UU-CS-2005-034},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-034.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{UUCS2005031,
author = {Bagge, Anya~Helene and Bravenboer, Martin and Kalleberg, Karl~Trygve and Muilwijk, Koen and Visser, Eelco},
year = 2005,
title = {Adaptive Code Reuse by Aspects, Cloning and Renaming},
number = {UU-CS-2005-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005030,
author = {Kalleberg, Karl~Trygve and Visser, Eelco},
year = 2005,
title = {Combining Aspect-Oriented and Strategic Programming},
number = {UU-CS-2005-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005029,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2005,
title = {Heuristics for type error discovery and recovery},
number = {UU-CS-2005-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-029.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{UUCS2005022,
author = {Visser, E.},
year = 2005,
title = {A Survey of Strategies in Rule-Based Program Transformation Systems},
number = {UU-CS-2005-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005016,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2005,
title = {Ordering Type Constraints: A Structured Approach},
number = {UU-CS-2005-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005012,
author = {Holdermans, Stefan and Jeuring, Johan and L\"oh, Andres},
year = 2005,
title = {Generic Views on Data Types},
number = {UU-CS-2005-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005008,
author = {Atanassow, Frank and Jeuring, Johan},
year = 2005,
title = {Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding},
number = {UU-CS-2005-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005007,
author = {Ehrenfeucht, Andrzej and Hage, Jurriaan and Harju, Tero and Rozenberg, Grzegorz},
year = 2005,
title = {The Embedding Problem for Switching Classes},
number = {UU-CS-2005-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005006,
author = {Olmos, K. and Visser, E.},
year = 2005,
title = {Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules},
number = {UU-CS-2005-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005005,
author = {Bravenboer, M. and Dam, A.~van and Olmos, K. and Visser, E.},
year = 2005,
title = {Program Transformation with Scoped Dynamic Rewrite Rules},
number = {UU-CS-2005-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005004,
author = {Loeh, Andres and Clarke, Johan~Jeuring~(editors);~Dave and Hinze, Ralf and Rodriguez, Alexey and Wit, Jan~de},
year = 2005,
title = {Generic Haskell User's Guide -- Version 1.42 (Coral)},
number = {UU-CS-2005-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-004.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{UUCS2004054,
author = {Prasetya, I.~S.~W.~B. and Azurat, A. and Vos, T.E.J.},
year = 2004,
title = {Building Verification Condition Generators by Compositional Extensions},
number = {UU-CS-2004-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-054.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004052,
author = {Leijen, Daan},
year = 2004,
title = {The lazy virtual machine specification},
number = {UU-CS-2004-052},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-052.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004051,
author = {Leijen, Daan},
year = 2004,
title = {First-class labels for extensible rows},
number = {UU-CS-2004-051},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-051.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004046,
author = {Jonge, Merijn~de},
year = 2004,
title = {Build-level Component-Based Software Engineering},
number = {UU-CS-2004-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-046.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004045,
author = {Dolstra, Eelco and Jonge, Merijn~de and Visser, Eelco},
year = 2004,
title = {Nix: A Safe and Policy-Free System for Software Deployment},
number = {UU-CS-2004-045},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-045.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004044,
author = {Dolstra, Eelco and Visser, Eelco and Jonge, Merijn~de},
year = 2004,
title = {Imposing a Memory Management Discipline on Software Deployment},
number = {UU-CS-2004-044},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-044.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004039,
author = {Hage, Bastiaan~Heeren~en~Jurriaan},
year = 2004,
title = {A first attempt at type class directives},
number = {UU-CS-2004-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-039.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{UUCS2004024,
author = {Jonge, Merijn~de},
year = 2004,
title = {Decoupling Source Trees into Build-level Components},
number = {UU-CS-2004-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004023,
author = {Ehrenfeucht, Andrzej and Hage, Jurriaan and Harju, Tero and Rosenberg, Grzegorz},
year = 2004,
title = {Embedding in Switching Classes with Skew Gains},
number = {UU-CS-2004-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004012,
author = {Fischer, Bernd and Visser, Eelco},
year = 2004,
title = {Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax},
number = {UU-CS-2004-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004011,
author = {Visser, Eelco},
year = 2004,
title = {Program Transformation with Stratego/XT. Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 },
number = {UU-CS-2004-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003052,
author = {Dolstra, E. and Florijn, G. and Visser, E.},
year = 2003,
title = {Timeline Variability: The Variability of Binding Time of Variation Points},
number = {UU-CS-2003-052},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-052.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003051,
author = {Dolstra, E. and Florijn, G. and Jonge, M.~de and Visser, E.},
year = 2003,
title = {Capturing Timeline Variability with Transparent Configuration Environments},
number = {UU-CS-2003-051},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-051.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003050,
author = {Johann, P. and Visser, E.},
year = 2003,
title = { Strategies for Fusing Logic and Control via Local, Application-Specific Transformations },
number = {UU-CS-2003-050},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-050.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003049,
author = {Olmos, K. and Visser, E.},
year = 2003,
title = {Turning dynamic typing into static typing by program specialization},
number = {UU-CS-2003-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003048,
author = {Wijngaarden, Jonne~van and Visser, Eelco},
year = 2003,
title = {Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation Systems},
number = {UU-CS-2003-048},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-048.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{UUCS2003030,
author = {Clark, Dave (editor)},
year = 2003,
title = {Proceedings of the First International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO)},
number = {UU-CS-2003-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003023,
author = {Atanassow, Frank and Clarke, Dave and Jeuring, Johan},
year = 2003,
title = {Scripting XML with Generic Haskell},
number = {UU-CS-2003-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-023.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003022,
author = {Lö, Andres and Clarke, Dave and Jeuring, Johan},
year = 2003,
title = {Dependency-style Generic Haskell},
number = {UU-CS-2003-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003016,
author = {Hinze, Ralf and Jeuring, Johan},
year = 2003,
title = {Generic Haskell: Applications},
number = {UU-CS-2003-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003015,
author = {Hinze, Ralf and Jeuring, Johan},
year = 2003,
title = {Generic Haskell: Practice and Theory},
number = {UU-CS-2003-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002048,
author = {Clarke, Dave and Wrigstad, Tobias},
year = 2002,
title = {External Uniqueness is Unique Enough},
number = {UU-CS-2002-048},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-048.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-048.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002047,
author = {Clarke, David and Jeuring, Johan and Löh, Andres},
year = 2002,
title = {The Generic Haskell User's Guide. Version 1.23 - Beryl release},
number = {UU-CS-2002-047},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-047.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002042,
author = {Olmos, Karina and Visser, Eelco},
year = 2002,
title = {Strategies for Source-to-Source Constant Propagation},
number = {UU-CS-2002-042},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-042.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-042.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002035,
author = {Heeren, Bastiaan and Hage, Jurriaan},
year = 2002,
title = {Parametric Type Inferencing for Helium},
number = {UU-CS-2002-035},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-035.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-035.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{UUCS2002028,
author = {Visser, E.},
year = 2002,
title = {Meta-programming with concrete object syntax},
number = {UU-CS-2002-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-028.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{UUCS2002023,
author = {Jeuring, Johan and Hagg, Paul},
year = 2002,
title = {Generic Programming for XML Tools},
number = {UU-CS-2002-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002022,
author = {Dolstra, E. and Visser, E.},
year = 2002,
title = {Building interpreters with rewriting strategies},
number = {UU-CS-2002-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002021,
author = {Bravenboer, Martin and Visser, Eelco},
year = 2002,
title = {Rewriting Strategies for Instruction Selection},
number = {UU-CS-2002-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002017,
author = {Hage, Jurriaan and Harju, Tero and Welzl, Emo},
year = 2002,
title = {Euler graphs, triangle-free graphs and bipartite graphs in switching classes},
number = {UU-CS-2002-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-017.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002011,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2002,
title = {Type-indexed data types},
number = {UU-CS-2002-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-011.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-011.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{UUCS2002008,
author = {Azurat, A. and Prasetya, I.S.W.B.},
year = 2002,
title = {A preliminary report on xMECH},
number = {UU-CS-2002-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-008.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002007,
author = {Azurat, A. and Prasetya, I.S.W.B.},
year = 2002,
title = {A Survey on Embedding Programming Logics in a Theorem Prover},
number = {UU-CS-2002-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-007.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200162,
author = {Hinze, Ralf (editor)},
year = 2001,
title = {Preliminary proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001)},
number = {UU-CS-2001-62},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-62.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200154,
author = {Visser, Eelco (editor)},
year = 2001,
title = {Proceedings of the Second Stratego Users Day},
number = {UU-CS-2001-54},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-54.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-54.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200142,
author = {Bravenboer, Martin and Visser, Eelco},
year = 2001,
title = {Guiding visitors: separating navigation from computation},
number = {UU-CS-2001-42},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-42.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{UUCS200139,
author = {Brand, M.G.J.~van~den and Scheerder, J. and Vinju, J.J. and Visser, E.},
year = 2001,
title = {Disambiguation filters for scannerless generalized LR parsers},
number = {UU-CS-2001-39},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-39.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200138,
author = {Dolstra, E. and Visser, E.},
year = 2001,
title = {First-class rules and generic traversal},
number = {UU-CS-2001-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-38.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200135,
author = {Leijen, D.~J.~P. and Meijer, H.~J.~M.},
year = 2001,
title = {Parsec: Direct style monadic parser combinators for the real world},
number = {UU-CS-2001-35},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-35.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200134,
author = {Jansson, P. and Jeuring, J.~T.},
year = 2001,
title = {Polytypic data conversion programs},
number = {UU-CS-2001-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-34.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200133,
author = {Hinze, R. and Jeuring, J.~T.},
year = 2001,
title = {Functional Pearl. Weaving a Web},
number = {UU-CS-2001-33},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-33.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200132,
author = {Bagge, O.~S. and Haveraaen, M. and Visser, E.},
year = 2001,
title = {CodeBoost. A framework for transforming C++ programs},
number = {UU-CS-2001-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-32.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-32.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200131,
author = {Visser, E.},
year = 2001,
title = {A survey of rewriting strategies in program transformation systems},
number = {UU-CS-2001-31},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-31.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200130,
author = {Johann, P. and Visser, E.},
year = 2001,
title = {Fusing logic and control with local transformations: an example optimization},
number = {UU-CS-2001-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200129,
author = {Visser, E.},
year = 2001,
title = {Scoped dynamic rewrite rules},
number = {UU-CS-2001-29},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-29.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200128,
author = {Visser, E.},
year = 2001,
title = {Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5},
number = {UU-CS-2001-28},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-28.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200127,
author = {Hage, J.},
year = 2001,
title = {Enumerating submultisets of multisets},
number = {UU-CS-2001-27},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-27.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200126,
author = {Clarke, D. and Hinze, R.~T.~W. and Jeuring, J.~T. and Löh, A. and Wit, J.~de},
year = 2001,
title = {The Generic Haskell User's Guide},
number = {UU-CS-2001-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-26.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{UUCS200109,
author = {Hinze, R.~T.~W.},
year = 2001,
title = {A Simple Implementation Technique for Priority Search Queues},
number = {UU-CS-2001-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200043,
author = {Johann, P. and Visser, E.},
year = 2000,
title = {Warm fusion in Stratego - A case study in the generation of program transformation systems},
number = {UU-CS-2000-43},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-43.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-43.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200019,
author = {Jeuring, J.~T.},
year = 2000,
title = {Proceedings Workshop on Generic Programming (WGP2000)},
number = {UU-CS-2000-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-19.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-19.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{UUCS199928,
author = {Meijer, H.~J.~M.},
year = 1999,
title = {Proceedings of the 1999 Haskell Workshop},
number = {UU-CS-1999-28},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-28.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-28.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{UUCS199601,
author = {Prasetya, S.~W.~B.},
year = 1996,
title = {Formalizing UNITY with HOL},
number = {UU-CS-1996-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-01.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{UUCS199450,
author = {Florijn, G.},
year = 1994,
title = {Modelling Office Processes with Functional Parsers},
number = {UU-CS-1994-50},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-50.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199419,
author = {Prasetya, I.S.W.B.},
year = 1994,
title = {Mechanization of Substitution Rule and Compostionality of UNITY in HOL},
number = {UU-CS-1994-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-19.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199406,
author = {Meijer, E.},
year = 1994,
title = {Hazard Algebra for Asynchronous Circuits},
number = {UU-CS-1994-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199405,
author = {Meijer, E.},
year = 1994,
title = {More Advice on Proving a Compiler Correct: Improve a Correct Compiler},
number = {UU-CS-1994-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199404,
author = {Hutton, G. and Meijer, E.},
year = 1994,
title = {Back to Basics: Deriving Presentations Changers Without Relations},
number = {UU-CS-1994-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-04.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{RUUCS9346,
author = {Pennings, M.},
year = 1993,
title = {Multi-traversal tree-decoration in a functional setting: monads versus bindings},
number = {RUU-CS-93-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-46.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-46.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9329,
author = {Rietman, F.},
year = 1993,
title = {The Secrets of Causality},
number = {RUU-CS-93-29},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-29.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9308,
author = {Florijn, Gert and Soepenberg, Leo and Dijkstra, Atze},
year = 1993,
title = {Mapping objects to files: a UNIX file system interface to an object management system},
number = {RUU-CS-93-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9307,
author = {Udink, R.~T. and Kok, J.~N.},
year = 1993,
title = {On the relation between Unity properties and sequences of states},
number = {RUU-CS-93-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-07.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{RUUCS9223,
author = {Verwer, N.},
year = 1992,
title = {Congruences and quotients in categories of algebras},
number = {RUU-CS-92-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-23.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9218,
author = {Kuiper, M.F.},
year = 1992,
title = {Speeding up parallelism detection for attribute grammars},
number = {RUU-CS-92-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-18.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{RUUCS9134,
author = {Back, R.J.R. and Sere, K.},
year = 1991,
title = {Superposition refinement of parallel algorithms},
number = {RUU-CS-91-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-34.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9117,
author = {Sere, K.},
year = 1991,
title = {Stepwise refinement of reactive processor farms},
number = {RUU-CS-91-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-17.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{RUUCS9111,
author = {Sere, K. and Wright, J.~von},
year = 1991,
title = {Mechanising proofs of program transformaton rules},
number = {RUU-CS-91-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-11.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9043,
author = {Kars, W.T.M.},
year = 1990,
title = {From game trees to game graphs},
number = {RUU-CS-90-43},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-43.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9038,
author = {Verwer, N.},
year = 1990,
title = {Categorical semantics as a basis for program transformation},
number = {RUU-CS-90-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-38.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{RUUCS9023,
author = {Vogt, H. and Berg, A.~van~den and Freije, A.},
year = 1990,
title = {Rapid development of a program transformation system with attribute grammars and dynamic transformations},
number = {RUU-CS-90-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-23.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9014,
author = {Henglein, F.},
year = 1990,
title = {A lower bound for full polymorphic type inference: Girard-Reynolds Typability is DEXPTIME-hard},
number = {RUU-CS-90-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-14.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{RUUCS9006,
author = {Verwer, N.},
year = 1990,
title = {Deriving programming laws categorically},
number = {RUU-CS-90-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9005,
author = {Verwer, N.},
year = 1990,
title = {Homomorphisms, factorisation and promotion},
number = {RUU-CS-90-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9004,
author = {Meertens, L.},
year = 1990,
title = {Paramorphisms},
number = {RUU-CS-90-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9003,
author = {Jeuring, J.},
year = 1990,
title = {Algorithms from theorems},
number = {RUU-CS-90-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8933,
author = {Henglein, F.},
year = 1989,
title = {Fast left-linear semi-unification},
number = {RUU-CS-89-33},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-33.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8914,
author = {Fokker, J.},
year = 1989,
title = {The systematic construction of a one-combinator basis},
number = {RUU-CS-89-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-14.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8909,
author = {Meertens, L.},
year = 1989,
title = {Constructing a calculus of programs},
number = {RUU-CS-89-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-09.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{RUUCS8830,
author = {Verwer, N.},
year = 1988,
title = {Data conversions in abstract data types},
number = {RUU-CS-88-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8726,
author = {Moor, O.~de},
year = 1987,
title = {The role of divide in divide-and-rule algorithms},
number = {RUU-CS-87-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8724,
author = {Moor, O.~de},
year = 1987,
title = {Elimination of variables from functional programs},
number = {RUU-CS-87-24},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-24.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{RUUCS8615,
author = {Visser, A. and Moor, O.~de and Walsteijn, M.J.},
year = 1986,
title = {How to prove the first and second incompleteness theorem using concatenation},
number = {RUU-CS-86-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-15.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8614,
author = {Walsteijn, M.J. and Kuiper, M.F.},
year = 1986,
title = {Attribute grammars in Prolog},
number = {RUU-CS-86-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-14.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}
}
@TECHREPORT{RUUCS8303,
author = {Oostrum, P.~van},
year = 1983,
title = {Interaction with personal information systems (in Dutch)},
number = {RUU-CS-83-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-03.pdf}},
pubcat = {techreport}
}
webmaster@cs.uu.nl,
Sun, 05 Feb 2012 18:14:10 +0100
←
Departement Informatica, Universiteit Utrecht
