Experience with the SETL Optimizer
From MaRDI portal
Publication:3964000
DOI10.1145/357195.357197zbMath0498.68007OpenAlexW2066575220MaRDI QIDQ3964000
Stefan M. Freudenberger, Jacob T. Schwartz, Micha Sharir
Publication date: 1983
Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/357195.357197
program transformationautomatic analysis of algorithmsprogram modificationautomatic selection of data representationscopy optimizationdata- structureinterprocedural program analysis methodsset theoretically oriented programming language
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study ⋮ A linear time solution to the single function coarsest partition problem
