{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:07:04Z","timestamp":1762916824641,"version":"3.41.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[1979,1]]},"abstract":"<jats:p>\u201cPure\u201d 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.<\/jats:p>","DOI":"10.1145\/357062.357064","type":"journal-article","created":{"date-parts":[[2002,10,7]],"date-time":"2002-10-07T13:52:47Z","timestamp":1033998767000},"page":"27-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":71,"title":["Programming by Refinement, as Exemplified by the SETL Representation Sublanguage"],"prefix":"10.1145","volume":"1","author":[{"given":"Robert B. K.","family":"Dewar","sequence":"first","affiliation":[{"name":"Department of Computer Science, New York University, New York, NY"}]},{"given":"Arthur","family":"Grand","sequence":"additional","affiliation":[{"name":"Department of Computer Science, New York University, New York, NY"}]},{"given":"Ssu-Cheng","family":"Liu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, New York University, New York, NY"}]},{"given":"Jacob T.","family":"Schwartz","sequence":"additional","affiliation":[{"name":"Department of Computer Science, New York University, New York, NY"}]},{"given":"Edmond","family":"Schonberg","sequence":"additional","affiliation":[{"name":"Illinois Institute of Technology"}]}],"member":"320","published-online":{"date-parts":[[1979,1]]},"reference":[{"key":"e_1_2_1_1_2","volume-title":"The Design and Analysis of Computer Algorithms","author":"AH","year":"1975","unstructured":"AH o, A., HOPCROFT , J. , AND ULLMAN , J. The Design and Analysis of Computer Algorithms . Addison-Wesley , Reading, Mass ., 1975 . AHo, A., HOPCROFT, J., AND ULLMAN, J. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass., 1975."},{"key":"e_1_2_1_2_2","volume-title":"North Holland Pub","author":"ALLEN F.","year":"1971","unstructured":"ALLEN , F. A basis for program optimization. Information Processing 71 , North Holland Pub . Co., Amsterdam ; 1971 , 385-390. ALLEN, F. A basis for program optimization. Information Processing 71, North Holland Pub. Co., Amsterdam; 1971, 385-390."},{"key":"e_1_2_1_3_2","first-page":"398","volume-title":"North Holland Pub. Co.","author":"ALLEN F.","year":"1974","unstructured":"ALLEN , F. Interprocedural data flow analysis. Information Processing 74 , North Holland Pub. Co. , Amsterdam , 1974 , 398 - 402 . ALLEN, F. Interprocedural data flow analysis. Information Processing 74, North Holland Pub. Co., Amsterdam, 1974, 398-402."},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0898-1221(75)90011-5","article-title":"An introduction to the set theoretical language SETL","volume":"1","author":"KENNEO~ K.","year":"1975","unstructured":"KENNEO~ , K. , AND SCHWARTZ , J . An introduction to the set theoretical language SETL . J. Comptr. and Math. with Applications 1 ( 1975 ), 97 - 119 . KENNEO~, K., AND SCHWARTZ, J. An introduction to the set theoretical language SETL. J. Comptr. and Math. with Applications 1 (1975), 97-119.","journal-title":"J. Comptr. and Math. with Applications"},{"key":"e_1_2_1_5_2","volume-title":"Calif.","author":"R.","year":"1974","unstructured":"Low, J. R. Automatic coding: choice of data structures. Ph.D. Th., Stanford U., Stanford , Calif. , 1974 . Low, J.R. Automatic coding: choice of data structures. Ph.D. Th., Stanford U., Stanford, Calif., 1974."},{"key":"e_1_2_1_6_2","first-page":"197","volume-title":"6th SIGPLAN Conf. on Principles of Programming Languages, San Antonio, Tex.","author":"SCHONBERG E.","year":"1979","unstructured":"SCHONBERG , E. , SHARIR , M. , AND SCHWARTZ , J. Automatic data structuring in SETL . 6th SIGPLAN Conf. on Principles of Programming Languages, San Antonio, Tex. , Jan. 1979 , pp. 197 - 210 . 10.1145\/567752.567771 SCHONBERG, E., SHARIR, M., AND SCHWARTZ, J. Automatic data structuring in SETL. 6th SIGPLAN Conf. on Principles of Programming Languages, San Antonio, Tex., Jan. 1979, pp. 197- 210. 10.1145\/567752.567771"},{"key":"e_1_2_1_7_2","volume-title":"On programming: an interim report on the SETL project. Installment I: generalities","author":"SCHWARTZ J.","year":"1973","unstructured":"SCHWARTZ , J. On programming: an interim report on the SETL project. Installment I: generalities ; Installment II: the SETL language and examples of its use. Lecture notes, New York U., N.Y. , 1973 . SCHWARTZ, J. On programming: an interim report on the SETL project. Installment I: generalities; Installment II: the SETL language and examples of its use. Lecture notes, New York U., N.Y., 1973."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361235"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0096-0551(75)90015-6","article-title":"Optimization of very high level languages-I: value transmission and its corollaries","volume":"1","author":"SCHWARTZ J","year":"1975","unstructured":"SCHWARTZ , J . Optimization of very high level languages-I: value transmission and its corollaries . J. Comptr. Languages 1 ( 1975 ), 161 - 194 . SCHWARTZ, J. Optimization of very high level languages-I: value transmission and its corollaries. J. Comptr. Languages 1 (1975), 161-194.","journal-title":"J. Comptr. Languages"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0096-0551(75)90031-4","article-title":"Optimization of very high level languages-Ih deducing relationships of inclusion and membership","author":"SCHWARTZ J","year":"1975","unstructured":"SCHWARTZ , J . Optimization of very high level languages-Ih deducing relationships of inclusion and membership . J. Comptr. Languages I ( 1975 ), 197 - 218 . SCHWARTZ, J. Optimization of very high level languages-Ih deducing relationships of inclusion and membership. J. Comptr. Languages I (1975), 197-218.","journal-title":"J. Comptr. Languages"},{"key":"e_1_2_1_11_2","volume-title":"New York U.","author":"TP BAUM","year":"1974","unstructured":"TP . NEN BAUM , A. Automatic type analysis in a very high level language. Ph.D. Th ., New York U. , N.Y. , 1974 . TP. NENBAUM, A. Automatic type analysis in a very high level language. Ph.D. Th., New York U., N.Y., 1974."},{"key":"e_1_2_1_12_2","volume-title":"A reformulation of value-flow analysis. SETL Newsletter 181","author":"H.","year":"1977","unstructured":"Tsui, W. H. A reformulation of value-flow analysis. SETL Newsletter 181 , Comptr. Sci. Dept. New York U. , N.Y., 1977 . See also SETL Newsletters 31 (May 1971), 39 (May 1971), 64 (Jan. 1972), 71 (April 1972), 118 {Oct. 1973), 130 (May 1974), 131 (June 1974), 134 (July 1974), 162 (Jan. 1976), 171A (Dec. 1976), 174 (July 1976), 179 (Oct. 1976), 183 (Dec. 1976), and 184 (March 1977) Tsui, W.H. A reformulation of value-flow analysis. SETL Newsletter 181, Comptr. Sci. Dept. New York U., N.Y., 1977. See also SETL Newsletters 31 (May 1971), 39 (May 1971), 64 (Jan. 1972), 71 (April 1972), 118 {Oct. 1973), 130 (May 1974), 131 (June 1974), 134 (July 1974), 162 (Jan. 1976), 171A (Dec. 1976), 174 (July 1976), 179 (Oct. 1976), 183 (Dec. 1976), and 184 (March 1977)"}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/357062.357064","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/357062.357064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:18Z","timestamp":1750178778000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/357062.357064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,1]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1979,1]]}},"alternative-id":["10.1145\/357062.357064"],"URL":"https:\/\/doi.org\/10.1145\/357062.357064","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"type":"print","value":"0164-0925"},{"type":"electronic","value":"1558-4593"}],"subject":[],"published":{"date-parts":[[1979,1]]},"assertion":[{"value":"1979-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}