An Automatic Technique for Selection of Data Representations in SETL Programs

DOI10.1145/357133.357135MaRDI QIDQ3899465zbMATH OpenOpenAlexFDO

Authors Edmond Schonberg, Micha Sharir, Jacob T. Schwartz

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

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

Cited in

(4)

• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• Program derivation with verified transformations — a case study
• Automatically replacing indices into parallel arrays with pointers to records
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3899465)