The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1981 vol.7)
pp: 32-39
D.S. Wile , Information Sciences Institute, University of Southern California
ABSTRACT
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.
INDEX TERMS
program transformation, Abstract data types, optimization strategy, program optimization, program specification
CITATION
D.S. Wile, "Type Transformations", IEEE Transactions on Software Engineering, vol.7, no. 1, pp. 32-39, January 1981, doi:10.1109/TSE.1981.230817
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool