Issue No. 01 - January (1981 vol. 7)
D.S. Wile , Information Sciences Institute, University of Southern California
Current work on data structure encapsulation and abstraction focuses attention on individual structures and permits separate local optimizations, of these structures. We extend this work by developing the beginnings of an algebra for aggregating individual data types into larger more coordinated structures which can be more effectively optimized. The present work can well be viewed as the data equivalent of cross-procedural optimization. We believe aggregations of pure abstract types are both common and essential in practical programs and that techniques for building and manipulating them must be developed before abstract specification and program transformation can become a practical programming paradigm.
program transformation, Abstract data types, optimization strategy, program optimization, program specification
D.S. Wile, "Type Transformations", IEEE Transactions on Software Engineering, vol. 7, no. , pp. 32-39, January 1981, doi:10.1109/TSE.1981.230817