Automatic data structure choice in a language of very high level

DOI10.1145/361227.361235MaRDI QIDQ4077428zbMATH OpenOpenAlexFDO

Authors Jacob T. Schwartz

Publication date 1975

Published in Communications of the ACM (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(6)

• A linear time solution to the single function coarsest partition problem
• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• Logic and functional programming by retractions
• Program derivation with verified transformations — a case study
• FSTDS system: A fuzzy-set manipulation system
• An NSF proposal

This page was built for publication: Automatic data structure choice in a language of very high level

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