Elsevier

Computer Languages

Volume 1, Issue 3, September 1975, Pages 197-218
Computer Languages

Optimization of very high level languages—II. Deducing relationships of inclusion and membership,☆☆

https://doi.org/10.1016/0096-0551(75)90031-4Get rights and content

Abstract

SETL is a set-theoretically oriented language of very high level whose reportoire of semantic objects includes finite sets, ordered n-tuples, and sets of ordered n-tuples useable as mappings. This two-part paper studies the optimization problems associated with such a language. The first issue studied is that of copy optimization, i.e. the discovery of cases in which changes to a compound data object can be made “differentially” without recopying the whole of the object. The second part of the paper sets forth techniques for the automatic discovery of relationships of inclusion and membership on which automatic data-structure choice may be based. The methods used extend known techniques of data-flow analysis and of logical program analysis.

References (0)

Cited by (0)

Work supported by the National Science Foundation, Office of Computing Activities, Contract NSF-GJ-1202X.

☆☆

Bibliographic citations will be the bibliography of Part I, which will not be reproduced here.

View full text