Department of Information and Computing Sciences

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

technical reports : Software Technology

select other reports

this selection

group Software Technology

reports (285)

techrep_id file title / author
UU-CS-2017-013 pdf Building a generic feedback system for rule-based problems
Nico Naus and Johan Jeuring
UU-CS-2017-012 pdf Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training
Raja Lala, Johan Jeuring and Timo Overbeek.
UU-CS-2017-011 pdf Cognitive Modelling with Term Rewriting
Ivica Milovanovic, and Johan Jeuring
UU-CS-2017-008 pdf Using scenario smells to analyse scripted communication scenarios in virtual learning environments
Timo Overbeek, Johan Jeuring and Raja Lala
UU-CS-2017-007 pdf An extensible domain-specific language for describing problem-solving procedures
Bastiaan Heeren and Johan Jeuring
UU-CS-2017-006 pdf Code quality Issues in Student Programs
Hieke Keuning, Bastiaan Heeren and Johan Jeuring
UU-CS-2017-005 pdf Scenarios in virtual learning environments for one-to-one communication skills training
Raja Lala, Johan Jeuring, Jordy van Dortmont and Marcell van Geest
UU-CS-2017-003 pdf A Generic Framework for Model-Driven Analysis of Heterogeneous Legacy Software Systems
Amir Saeidi, Jurriaan Hage, Ravi Khadka and Slinger Jansen
UU-CS-2017-002 pdf Structure-aware Version Control: A generic approach using Agda
Victor Cacciari Miraldo and Wouter Swierstra
UU-CS-2016-012 pdf A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
Doaitse Swierstra, Marcos Viera and Atze Dijkstra
UU-CS-2016-011 pdf Context-Dependent Type Error Diagnosis for Functional Languages
Alejandro Serrano Mena and Jurriaan Hage
UU-CS-2016-010 pdf From Attribute Grammars to Constraint Handling Rules
Alejandro Serrano Mena and Jurriaan Hage
UU-CS-2016-009 pdf Generating hints and feedback for Hilbert-style axiomatic proofs
Josje Lodder, Bastiaan Heeren and Johan Jeuring
UU-CS-2016-005 pdf Vorm en effect van Programmeeronderwijs in het primair onderwijs
Johan Jeuring, Gemma Corbalan, Joek van Montfort, Nienke van Es and Hanneke Leeuwestein
UU-CS-2016-003 pdf The Automatic Generation of Knowledge Spaces From Problem Solving Strategies
Ivica Milovanovic and Johan Jeuring
UU-CS-2016-002 pdf An implementation architecture for scenario-based simulations
Raja Lala, Johan Jeuring and Jordy van Dortmont
UU-CS-2016-001 pdf Towards a Systematic Review of Automated Feedback Generation for Programming Exercises – Extended Version
Hieke Keuning, Johan Jeuring and Bastiaan Heeren
UU-CS-2015-021 pdf A domain reasoner for propositional logic
Josje Lodder, Bastiaan Heeren and Johan Jeuring
UU-CS-2015-019 pdf Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback
Alex Gerdes, Bastiaan Heeren, Johan Jeuring andThomas van Binsbergen
UU-CS-2015-017 pdf The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review
Stephanie de Smale, Tom Overmans, Johan Jeuring and Liesbeth van de Grint
UU-CS-2015-015 pdf Proceedings TFPIE 2015: the Fourth International Workshop on Trends in Functional Programming in Education
Johan Jeuring
UU-CS-2015-014 pdf Type Class Instances for Type-Level Lambdas in Haskell
Thijs Alkemade and Johan Jeuring
UU-CS-2015-012 pdf Type-Changing Rewriting and Semantics-Preserving Transformation
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2015-009 pdf Demo: Communicate! — a serious game for communication skills
Johan Jeuring, Frans Grosfeld, Bastiaan Heeren, Michiel Hulsbergen, Richta IJntema, Vincent Jonker, Nicole Mastenbroek, Maarten van der Smagt, Frank Wijmans, Majanne Wolters and Henk van Zeijts
UU-CS-2015-007 pdf A pilot study of the use of LogEx, lessons learned
Josje Lodder, Bastiaan Heeren and Johan Jeuring
UU-CS-2014-027 pdf Effectieve computerapplicaties: vergelijk de didactiek, niet het domein
Johan Jeuring
UU-CS-2014-026 pdf Strategy-based feedback in a programming tutor
Hieke Keuning, Bastiaan Heeren and Johan Jeuring
UU-CS-2014-025 pdf Model solutions and properties for diagnosing student programs in Ask-Elle
Johan Jeuring, Thomas van Binsbergen, Alex Gerdes and Bastiaan Heeren
UU-CS-2014-021 pdf Evaluating Haskell expressions in a tutoring environment
Tim Olmer, Bastiaan Heeren and Johan Jeuring
UU-CS-2014-019 pdf DOMain Specific Type Error Diagnosis (DOMSTED)
Jurriaan Hage
UU-CS-2014-018 pdf A Quantitative Comparison of Semantic Web Page Segmentation Approaches
Robert Kreuzer, Jurriaan Hage en Ad Feelders
UU-CS-2014-017 pdf Cost versus Precision for Approximate Typing for Python
Levin Fritz and Jurriaan Hage
UU-CS-2014-013 pdf Exploiting Attribute Grammars to Achieve Automatic Tupling
Jeroen Bransen, Atze Dijkstra and Doaitse Swierstra
UU-CS-2014-011 pdf Evaluating Rogue User Testing in Industry: an Experience Report
Sebastian Bauersfeld, Antonio de Rojas and Tanja Vos
UU-CS-2014-010 pdf Evaluating Rogue User an Industrial Case Study at Softeam
Sebastian Bauersfeld, Nelly Condori-Fernandez, Tanja Vos, Etienne Brosse and Alessandra Bagnato
UU-CS-2014-009 pdf Evaluating the FITTEST Automated Testing Tools in SOFTEAM: an Industrial Case Study
Etienne Brosse, Alessandra Bagnato, Tanja Vos and Nelly Condori
UU-CS-2014-005 pdf Feedback services for stepwise exercises
Bastiaan Heeren and Johan Jeuring
UU-CS-2014-004 pdf Industrial Perception of Legacy Software System and their Modernization
Belfrit Batlajery, Ravi Khadka, Amir Saeidi, Slinger Jansen and Jurriaan Hage
UU-CS-2013-019 pdf University Students' Achievement Goals and Help-Seeking Strategies in an Intelligent Tutoring System
Bram Vaessen, Frans Prins and Johan Jeuring
UU-CS-2013-018 pdf The 5/10 method: a method for designing educational games
Johan Jeuring, Rick van Rooij and Nicolas Pronost
UU-CS-2013-017 pdf Type-Changing Rewriting and Semantics-Preserving Transformation
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2013-016 pdf Finding palindromes: variants and algorithms
Johan Jeuring
UU-CS-2013-014 pdf Usage of Generic Programming on Hackage — Experience report —
Nikolaos Bezirgiannis, Johan Jeuring and Sean Leather
UU-CS-2013-013 pdf Haskell in the Large
Jurriaan Hage
UU-CS-2013-012 pdf Towards automatic generationof domain-specific mathematical input support
Eric Andre ́s, Bastiaan Heeren and Johan Jeuring
UU-CS-2013-011 pdf Type-changing program transformations with pattern matching
Joeri van Eekelen, Sean Leather and Johan Jeuring
UU-CS-2013-009 pdf Inductive triple graphs: a purely functional approach to represent RDF
Jose Emilio Labra Gayo, Johan Jeuring and Jose María Álvarez Rodríguez
UU-CS-2013-008 pdf The history of finding palindromes
Johan Jeuring
UU-CS-2013-005 pdf Parse Your Options
Doaitse Swierstra and Atze Dijkstra
UU-CS-2013-003 pdf A DSL for describing the artificial intelligence in real-time video games
Tom Hastjarjanto, Johan Jeuring and Sean Leather
UU-CS-2012-016 pdf Compositional Compiler Construction: Oberon0
Marcos Viera and S.Doaitse Swierstra
UU-CS-2012-014 pdf FITTEST Log Format (version 1.1)
Wishnu Prasetya, Alexander Elyasov, Arie Middelkoop and Jurriaan Hage
UU-CS-2012-013 pdf Log-Based Reduction by Rewriting
Alexander Elyasov, Wishnu Prasetya and Jurriaan Hage
UU-CS-2012-012 pdf Using Sub-cases to Improve Log-based Oracles Inference
Wishnu Prasetya, Jurriaan Hage and Alexander Elyasov
UU-CS-2012-011 pdf Feedback Genereren in Leeromgevingen voor Algebra
Johan Jeuring and Bastiaan Heeren
UU-CS-2012-010 pdf Ask-Elle: A Haskell tutor -- Demonstration --
Johan Jeuring, Alex Gerdes and Bastiaan Heeren
UU-CS-2012-009 pdf Generic conversions of abstract syntax rep- resentations
Steven Keuchel and Johan Jeuring
UU-CS-2012-008 pdf Testing Type Class Laws
Johan Jeuring, Patrik Jansson and Cláudio Amaral
UU-CS-2012-007 pdf Teachers and students in charge- Using annotated model solutions in a functional programming tutor-
Alex Gerdes, Bastiaan Heeren and Johan Jeuring
UU-CS-2012-006 pdf Legacy to SOA Evolution:Evaluation Results
Ravi Khadka, Amir Saeide, Andrei Idu, Jurriaan Hage and Slinger Jansen
UU-CS-2012-005 pdf A Programming tutor for Haskell
Johan Jeuring, Alex Gerdes and Bastiaan Heeren
UU-CS-2012-004 pdf Type-and-Transform Systems
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2012-003 pdf Probability estimation and a competence model for rule based e-tutoring systems
Diederik M. Roijers, Johan Jeuring and Ad Feelders
UU-CS-2012-002 pdf 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

indexed authors

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
Bransen, dr. J. 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
Elyasov, A.B. all reports Software Technology all reports
Feelders, dr. A.J. all reports Algorithmic Data Analysis 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, dr. 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, dr. 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
Lala, R. 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, dr. 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
Milovanovic, MSc I. all reports Software Technology all reports
Moor, dr. O. de all reports Software Technology all reports
Naus, MSc N. 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
Pronost, dr. N.G. all reports Games and Virtual Worlds all reports
Rietman, dr. F.J. all reports Software Technology all reports
Rodriguez Yakushev, dr. A.L. all reports Software Technology all reports
Saeidi, A.M. 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
Serrano Mena, A. all reports Software Technology all reports
Swierstra, dr. W.S. all reports Software Technology all reports
Swierstra, prof. dr. (em.) 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, dr. 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{UUCS2017013,
author = {Naus, Nico and Jeuring, Johan},
year = 2017,
title = {Building a generic feedback system for rule-based problems},
number = {UU-CS-2017-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017012,
author = {Lala, Raja and Jeuring, Johan and Overbeek., Timo},
year = 2017,
title = {Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training},
number = {UU-CS-2017-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017011,
author = {Milovanovic, Ivica and Jeuring, Johan},
year = 2017,
title = {Cognitive Modelling with Term Rewriting},
number = {UU-CS-2017-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017008,
author = {Overbeek, Timo and Jeuring, Johan and Lala, Raja},
year = 2017,
title = {Using scenario smells to analyse scripted communication scenarios in virtual learning environments},
number = {UU-CS-2017-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017007,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2017,
title = {An extensible domain-specific language for describing problem-solving procedures},
number = {UU-CS-2017-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017006,
author = {Keuning, Hieke and Heeren, Bastiaan and Jeuring, Johan},
year = 2017,
title = {Code quality Issues in Student Programs},
number = {UU-CS-2017-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017005,
author = {Lala, Raja and Jeuring, Johan and Dortmont, Jordy~van and Geest, Marcell~van},
year = 2017,
title = {Scenarios in virtual learning environments for one-to-one communication skills training},
number = {UU-CS-2017-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017003,
author = {Saeidi, Amir and Hage, Jurriaan and Khadka, Ravi and Jansen, Slinger},
year = 2017,
title = {A Generic Framework for Model-Driven Analysis of Heterogeneous Legacy Software Systems},
number = {UU-CS-2017-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017002,
author = {Miraldo, Victor~Cacciari and Swierstra, Wouter},
year = 2017,
title = {Structure-aware Version Control: A generic approach using Agda},
number = {UU-CS-2017-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016012,
author = {Swierstra, Doaitse and Viera, Marcos and Dijkstra, Atze},
year = 2016,
title = {A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts},
number = {UU-CS-2016-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016011,
author = {Mena, Alejandro~Serrano and Hage, Jurriaan},
year = 2016,
title = {Context-Dependent Type Error Diagnosis for Functional Languages},
number = {UU-CS-2016-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016010,
author = {Mena, Alejandro~Serrano and Hage, Jurriaan},
year = 2016,
title = {From Attribute Grammars to Constraint Handling Rules},
number = {UU-CS-2016-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016009,
author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2016,
title = {Generating hints and feedback for Hilbert-style axiomatic proofs},
number = {UU-CS-2016-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016005,
author = {Jeuring, Johan and Corbalan, Gemma and Montfort, Joek~van and Es, Nienke~van and Leeuwestein, Hanneke},
year = 2016,
title = {Vorm en effect van Programmeeronderwijs in het primair onderwijs},
number = {UU-CS-2016-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016003,
author = {Milovanovic, Ivica and Jeuring, Johan},
year = 2016,
title = {The Automatic Generation of Knowledge Spaces From Problem Solving Strategies},
number = {UU-CS-2016-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016002,
author = {Lala, Raja and Jeuring, Johan and Dortmont, Jordy~van},
year = 2016,
title = {An implementation architecture for scenario-based simulations},
number = {UU-CS-2016-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016001,
author = {Keuning, Hieke and Jeuring, Johan and Heeren, Bastiaan},
year = 2016,
title = {Towards a Systematic Review of Automated Feedback Generation for Programming Exercises – Extended Version},
number = {UU-CS-2016-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015021,
author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2015,
title = {A domain reasoner for propositional logic},
number = {UU-CS-2015-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015019,
author = {Gerdes, Alex and Heeren, Bastiaan and Binsbergen, Johan~Jeuring~andThomas~van},
year = 2015,
title = {Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback},
number = {UU-CS-2015-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015017,
author = {Smale, Stephanie~de and Overmans, Tom and Jeuring, Johan and Grint, Liesbeth~van~de},
year = 2015,
title = {The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review},
number = {UU-CS-2015-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015015,
author = {Jeuring, Johan},
year = 2015,
title = {Proceedings TFPIE 2015: the Fourth International Workshop on Trends in Functional Programming in Education},
number = {UU-CS-2015-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015014,
author = {Alkemade, Thijs and Jeuring, Johan},
year = 2015,
title = {Type Class Instances for Type-Level Lambdas in Haskell},
number = {UU-CS-2015-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015012,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2015,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2015-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015009,
author = {Jeuring, Johan and Grosfeld, Frans and Heeren, Bastiaan and Hulsbergen, Michiel and IJntema, Richta and Jonker, Vincent and Mastenbroek, Nicole and Smagt, Maarten~van~der and Wijmans, Frank and Wolters, Majanne and Zeijts, Henk~van},
year = 2015,
title = {Demo: Communicate! — a serious game for communication skills},
number = {UU-CS-2015-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015007,
author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2015,
title = {A pilot study of the use of LogEx, lessons learned},
number = {UU-CS-2015-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014027,
author = {Jeuring, Johan},
year = 2014,
title = {Effectieve computerapplicaties: vergelijk de didactiek, niet het domein},
number = {UU-CS-2014-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014026,
author = {Keuning, Hieke and Heeren, Bastiaan and Jeuring, Johan},
year = 2014,
title = {Strategy-based feedback in a programming tutor},
number = {UU-CS-2014-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-026.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014025,
author = {Jeuring, Johan and Binsbergen, Thomas~van and Gerdes, Alex and Heeren, Bastiaan},
year = 2014,
title = {Model solutions and properties for diagnosing student programs in Ask-Elle},
number = {UU-CS-2014-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014021,
author = {Olmer, Tim and Heeren, Bastiaan and Jeuring, Johan},
year = 2014,
title = {Evaluating Haskell expressions in a tutoring environment},
number = {UU-CS-2014-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014019,
author = {Hage, Jurriaan},
year = 2014,
title = {DOMain Specific Type Error Diagnosis (DOMSTED)},
number = {UU-CS-2014-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014018,
author = {Kreuzer, Robert and Feelders, Jurriaan~Hage~en~Ad},
year = 2014,
title = {A Quantitative Comparison of Semantic Web Page Segmentation Approaches},
number = {UU-CS-2014-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014017,
author = {Fritz, Levin and Hage, Jurriaan},
year = 2014,
title = {Cost versus Precision for Approximate Typing for Python},
number = {UU-CS-2014-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014013,
author = {Bransen, Jeroen and Dijkstra, Atze and Swierstra, Doaitse},
year = 2014,
title = {Exploiting Attribute Grammars to Achieve Automatic Tupling},
number = {UU-CS-2014-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014011,
author = {Bauersfeld, Sebastian and Rojas, Antonio~de and Vos, Tanja~},
year = 2014,
title = {Evaluating Rogue User Testing in Industry: an Experience Report},
number = {UU-CS-2014-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014010,
author = {Bauersfeld, Sebastian and Condori-Fernandez, Nelly and Vos, Tanja~ and Brosse, Etienne and Bagnato, Alessandra},
year = 2014,
title = {Evaluating Rogue User  an Industrial Case Study at Softeam},
number = {UU-CS-2014-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014009,
author = {Brosse, Etienne and Bagnato, Alessandra and Vos, Tanja and Condori, Nelly},
year = 2014,
title = {Evaluating the FITTEST Automated Testing Tools in SOFTEAM: an Industrial Case Study},
number = {UU-CS-2014-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014005,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2014,
title = {Feedback services for stepwise exercises},
number = {UU-CS-2014-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014004,
author = {Batlajery, Belfrit and Khadka, Ravi and Saeidi, Amir and Jansen, Slinger and Hage, Jurriaan},
year = 2014,
title = {Industrial Perception of Legacy Software System and their Modernization},
number = {UU-CS-2014-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013019,
author = {Vaessen, Bram and Prins, Frans and Jeuring, Johan},
year = 2013,
title = {University Students' Achievement Goals and Help-Seeking Strategies in an Intelligent Tutoring System},
number = {UU-CS-2013-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013018,
author = {Jeuring, Johan and Rooij, Rick~van and Pronost, Nicolas},
year = 2013,
title = {The 5/10 method: a method for designing educational games},
number = {UU-CS-2013-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013017,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2013,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2013-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013016,
author = {Jeuring, Johan},
year = 2013,
title = {Finding palindromes: variants and algorithms},
number = {UU-CS-2013-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013014,
author = {Bezirgiannis, Nikolaos and Jeuring, Johan and Leather, Sean},
year = 2013,
title = {Usage of Generic Programming on Hackage — Experience report —},
number = {UU-CS-2013-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013013,
author = {Hage, Jurriaan},
year = 2013,
title = {Haskell in the Large},
number = {UU-CS-2013-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013012,
author = {Andre, Eric ́s and Heeren, Bastiaan and Jeuring, Johan},
year = 2013,
title = {Towards automatic generationof domain-specific mathematical input support},
number = {UU-CS-2013-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013011,
author = {Eekelen, Joeri~van and Leather, Sean and Jeuring, Johan},
year = 2013,
title = {Type-changing program transformations with pattern matching},
number = {UU-CS-2013-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013009,
author = {Gayo, Jose~Emilio~Labra and Jeuring, Johan and Rodríguez, Jose~María~Álvarez},
year = 2013,
title = {Inductive triple graphs: a purely functional approach to represent RDF},
number = {UU-CS-2013-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013008,
author = {Jeuring, Johan},
year = 2013,
title = {The history of finding palindromes},
number = {UU-CS-2013-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013005,
author = {Swierstra, Doaitse and Dijkstra, Atze},
year = 2013,
title = {Parse Your Options},
number = {UU-CS-2013-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013003,
author = {Hastjarjanto, Tom and Jeuring, Johan and Leather, Sean},
year = 2013,
title = {A DSL for describing the artificial intelligence in real-time video games},
number = {UU-CS-2013-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012016,
author = {Viera, Marcos and Swierstra, S.Doaitse},
year = 2012,
title = {Compositional Compiler Construction: Oberon0},
number = {UU-CS-2012-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012014,
author = {Prasetya, Wishnu and Elyasov, Alexander and Middelkoop, Arie and Hage, Jurriaan},
year = 2012,
title = {FITTEST Log Format (version 1.1)},
number = {UU-CS-2012-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012013,
author = {Elyasov, Alexander and Prasetya, Wishnu and Hage, Jurriaan},
year = 2012,
title = {Log-Based Reduction by Rewriting},
number = {UU-CS-2012-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012012,
author = {Prasetya, Wishnu and Hage, Jurriaan and Elyasov, Alexander},
year = 2012,
title = {Using Sub-cases to Improve Log-based Oracles Inference},
number = {UU-CS-2012-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012011,
author = {Jeuring, Johan and Heeren, Bastiaan},
year = 2012,
title = {Feedback Genereren in Leeromgevingen voor Algebra},
number = {UU-CS-2012-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012010,
author = {Jeuring, Johan and Gerdes, Alex and Heeren, Bastiaan},
year = 2012,
title = {Ask-Elle: A Haskell tutor -- Demonstration --},
number = {UU-CS-2012-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012009,
author = {Keuchel, Steven and Jeuring, Johan},
year = 2012,
title = {Generic conversions of abstract syntax rep- resentations},
number = {UU-CS-2012-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012008,
author = {Jeuring, Johan and Jansson, Patrik and Amaral, Cláudio},
year = 2012,
title = {Testing Type Class Laws},
number = {UU-CS-2012-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012007,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2012,
title = {Teachers and students in charge- Using annotated model solutions in a functional programming tutor-},
number = {UU-CS-2012-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012006,
author = {Khadka, Ravi and Saeide, Amir and Idu, Andrei and Hage, Jurriaan and Jansen, Slinger},
year = 2012,
title = {Legacy to SOA Evolution:Evaluation Results},
number = {UU-CS-2012-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012005,
author = {Jeuring, Johan and Gerdes, Alex and Heeren, Bastiaan},
year = 2012,
title = {A Programming tutor for Haskell},
number = {UU-CS-2012-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012004,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2012,
title = {Type-and-Transform Systems},
number = {UU-CS-2012-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012003,
author = {Roijers, Diederik~M. and Jeuring, Johan and Feelders, Ad},
year = 2012,
title = {Probability estimation and a competence model for rule based e-tutoring systems},
number = {UU-CS-2012-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-003.pdf}},
pubcat = {techreport}
}
@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},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011033,
author = {Swierstra, Wouter and Swierstra, Doaitse and Stutterheim, Jurriën},
year = 2011,
title = {Logisch en Functioneel Programmeren voor Wiskunde D},
number = {UU-CS-2011-033},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-033.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011032,
author = {Viera, Marcos and Swierstra, Doaitse},
year = 2011,
title = {Grammar Fragments Fly First-Class},
number = {UU-CS-2011-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-032.pdf}},
pubcat = {techreport}
}
@TECHREPORT{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}
}