Invited Talks |
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm / Robert Giegerich ; Peter Steffen |
Some Results in Dynamic Model Theory / Dexter Kozen |
Mathematics in Computer Science Curricula / Jeannette M. Wing |
Contributed Papers |
Logical Relations and Galois Connections / Kevin Backhouse ; Roland Backhouse |
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications / Juan Eduardo Duran |
Fine Control of Demand in Haskell / William Harrison ; Tim Sheard ; James Hook |
Reasoning about Timeouts / Ian J. Hayes |
Eternity Variables to Simulate Specifications / Wim H. Hesselink |
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming / Ralf Hinze |
Type-Indexed Data Types / Johan Jeuring ; Andres Loh |
Verification of JavaÆs AbstractCollection Class: A Case Study / Marieke Huisman |
Solving Regular Path Queries / Yanhong A. Liu ; Fuxiang Yu |
Inverting Functions as Folds / Shin-Cheng Mu ; Richard Bird |
From Kleene Algebra to Refinement Algebra / Joakim von Wright |
Author Index |
Invited Talks |
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm / Robert Giegerich ; Peter Steffen |
Some Results in Dynamic Model Theory / Dexter Kozen |