Bernhard Möller, Helmuth Partsch, Stephen A. Schuman (Eds.): Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Springer 1993 Lecture Notes in Computer Science ISBN 3-540-57499-9- 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
- Michel Sintzoff: Endomorphic Typing. 305-323
- Douglas R. Smith: Automating the Design of Algorithm. 324-354
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team