6. MPC 2002: Dagstuhl, Germany

Eerke A. Boiten, Bernhard Möller (Eds.): Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2386 Springer 2002, ISBN 3-540-43857-2

Invited Talks

Robert Giegerich, Peter Steffen:
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm. 1-20
Dexter Kozen:
Some Results in Dynamic Model Theory. 21
Jeannette M. Wing:
Mathematics in Computer Science Curricula. 22

Kevin Backhouse, Roland Carl Backhouse:
Logical Relations and Galois Connections. 23-39
Juan Eduardo Durán:
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications. 40-67
William L. Harrison, Tim Sheard, James Hook:
Fine Control of Demand in Haskell. 68-93
Ian J. Hayes:
Reasoning about Timeouts. 94-116
Wim H. Hesselink:
Eternity Variables to Simulate Specifications. 117-130
Ralf Hinze:
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. 131-147
Ralf Hinze, Johan Jeuring, Andres Löh:
Type-Indexed Data Types. 148-174
Marieke Huisman:
Verification of Java's AbstractCollection Class: A Case Study. 175-194
Yanhong A. Liu, Fuxiang Yu:
Solving Regular Path Queries. 195-208
Shin-Cheng Mu, Richard S. Bird:
Inverting Functions as Folds. 209-232
Joakim von Wright:
From Kleene Algebra to Refinement Algebra. 233-262

Last update Thu May 23 02:50:45 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page