0

Mathematics of Program Construction

Second International Conference, Oxford, U.K., June 29 - July 3,1992.Proceedings, Lecture Notes in Computer Science 669

Erschienen am 06.04.1993
Bibliografische Daten
ISBN/EAN: 9783540566250
Sprache: Englisch
Umfang: viii, 380 S.
Einband: kartoniertes Buch

Beschreibung

InhaltsangabeExtended calculus of constructions as a specification language.- On the economy of doing Mathematics.- Pretty-printing: An exercise in functional programming.- True concurrency: Theory and practice.- Programming for behaviour.- Calculating a path algorithm.- Solving optimisation problems with catamorphisms.- A time-interval calculus.- Conservative fixpoint functions on a graph.- An algebraic construction of predicate transformers.- Upwards and downwards accumulations on trees.- Distributing a class of sequential programs.- (Relational) programming laws in the boom hierarchy of types.- A logarithmic implementation of flexible arrays.- Designing arithmetic circuits by refinement in Ruby.- An operational semantics for the guarded command language.- Shorter paths to graph algorithms.- Logical specifications for functional programs.- Inorder traversal of a binary heap and its inversion in optimal time and space.- A calculus for predicative programming.- Derivation of a parallel matching algorithm.- Modular reasoning in an object-oriented refinement calculus.- An alternative derivation of a binary heap construction function.- A derivation of Huffman's algorithm.