5. MPC 2000: Ponte de Lima, Portugal

Roland Carl Backhouse, José Nuno Oliveira (Eds.): Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Lecture Notes in Computer Science 1837 Springer 2000, ISBN 3-540-67727-5 BibTeX

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