Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
- 1 January 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 1 (1), 27-49
- https://doi.org/10.1145/357062.357064
Abstract
“Pure” SETL is a language of very high level allowing algorithms to be programmed rapidly and succintly. SETL's representation sublanguage adds a system of declarations which allow the user of the language to control the data structures that will be used to implement an algorithm which has already been written in pure SETL, so as to improve its efficiency. Ideally no rewriting of the algorithm should be necessary. The facilities provided by the representation sublanguage and the run-time data structures that it can generate are described; based on this a heuristic which uses some of the methods of global program analysis and which should be capable of selecting an acceptably efficient representation automatically is given.Keywords
This publication has 4 references indexed in Scilit:
- Automatic data structure choice in a language of very high levelCommunications of the ACM, 1975
- Optimization of very high level languages—II. Deducing relationships of inclusion and membershipComputer Languages, 1975
- Optimization of very high level languages—I: Value transmission and its corollariesComputer Languages, 1975
- An introduction to the set theoretical language SETLComputers & Mathematics with Applications, 1975