A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Hi-index | 0.00 |
A method is described for manipulating descriptions of programs to access Codasyl Databases to meet a specification given in relational algebra. The method has been implemented as a Prolog program which is compared with the previous Pascal version. The methodology is discussed as an Automatic Programming technique which explores the transformations on a program induced by changes of data structure representation at two levels.