{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:53Z","timestamp":1750308953269,"version":"3.41.0"},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[1982,10,1]],"date-time":"1982-10-01T00:00:00Z","timestamp":402278400000},"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":[[1982,10]]},"DOI":"10.1145\/69622.357188","type":"journal-article","created":{"date-parts":[[2002,10,7]],"date-time":"2002-10-07T13:52:47Z","timestamp":1033998767000},"page":"650-667","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Transformational Derivation of a Garbage Collection Algorithm"],"prefix":"10.1145","volume":"4","author":[{"given":"Robert B. K.","family":"Dewar","sequence":"first","affiliation":[{"name":"Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, New York, NY"}]},{"given":"Micha","family":"Shirar","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Tel-Aviv University, Ramat-Aviv, Tel Aviv 69976, Israel"}]},{"given":"Elia","family":"Weixelbaum","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, New York, NY"}]}],"member":"320","published-online":{"date-parts":[[1982,10]]},"reference":[{"key":"e_1_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/954587.954588"},{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357064"},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/spe.4380070106","volume":"7","author":"DEWAR R.B.","year":"1977","unstructured":"DEWAR , R.B. K., AND MCCANN , A.P. MACRO SPITBOL --A SNOBOL4 compiler. Softw. Pract. Exper. 7 , 1 ( Jan. 1977 ), 95-113. DEWAR, R.B.K., AND MCCANN, A.P. MACRO SPITBOL--A SNOBOL4 compiler. Softw. Pract. Exper. 7, 1 (Jan. 1977), 95-113.","journal-title":"Softw. Pract. Exper."},{"key":"e_1_2_1_4_2","first-page":"24","volume-title":"Mich.","author":"DEWAR R.B.","year":"1979","unstructured":"DEWAR , R.B. K., AND SCHONBERG , E. The elements of SETL style. In ACM 79; Proceedings of the 1979 Annual Conference, Detroit , Mich. , Oct. 29-31, 1979 , pp. 24 - 32 . 10.1145\/800177.810021 DEWAR, R.B.K., AND SCHONBERG, E. The elements of SETL style. In ACM 79; Proceedings of the 1979 Annual Conference, Detroit, Mich., Oct. 29-31, 1979, pp. 24-32. 10.1145\/800177.810021"},{"key":"e_1_2_1_5_2","volume-title":"Higher level programming. Lecture notes","author":"DEWAR R.B.","year":"1981","unstructured":"DEWAR , R.B. K., SCHONBERG , E. , AND SCHWARTZ , J.T. Higher level programming. Lecture notes , Courant Institute of Mathematical Sciences , New York Univ., New York, N.Y., Sept. 1981 . DEWAR, R.B.K., SCHONBERG, E., AND SCHWARTZ, J.T. Higher level programming. Lecture notes, Courant Institute of Mathematical Sciences, New York Univ., New York, N.Y., Sept. 1981."},{"key":"e_1_2_1_6_2","volume-title":"A Discipline of Programming","author":"DIJKSTRA E.W.","year":"1976","unstructured":"DIJKSTRA , E.W. A Discipline of Programming . Prentice-Hall , Englewood Cliffs, N.J. , 1976 . DIJKSTRA, E.W. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, N.J., 1976."},{"key":"e_1_2_1_7_2","volume-title":"Expression continuity and the formal differentiation of algorithms. Courant Computer Science Rep. 15","author":"PAIGE R.","year":"1979","unstructured":"PAIGE , R. Expression continuity and the formal differentiation of algorithms. Courant Computer Science Rep. 15 , Courant Institute of Mathematical Sciences , New York Univ., New York, N.Y., 1979 . PAIGE, R. Expression continuity and the formal differentiation of algorithms. Courant Computer Science Rep. 15, Courant Institute of Mathematical Sciences, New York Univ., New York, N.Y., 1979."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357166"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0096-0551(81)90047-3","volume":"6","author":"SHAR","year":"1981","unstructured":"SHAR m, M. Formal integration--A program transformation technique. Comput. Lang. 6 ( 1981 ), 35 - 46 . SHARm, M. Formal integration--A program transformation technique. Comput. Lang. 6 (1981), 35-46.","journal-title":"Comput. Lang."}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/69622.357188","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/69622.357188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:38:01Z","timestamp":1750282681000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/69622.357188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,10]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1982,10]]}},"alternative-id":["10.1145\/69622.357188"],"URL":"https:\/\/doi.org\/10.1145\/69622.357188","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"type":"print","value":"0164-0925"},{"type":"electronic","value":"1558-4593"}],"subject":[],"published":{"date-parts":[[1982,10]]},"assertion":[{"value":"1982-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}