Formal program development : IFIP TC2/WG 2.1 state-of-the-art report

Introduction -- / -- Bernhard Möller, Helmut Parisch, Steve Schuman -- -- Elements of a relational theory of datatypes / -- Roland Backhouse, Paul Hoogendijk -- -- From dynamic programming to greedy algorithms -- / -- Richard Bird, Oege de Moor -- -- Practical transformation of functional programs -- for efficient execution: a case study -- / -- James Boyle, Terence Harmer -- -- Behavior-oriented specification in Gist / -- Martin Feather -- -- Derivation of graph and pointer algorithms -- / -- Bernhard Möller -- -- The refinement calculus, and literate development -- / -- Carroll Morgan -- -- Formal problem specification on an algebraic basis -- / -- Helmut Partsch -- -- Program development in an algebraic setting -- / -- Peter Pepper -- -- Rules and strategies for program transformation / -- Alberto Peiiorossi, Maurizio Proieili -- -- Endomorphic typing -- / -- Michel Sinlzoff -- -- Automating the design of algorithms -- / -- Douglas Smith -- -- Virtual data structures -- / -- Doaitse Swierstra, Oege de Moor --