{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:28Z","timestamp":1725456208014},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019409","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"188-205","source":"Crossref","is-referenced-by-count":1,"title":["Declarative debugging of abstract data types in G\u00f6del"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Binks","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"E. Av-Ron. Top-down diagnosis of Prolog programs. Masters Thesis, Weizmann Institute of Science, 1984."},{"key":"13_CR2","unstructured":"P. Hill and J. W. Lloyd. The G\u00f6del programming language. Technical Report CSTR-92-27, University of Bristol, October 1992 (Revised May 1993)."},{"key":"13_CR3","first-page":"512","volume-title":"Abstract algorithmic debugging","author":"Y. Lichtenstein","year":"1988","unstructured":"Yossi Lichtenstein and Ehud Shapiro. Abstract algorithmic debugging. In Robert A. Kowalski and Kenneth A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 512\u2013531, Seattle, 1988. ALP, IEEE, The MIT Press."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"13_CR5","unstructured":"Lee Naish. Declarative debugging of lazy functional programs. In Proceedings of the Post Conference Workshop on Logic Programming Environments (Joint International Conference and Symposium on Logic Programming), Washington, November 1992."},{"key":"13_CR6","volume-title":"Technical Report UIUCDCS-F-82-896","author":"S. Renner","year":"1982","unstructured":"S. Renner. Location of logical errors on Pascal programs with an appendix on implementation problems in Waterloo Prolog\/c. Technical Report UIUCDCS-F-82-896, Department of Computer Science, Univeristy of Illinois at Urbana, Champaign-Urbana, Illinois, April 1982."}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019409.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:35Z","timestamp":1607550155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0019409","relation":{},"subject":[]}}