{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:47Z","timestamp":1725558947415},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254119"},{"type":"electronic","value":"9783540319856"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31985-6_16","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T14:53:19Z","timestamp":1278859999000},"page":"237-241","source":"Crossref","is-referenced-by-count":17,"title":["Hob: A Tool for Verifying Data\u00a0Structure\u00a0Consistency"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Lam","sequence":"first","affiliation":[]},{"given":"Viktor","family":"Kuncak","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Rinard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: The verifying compiler: still a Grand Challenge for computing research. ETAPS Invited Lecture (April 2003)","DOI":"10.1007\/3-540-36579-6_19"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Lam, P., Kuncak, V., Rinard, M.: Crosscutting techniques in program specification and analysis. In: Tarr, P. (ed.) Proceedings of the Fourth Conference on Aspect-Oriented Software Development (2005)","DOI":"10.1145\/1052898.1052913"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Lam, P., Kuncak, V., Rinard, M.: Generalized typestate checking for data structure consistency. In: 6th International Conference on Verification, Model Checking and Abstract Interpretation (2005)","DOI":"10.1007\/978-3-540-30579-8_28"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"M\u00f8ller, A., Schwartzbach, M.I.: The Pointer Assertion Logic Engine. In: Proc. PLDI (2001)","DOI":"10.1145\/378795.378851"},{"key":"16_CR5","unstructured":"Nelson, G.: Techniques for program verification. Technical report, XEROX Palo Alto Research Center (1981)"},{"key":"16_CR6","unstructured":"Zee, K., Lam, P., Kuncak, V., Rinard, M.: Combining theorem proving with static analysis for data structure consistency. In: International Workshop on Software Verification and Validation (SVV 2004), Seattle (November 2004)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31985-6_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:33:09Z","timestamp":1605742389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31985-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254119","9783540319856"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31985-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}