Issue No. 03 - May (1983 vol. 9)
L. Logrippo , Software Reliability Research Group, Department of Computer Science, University of Ottawa
A language for defining sequential file structures, characterized as nested sequences of records having in common certain keys and types, is presented. "Input schemata" are defined as program skeletons that contain all the necessary control structure to process a specified file. A method for obtaining an input schema from the corresponding file structure definition is given. The method is based on attributed grammars, and has been implemented in the programming language PROLOG. This constitutes a formalization of some aspects of the data-directed program design method of Jackson and Warnier. Examples of applications of this method to business data processing problems such as file updating and report generation are given.
software engineering, Attributed grammars, data-directed program design, data processing, logical construction of programs, logic programming, program generation, program structure, PROLOG, sequential file structures
D. Skuce and L. Logrippo, "File Structures, Program Structures, and Attributed Grammars," in IEEE Transactions on Software Engineering, vol. 9, no. , pp. 260-266, 1983.