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

@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
Edsger W. Dijkstra:
On the Economy of doing Mathematics. 2-10
John Hughes:
Pretty-printing: An Exercise in Functional Programming. 11-13
Ugo Montanari:
True Concurrency: Theory and Practice. 14-17
Wladyslaw M. Turski:
Programming for Behaviour. 18-31

Contributed Lectures

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

Additional Contributions

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

Last update Tue Feb 14 04:08:01 2012 CET by the DBLP Team —

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