{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T23:57:47Z","timestamp":1767916667420,"version":"3.49.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1975,1,1]],"date-time":"1975-01-01T00:00:00Z","timestamp":157766400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/bf00288745","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T11:29:29Z","timestamp":1096889369000},"page":"127-144","source":"Crossref","is-referenced-by-count":39,"title":["The verification and synthesis of data structures"],"prefix":"10.1007","volume":"4","author":[{"given":"Jay","family":"Spitzen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Wegbreit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Deutsch, L. P.: An interactive program verifier. Computer Science Department, University of California at Berkeley, Ph.D. Thesis, 1973"},{"key":"CR2","first-page":"7","volume-title":"Toward intercative design of correct programs. Proc. IFIP Congress 71","author":"R. W. Floyd","year":"1972","unstructured":"Floyd, R. W.: Toward intercative design of correct programs. Proc. IFIP Congress 71. Amsterdam: North Holland 1972 (p. 7?10)"},{"key":"CR3","unstructured":"Good, D. I.: Toward a man-machine system for proving program correctness. Computation Center, The University of Texas at Austin, TSN-11, June 1970"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Green, C.: The application of theorem proving to question answering systems. Stanford University, Ph.D. Thesis, June 1969","DOI":"10.21236\/ADA459656"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. Hoare","year":"1972","unstructured":"Hoare, C. A. R.: Proof of correctness of data representations. Acta Informatica 1, 271?281 (1972)","journal-title":"Acta Informatica"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C. A. R. Hoare","year":"1973","unstructured":"Hoare, C. A. R., Wirth, N.: An axiomatic definition of the programming language Pascal. Acta Informatica 2, 335?355 (1973)","journal-title":"Acta Informatica"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Igarashi, S., London, R. L., Luckham, D. C.: Automatic program verification I: A logical basis and its implementation. Computer Science Dept., Stanford University, CS-73-365, May 1973. Also in: Acta Informatica 4, 145?182 (1975)","DOI":"10.1007\/BF00288746"},{"key":"CR8","unstructured":"King, J.C.: A program verifier September 1969 Pittsburgh (Pa.), Ph.D. Thesis 1969. Computer Science Dept., Carnegie-Mellon University, September 1969"},{"key":"CR9","unstructured":"Kowalski, R.: An improved theorem-proving system for first-order logic. Dept. of Computational Logic. University of Edinburgh, Memo No. 65, 1973"},{"key":"CR10","unstructured":"Kowalski, R.: Predicate logic as a programming language. Dept. of Computational Logic, University of Edinburgh, Memo No. 70, 1973"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/362566.362568","volume":"14","author":"Z. Manna","year":"1971","unstructured":"Manna, Z., Waldinger, R. J.: Toward automatic program synthesis. Comm. ACM 14, 151?165 (1971)","journal-title":"Comm. ACM"},{"key":"CR12","series-title":"BBN Report #2639","volume-title":"Data structures, an axiomatic approach","author":"T. Standish","year":"1972","unstructured":"Standish, T.: Data structures, an axiomatic approach. Bolt Beranek and Newman, Inc., Cambridge (Mass.), BBN Report #2639, August 1972"},{"key":"CR13","unstructured":"Wegbreit, B. et al.: The ECL programmers manual. Center for Research in Computing Technology, Harvard University, 21?72 September 1972"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288745.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00288745\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T17:14:26Z","timestamp":1554743666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00288745"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1975]]}},"alternative-id":["BF00288745"],"URL":"https:\/\/doi.org\/10.1007\/bf00288745","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975]]}}}