2. MPC 1992: Oxford, U.K.

Richard S. Bird, Carroll Morgan, Jim Woodcock (Eds.): Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Lecture Notes in Computer Science 669 Springer 1993, ISBN 3-540-56625-2 BibTeX

@proceedings{DBLP:conf/mpc/1992,
  editor    = {Richard S. Bird and
               Carroll Morgan and
               Jim Woodcock},
  title     = {Mathematics of Program Construction, Second International Conference,
               Oxford, U.K., June 29 - July 3, 1992, Proceedings},
  booktitle = {MPC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {669},
  year      = {1993},
  isbn      = {3-540-56625-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Rod M. Burstall: Extended Calculus of Constructions as a Specification Language (Abstract). 1 BibTeX
Edsger W. Dijkstra: On the Economy of doing Mathematics. 2-10 BibTeX
John Hughes: Pretty-printing: An Exercise in Functional Programming. 11-13 BibTeX
Ugo Montanari: True Concurrency: Theory and Practice. 14-17 BibTeX
Wladyslaw M. Turski: Programming for Behaviour. 18-31 BibTeX

Contributed Lectures

Roland Carl Backhouse, A. J. M. van Gasteren: Calculating a Path Algorithm. 32-44 BibTeX
Richard S. Bird, Oege de Moor: Solving Optimisation Problems with Catamorphism. 45-66 BibTeX
S. M. Brien: A Time-Interval Calculus. 67-79 BibTeX
J. P. H. W. van den Eijnde: Conservative Fixpoint Functions on a Graph. 80-99 BibTeX
Paul H. B. Gardiner, Clare E. Martin, Oege de Moor: An Algebraic Construction of Predicate Transformers. 100-121 BibTeX
Jeremy Gibbons: Upwards and Downwards Accumulations on Trees. 122-138 BibTeX
H. Peter Hofstee: Distributing a Class of Sequential Programs. 139-162 BibTeX
Paul F. Hoogendijk: (Relational) Programming Laws in the Boom Hierarchy of Types. 163-190 BibTeX
Rob R. Hoogerwoord: A Logarithmic Implementation of Flexible Arrays. 191-207 BibTeX
Geraint Jones, Mary Sheeran: Designing Arithmetic Circuits by Refinement in Ruby. 208-232 BibTeX
Johan J. Lukkien: An Operational Semantics for the Guarded Command Language. 233-249 BibTeX
Bernhard Möller, Martin Russling: Shorter Paths to Graph Algorithms. 250-268 BibTeX
Theodore S. Norvell, Eric C. R. Hehner: Logical Specifications for Functional Programs. 269-290 BibTeX
Berry Schoenmakers: Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space. 291-301 BibTeX
Emil Sekerinski: A Calculus for Predicative Programming. 302-322 BibTeX
Yellamraju V. Srinivas: Derivation of a Parallel Matching Algorithm. 323-343 BibTeX
Mark Utting, Ken Robinson: Modular Reasoning in an Object-Oriented Refinement Calculus. 344-367 BibTeX

Additional Contributions

Lex Augusteijn: An Alternative Derivation of a Binary Heap Construction Function. 368-374 BibTeX
Rob R. Hoogerwoord: A Derivation of Huffman's Algorithm. 375-378 BibTeX