Automatic data structure choice in a language of very high level

DOI10.1145/361227.361235zbMath0316.68012OpenAlexW2020941433MaRDI QIDQ4077428

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)

Related Items (6)

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

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