The Choice of Programming Primitives for SETL-Like Programming Languages
Abstract elided by the publisher.
Related papers
- Experience with the SETL Optimizer TOPLAS 1983
- Automatic Data Structure Choice in a Language of Very High Level POPL 1975
- Programming by Refinement, as Exemplified by the SETL Representation Sublanguage TOPLAS 1979
- Automatic Data Structure Selection in SETL POPL 1979
- An Automatic Technique for Selection of Data Structures in SETL Programs TOPLAS 1981
- On optimizing machine learning workloads via kernel fusion PPoPP 2015
- Free theorems in the presence of seq POPL 2004
- Mixed Sessions ESOP 2020