Experience with the SETL Optimizer

Stefan M. Freudenberger, Jacob T. Schwartz, Micha Sharir

Research output: Contribution to journalArticlepeer-review


The structure of an existing optimizer for the very high-level, set theoretically oriented programming language SETL is described, and its capabilities are illustrated. The use of novel techniques (supported by state-of-the-art interprocedural program analysis methods) enables the optimizer to accomplish various sophisticated optimizations, the most significant of which are the automatic selection of data representations and the systematic elimination of superfluous copying operations. These techniques allow quite sophisticated data-structure choices to be made automatically.

Original languageEnglish
Pages (from-to)26-45
Number of pages20
JournalACM Transactions on Programming Languages and Systems
Issue number1
StatePublished - 1 Jan 1983


Dive into the research topics of 'Experience with the SETL Optimizer'. Together they form a unique fingerprint.

Cite this