Formal Program Development 1993

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman (Eds.): Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755 Springer 1993, ISBN 3-540-57499-9

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
Introduction. 1-6
Roland Carl Backhouse, Paul F. Hoogendijk:
Elements of a Relational Theory of Datatypes. 7-42
Richard S. Bird, Oege de Moor:
From Dynamic Programming to Greedy Algorithms. 43-61
James M. Boyle, Terence J. Harmer:
Practical Transformation of Functional Programs for Efficient Execution: A Case Study. 62-88
Martin S. Feather:
Behavior-Oriented Specification in Gist. 89-122
Bernhard Möller:
Derivation of Graph and Pointer Algorithms. 123-160
Carroll Morgan:
The Refinement Calculus, and Literate Development. 161-182
Helmuth Partsch:
Formal Problem Specification on an Algebraic Basis. 183-224
Peter Pepper:
Program Development in an Algebraic Setting. 225-262
Alberto Pettorossi, Maurizio Proietti:
Rules and Strategies for Program Transformation. 263-304
Michel Sintzoff:
Endomorphic Typing. 305-323
Douglas R. Smith:
Automating the Design of Algorithm. 324-354
S. Doaitse Swierstra, Oege de Moor:
Virtual Data Structures. 355-371

Last update Sat May 25 18:26:13 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page