This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
January 1981 (vol. 7 no. 1)
pp. 32-39
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.
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, Jan. 1981, doi:10.1109/TSE.1981.230817
Usage of this product signifies your acceptance of the Terms of Use.