TY - JOUR
T1 - Automatic data structure selection in SETL
AU - Schonberg, Edmond
AU - Schwartz, Jacob T.
AU - Sharir, Micha
N1 - Publisher Copyright:
© 1979 ACM.
PY - 1979/1/1
Y1 - 1979/1/1
N2 - SETL is a very high level programming language supporting set theoretical syntax and semantics. It allows algorithms to be programmed rapidly and succinctly without requiring data structure declarations to be supplied, though such declarations can be manually specified later, without recoding the program, to improve the efficiency of program execution. We describe a new technique for automatic selection of appropriate data representations during compile-time for undeclared, or partially declared programs,and present an efficient data structure selection algorithm, whose complexity is comparable with those of the fastest known general data-flow algorithms of Tarjan [TA2] and Reif [RE].
AB - SETL is a very high level programming language supporting set theoretical syntax and semantics. It allows algorithms to be programmed rapidly and succinctly without requiring data structure declarations to be supplied, though such declarations can be manually specified later, without recoding the program, to improve the efficiency of program execution. We describe a new technique for automatic selection of appropriate data representations during compile-time for undeclared, or partially declared programs,and present an efficient data structure selection algorithm, whose complexity is comparable with those of the fastest known general data-flow algorithms of Tarjan [TA2] and Reif [RE].
UR - http://www.scopus.com/inward/record.url?scp=0018309617&partnerID=8YFLogxK
U2 - 10.1145/567752.567771
DO - 10.1145/567752.567771
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???
AN - SCOPUS:0018309617
SN - 0730-8566
SP - 197
EP - 210
JO - Conference Record of the Annual ACM Symposium on Principles of Programming Languages
JF - Conference Record of the Annual ACM Symposium on Principles of Programming Languages
T2 - 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1979
Y2 - 29 January 1979 through 31 January 1979
ER -