{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:59:43Z","timestamp":1725465583329},"publisher-location":"New York","reference-count":3,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"038723151X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-23152-8_47","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T06:36:28Z","timestamp":1137652588000},"page":"369-372","source":"Crossref","is-referenced-by-count":0,"title":["Diagnosing Java Programs with Static Abstractions of Data Structures"],"prefix":"10.1007","author":[{"given":"Rong","family":"Chen","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Koeb","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"47_CR1","unstructured":"I. C. Mateis, M. Stumptner, and F. Wotawa. Modeling Java Programs for Diagnosis, ECAI 2001, Berlin Germany."},{"issue":"4","key":"47_CR2","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph, ACM TOPLAS, 13(4): 451\u2013490, 1991.","journal-title":"ACM TOPLAS"},{"issue":"1","key":"47_CR3","first-page":"57","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. A theory of diagnosis from first principles, AI, 32(1):57\u201359, 1987.","journal-title":"AI"}],"container-title":["IFIP International Federation for Information Processing","Intelligent Information Processing II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-23152-8_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T04:36:53Z","timestamp":1619498213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-23152-8_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["038723151X"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/0-387-23152-8_47","relation":{},"subject":[]}}