Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /
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 i...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1993.
|
| Series: | Lecture notes in computer science ;
669. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Extended calculus of constructions as a specification language / Rod Burstall
- On the economy of doing mathematics / Edsger W. Dijkstra
- Pretty-printing : an exercise in functional programming / John Hughes
- True concurrency : theory and practice / Ugo Montanari
- Programming for behaviour / Władysław M. Turski
- Calculating a path algorithm / Roland C. Backhouse and A.J.M. van Gasteren
- Solving optimization problems with catamorphisms / Richard S. Bird and Oege de Moor
- A time-interval calculus / S.M. Brien
- Conservative fixpoint functions on a graph / J.P.H.W. van den Eijnde
- An algebraic construction of predicate transformers / Paul Gardiner, Clare Martin and Oege de Moor
- Upwards and downwards accumulations on trees / Jeremy Gibbons
- Distributing a class of sequential programs / H. Peter Hofstee
- (Relational) programming laws in the boom hierarchy of types / Paul F. Hoogendijk.
- A logarithmic implementation of flexible arrays / Rob R. Hoogerwoord
- Designing arithmetic circuits by refinement in Ruby / Geraint Jones and Mary Sheeran
- An operational semantics for the guarded command language / Johan J. Lukkien
- Shorter paths to graph algorithms / Bernhard Möller and Martin Russling
- Logical specifications for functional programs / Theodore S. Norvell and Eric C.R. Hehner
- Inorder traversal of a binary heap and its inversion in optimal time and space / Berry Schoenmakers
- A calculus for predicative programming / Emil Sekerinski
- Derivation of a parallel matching algorithm / Yellamraju V. Srinivas
- Modular reasoning in an object-oriented refinement calculus / Mark Utting and Ken Robinson
- An alternative derivation of a binary heap construction function / Lex Augusteijn
- A derivation of Huffman's algorithm / Rob. R. Hoogerwoord.