Premium
A data‐directed approach to program construction
Author(s) -
Cowan D. D.,
Graham J. W.,
Welch J. W.,
Lucena C. J. P.
Publication year - 1980
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380100504
Subject(s) - computer science , programming language , schema (genetic algorithms) , data type , abstract data type , abstraction , data structure , software engineering , information retrieval , philosophy , epistemology
The present paper discusses a method of program construction based on the specification of the data types. The input and output data types and the mapping between them are specified at a high level of abstraction and this non‐procedural specification is used to develop a program schema. The data type and mapping specifications are modified to include a concrete representation of the data and these are used to expand the program schema into a program. A graphical representation for data and program specifications is also introduced and it is shown how this can simplify the techniques and be very useful in program construction. The method is illustrated by developing two programs—the line justifier program described by Gries and the bubblesort.