Author(s)

D.J. Cooke & R.G. Stone

Abstract

A multi-paradigm approach to formal program derivation D.J. Cooke, R.G. Stone Department of Computer Studies, L UT, Loughborough, LE11 3TU, UK Different programming paradigms and the various "programming methodologies" are often portrayed as disparate and in conflict. In contrast, we regard certain of the well-known paradigms as being closely related and providing intermediate forms within a unified framework for the derivation of (parallel or linear) procedural program designs from unbiased predicate logic specifications. Overview: we outline and illustrate a logically defensible framework for the construction of correct procedural programs from unbiased specifications. These (so-called model-based) specifications consist of pairs of predicates that describe the acceptability of input values, and the relationship between such an input and associated output values. As intermediate results of the construction process, we obtain skeletal designs for programs in various

Keywords