{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:57:59Z","timestamp":1750309079450,"version":"3.41.0"},"reference-count":10,"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]]},"DOI":"10.1145\/1010832.1010842","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T23:30:10Z","timestamp":1090452610000},"page":"25-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Program verification at Stanford"],"prefix":"10.1145","volume":"6","author":[{"given":"D. C.","family":"Luckham","sequence":"first","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. W.","family":"von Henke","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1981,7]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"German S. M. \"An Extended Definition of Pascal for Proving the Absence of Common Runtime Errors \" CSD Report No. STAN-CS-80-811 Stanford University June 1980.   German S. M. \"An Extended Definition of Pascal for Proving the Absence of Common Runtime Errors \" CSD Report No. STAN-CS-80-811 Stanford University June 1980."},{"key":"e_1_2_1_2_1","unstructured":"German S. M. \"Verifying the Absence of Common Runtime Errors in Computer Programs \" Ph.D. Thesis Harvard University March 1981.  German S. M. \"Verifying the Absence of Common Runtime Errors in Computer Programs \" Ph.D. Thesis Harvard University March 1981."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/800004.807943"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/357094.357100"},{"volume-title":"Stanford University","year":"1980","author":"Luckham D. C.","key":"e_1_2_1_5_1"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/948632.948648"},{"key":"e_1_2_1_7_1","unstructured":"Luckham D. C. Larsen H. J. Stevenson D. R. von Henke F. W. \"ADA-M: An Ada-based Language for Multi-processing \" Program Verification Report (forthcoming).   Luckham D. C. Larsen H. J. Stevenson D. R. von Henke F. W. \"ADA-M: An Ada-based Language for Multi-processing \" Program Verification Report (forthcoming)."},{"key":"e_1_2_1_8_1","unstructured":"Polak W. H. \"Theory of Compiler Specification and Verification \" CSD Report No. STAN-CS-80-802 Stanford University May 1980.  Polak W. H. \"Theory of Compiler Specification and Verification \" CSD Report No. STAN-CS-80-802 Stanford University May 1980."},{"key":"e_1_2_1_9_1","unstructured":"Stanford Verification Group \"Stanford Pascal Verifier User Manual \" CSD Report No. STAN-CS-79-731 Stanford University 1979.   Stanford Verification Group \"Stanford Pascal Verifier User Manual \" CSD Report No. STAN-CS-79-731 Stanford University 1979."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/947783.948655"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010842","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1010832.1010842","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.1010842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,7]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,7]]}},"alternative-id":["10.1145\/1010832.1010842"],"URL":"https:\/\/doi.org\/10.1145\/1010832.1010842","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"}}]}}