{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:00Z","timestamp":1750309080659,"version":"3.41.0"},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1981,7,1]],"date-time":"1981-07-01T00:00:00Z","timestamp":362793600000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[1981,7]]},"abstract":"<jats:p>The constructive set theory of PL\/CV3 is used to illustrate conditions that a formal system must satisfy if it is to feasibly represent the reasoning needed to solve sequential programming problems.<\/jats:p>","DOI":"10.1145\/1010832.1010854","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T23:30:10Z","timestamp":1090452610000},"page":"58-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["VERking in constructive set theory"],"prefix":"10.1145","volume":"6","author":[{"given":"Robert L.","family":"Constable","sequence":"first","affiliation":[{"name":"Cornell University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1981,7]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Bates J. L. A Logic for Correct Program Development Ph.D. Thesis Department of Computer Science Cornell University 1979.   Bates J. L. A Logic for Correct Program Development Ph.D. Thesis Department of Computer Science Cornell University 1979."},{"volume-title":"University of Edinburgh","year":"1968","author":"Bourbaki N.","key":"e_1_2_1_2_1"},{"key":"e_1_2_1_3_1","unstructured":"Constable R. L. and M. J. O'Donnell A Programming Logic Winthrop Cambridge 1978.  Constable R. L. and M. J. O'Donnell A Programming Logic Winthrop Cambridge 1978."},{"key":"e_1_2_1_4_1","first-page":"118","volume-title":"Proc. of 21st Annual Symposium on Foundations of Computer Science, IEEE","author":"Constable R. L.","year":"1980"},{"volume-title":"Department of Computer Science","year":"1981","author":"Constable R. L.","key":"e_1_2_1_5_1"},{"volume-title":"Department of Computer Science","year":"1981","author":"Constable R. L.","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","first-page":"579","volume-title":"Seldin and J. R. Hindley","author":"de Bruijn N. G.","year":"1980"},{"key":"e_1_2_1_8_1","first-page":"82","author":"Godel K.","year":"1965","journal-title":"New York"},{"volume-title":"Springer-Verlag","year":"1979","author":"Gordon M.","key":"e_1_2_1_9_1"},{"key":"e_1_2_1_10_1","first-page":"73","volume-title":"Logic Colloquium '73","author":"Martin-Lof P.","year":"1975"},{"volume-title":"Cambridge University Press","year":"1913","author":"Whitehead A. N.","key":"e_1_2_1_11_1"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010854","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1010832.1010854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:25Z","timestamp":1750286605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010854"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,7]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,7]]}},"alternative-id":["10.1145\/1010832.1010854"],"URL":"https:\/\/doi.org\/10.1145\/1010832.1010854","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1981,7]]},"assertion":[{"value":"1981-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}