An Automatic Technique for Selection of Data Representations in SETL Programs

DOI10.1145/357133.357135zbMath0452.68010OpenAlexW2006875594MaRDI QIDQ3899465

Edmond Schonberg, Jacob T. Schwartz, Micha Sharir

Publication date: 1981

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/357133.357135

zbMATH Keywords

program optimizationSETLautomatic data-structure selectionvery-high-level languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (4)

Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study ⋮ Automatically replacing indices into parallel arrays with pointers to records ⋮ Program derivation with verified transformations — a case study ⋮ Transformational derivation of an improved alias analysis algorithm

This page was built for publication: An Automatic Technique for Selection of Data Representations in SETL Programs