default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd MPC 1992: Oxford, U.K.
- Richard S. Bird, Carroll Morgan, Jim Woodcock
:
Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29 - July 3, 1992, Proceedings. Lecture Notes in Computer Science 669, Springer 1993, 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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
