Mathematics of program construction. 2nd international conference, Oxford, UK, June 29 - July 3, 1992. Proceedings (Q1310274)

The articles of this volume will be reviewed individually within the Lecture Notes in Computer Science Database. Indexed articles: \textit{Burstall, Rod}, Extended calculus of constructions as a specification language, 1 [Zbl 0793.68019] \textit{Dijkstra, Edsger W.}, On the economy of doing mathematics, 2-10 [Zbl 0825.68260] \textit{Montanari, Ugo}, True concurrency: Theory and practice, 14-17 [Zbl 0796.68092] \textit{Turski, Władysław M.}, Programming for behaviour, 18-31 [Zbl 0792.68099] \textit{Backhouse, Roland C.; van Gasteren, A. J. M.}, Calculating a path algorithm, 32-44 [Zbl 0791.68128] \textit{Bird, Richard S.; de Moor, Oege}, Solving optimisation problems with catamorphisms, 45-66 [Zbl 0791.68110] \textit{Brien, S. M.}, A time-interval calculus, 67-79 [Zbl 0789.68091] \textit{van den Eijnde, J. P. H. W.}, Conservative fixpoint functions on a graph, 80-99 [Zbl 0797.68023] \textit{Gardiner, Paul; Martin, Clare; de Moor, Oege}, An algebraic construction of predicate transformers, 100-121 [Zbl 0796.18004] \textit{Gibbons, Jeremy}, Upwards and downwards accumulations on trees, 122-138 [Zbl 0791.68032] \textit{Hofstee, H. Peter}, Distributing a class of sequential programs, 139-162 [Zbl 0942.68514] \textit{Hoogendijk, Paul F.}, (Relational) programming laws in the Boom hierarchy of types, 163-190 [Zbl 0797.68025] \textit{Hoogerwoord, Rob R.}, A logarithmic implementation of flexible arrays, 191-207 [Zbl 0789.68025] \textit{Jones, Geraint; Sheeran, Mary}, Designing arithmetic circuits by refinement in Ruby, 208-232 [Zbl 0789.68065] \textit{Lukkien, Johan J.}, An operational semantics for the guarded command language, 233-249 [Zbl 0942.68614] \textit{Möller, Bernhard; Russling, Martin}, Shorter paths to graph algorithms, 250-268 [Zbl 0942.68601] \textit{Norvell, Theodore S.; Hehner, Eric C. R.}, Logical specifications for functional programs, 269-290 [Zbl 0789.68097] \textit{Sekerinski, Emil}, A calculus for predicative programming, 302-322 [Zbl 0789.68098] \textit{Srinivas, Yellamraju V.}, Derivation of a parallel matching algorithm, 323-343 [Zbl 0942.68795] \textit{Hoogerwoord, Rob R.}, A derivation of Huffman's algorithm, 375-378 [Zbl 0789.68109]