5. MPC 2000: Ponte de Lima, Portugal

@proceedings{DBLP:conf/mpc/2000,
  editor    = {Roland Carl Backhouse and
               Jos{\'e} Nuno Oliveira},
  title     = {Mathematics of Program Construction, 5th International Conference,
               MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  booktitle = {MPC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1837},
  year      = {2000},
  isbn      = {3-540-67727-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Mark P. Jones: Integrating Programming, Properties, and Validation. 1
• Ralf Hinze: Polytypic Values Possess Polykinded Types. 2-27
• Mark Tullsen: The Zip Calculus. 28-44
• Ernie Cohen: Separation and Reduction. 45-59
• Ian J. Hayes: Reasoning about Non-terminating Loops Using Deadline Commands. 60-79
• Jeff W. Sanders, Paolo Zuliani: Quantum Programming. 80-99
• Jan J. M. M. Rutten: Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series. 100-101
• Richard Bornat: Proving Pointer Programs in Hoare Logic. 102-126
• Emil Sekerinski: On Guarded Commands with Fair Choice. 127-139
• Cliff B. Jones: Formal Methods and Dependability. 140-143
• Eerke A. Boiten, John Derrick: Liberating Data Refinement. 144-166
• Michel Charpentier, K. Mani Chandy: Theorems about Composition. 167-186
• Sergei M. Abramov, Robert Glück: The Universal Resolving Algorithm: Inverse Computation in a Functional Language. 187-212
• William L. Harrison, Samuel N. Kamin: Metacomputation-Based Compiler Architecture. 213-229
• Andrew M. Pitts, Murdoch Gabbay: A Metalanguage for Programming with Bound Names Modulo Renaming. 230-255