6. MPC 2002: Dagstuhl, Germany

@proceedings{DBLP:conf/mpc/2002,
  editor    = {Eerke A. Boiten and
               Bernhard M{\"o}ller},
  title     = {Mathematics of Program Construction, 6th International Conference,
               MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  booktitle = {MPC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2386},
  year      = {2002},
  isbn      = {3-540-43857-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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
  

Contributed Papers

• 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 Fri May 25 08:28:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page