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. Springer 1993 Lecture Notes in Computer Science ISBN 3-540-56625-2
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
- 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
- Johan J. Lukkien: An Operational Semantics for the Guarded Command Language. 233-249
- 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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team