Skip to main content
SpringerLink
Log in
Book cover

Mathematics of Program Construction

Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. R. S. Bird
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. C. C. Morgan
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. J. C. P. Woodcock
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 669)

Included in the following conference series:

Conference proceedings info: MPC 1992.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. Extended calculus of constructions as a specification language

    • Rod Burstall
    Pages 1-1

  3. On the economy of doing Mathematics

    • Edsger W. Dijkstra
    Pages 2-10

  4. Pretty-printing: An exercise in functional programming

    • John Hughes
    Pages 11-13

  5. True concurrency: Theory and practice

    • Ugo Montanari
    Pages 14-17

  6. Programming for behaviour

    • WÅ‚adysÅ‚aw M. Turski
    Pages 18-31

  7. Calculating a path algorithm

    • Roland C. Backhouse, A. J. M. van Gasteren
    Pages 32-44

  8. Solving optimisation problems with catamorphisms

    • Richard S. Bird, Oege de Moor
    Pages 45-66

  9. A time-interval calculus

    • S. M. Brien
    Pages 67-79

  10. Conservative fixpoint functions on a graph

    • J. P. H. W. van den Eijnde
    Pages 80-99

  11. An algebraic construction of predicate transformers

    • Paul Gardiner, Clare Martin, Oege de Moor
    Pages 100-121

  12. Upwards and downwards accumulations on trees

    • Jeremy Gibbons
    Pages 122-138

  13. Distributing a class of sequential programs

    • H. Peter Hofstee
    Pages 139-162

  14. (Relational) programming laws in the boom hierarchy of types

    • Paul F. Hoogendijk
    Pages 163-190

  15. A logarithmic implementation of flexible arrays

    • Rob R. Hoogerwoord
    Pages 191-207

  16. Designing arithmetic circuits by refinement in Ruby

    • Geraint Jones, Mary Sheeran
    Pages 208-232

  17. An operational semantics for the guarded command language

    • Johan J. Lukkien
    Pages 233-249

  18. Shorter paths to graph algorithms

    • Bernhard Möller, Martin Russling
    Pages 250-268

  19. Logical specifications for functional programs

    • Theodore S. Norvell, Eric C. R. Hehner
    Pages 269-290

  20. Inorder traversal of a binary heap and its inversion in optimal time and space

    • Berry Schoenmakers
    Pages 291-301
Back to top

Other volumes

  1. Mathematics of Program Construction

Keywords

About this book

Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is moreand more interest from industry in formal methods based on mathematics. This interest has come from the success of a number of experiments on real industrial applications. Thus, there is not only a belief, but also evidence, that the study of computer programs as mathematical objects leads to more efficient methods for constructing them. The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's College, Oxford, June 29 - July 3, 1992. The conference was organized by the Oxford University Programming Research Group, and continued the theme set by the first - the use of crisp, clear mathematics in the discovery and design of algorithms. The second conference gives evidence of the ever-widening impact of precise mathematical methods in program development. There are papers applying mathematics not only to sequential programs but also to parallel and on-current applications, real-time and reactive systems, and to designs realised directly in hardware. The volume includes 5 invited papers and 19 contributed papers.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation