{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:24Z","timestamp":1742617164701,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559306"},{"type":"electronic","value":"9783540473121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55930-2_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:45:35Z","timestamp":1330253135000},"page":"303-312","source":"Crossref","is-referenced-by-count":2,"title":["Opium \u2014 An advanced debugging system"],"prefix":"10.1007","author":[{"given":"Mireille","family":"Ducass\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/S0020-7373(05)80131-2","volume":"35","author":"D. Bergantz","year":"1991","unstructured":"D. Bergantz and J. Hassell. Information relationships in Prolog programs: how do programmers comprehend functionality? International Journal of Man-Machine Studies, 35:313\u2013328, 1991.","journal-title":"International Journal of Man-Machine Studies"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"M. Brayshaw and M. Eisenstadt. Adding data and procedure abstraction to the Transparent Prolog Machine (TPM). In Proceedings of 5th Int. Conference and Symposium on Logic Programming, pages 532\u2013547, Seattle, August 1988.","DOI":"10.1016\/0743-1066(88)90001-5"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0164-1212(83)90012-2","volume":"3","author":"B. Bruegge","year":"1983","unstructured":"B. Bruegge and P. Hibbard. Generalized path expressions: A high-level debugging mechanism. The Journal of Systems and Software, 3:265\u2013276, 1983.","journal-title":"The Journal of Systems and Software"},{"issue":"5","key":"21_CR4","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/S0020-7373(86)80020-7","volume":"25","author":"A. D. Dewar","year":"1986","unstructured":"A.D. Dewar and J.G. Cleary. Graphical display of complex information within a Prolog debugger. International Journal of Man-Machine Studies, 25(5):503\u2013521, November 1986.","journal-title":"International Journal of Man-Machine Studies"},{"key":"21_CR5","first-page":"18","volume-title":"Proceedings of the International Logic Programming Symposium","author":"M. Ducass\u00e9","year":"1991","unstructured":"M. Ducass\u00e9. Abstract views of Prolog executions in Opium. In V. Saraswat and K. Ueda, editors, Proceedings of the International Logic Programming Symposium, pages 18\u201332, San Diego, October 1991. ALP, MIT Press."},{"key":"21_CR6","volume-title":"Actes des Journ\u00e9es Francophones sur la Programmation Logique","author":"M. Ducass\u00e9","year":"1992","unstructured":"M. Ducass\u00e9. Analysis of failing Prolog executions. In Actes des Journ\u00e9es Francophones sur la Programmation Logique, Mai 1992. University of Lille, France."},{"key":"21_CR7","volume-title":"PhD thesis","author":"M. Ducass\u00e9","year":"1992","unstructured":"M. Ducass\u00e9. An extendable trace analyser to support automated debugging. PhD thesis, University of Rennes, France, June 1992. Num\u00e9ro d'ordre 758. European Doctorate. In English."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"M. Ducass\u00e9 and A.-M. Emde. A high-level debugging environment for Prolog. Opium user's manual. Technical Report TR-LP-60, ECRC, May 1991.","DOI":"10.1145\/122538.122549"},{"issue":"l","key":"21_CR9","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/126496.126500","volume":"16","author":"M. Ducass\u00e9","year":"1991","unstructured":"M. Ducass\u00e9 and A.-M. Emde. Opium: a debugging environment for Prolog development and debugging research. ACM Software Engineering Notes, 16(l):54\u201359, 1991.","journal-title":"ACM Software Engineering Notes"},{"issue":"4","key":"21_CR10","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0743-1066(88)90001-5","volume":"5","author":"M. Eisenstadt","year":"1988","unstructured":"M. Eisenstadt and M. Brayshaw. The Transparent Prolog Machine(TPM): an execution model and graphical debugger for logic programming. Journal of Logic Programming, 5(4):277\u2013342, 1988.","journal-title":"Journal of Logic Programming"},{"key":"21_CR11","unstructured":"A.-M. Emde and M. Ducass\u00e9. Automated debugging of non-terminating Prolog programs. In Proceedings of the ICLP'90 Pre-conference Workshop on Logic Programming Environments, June 1990."},{"key":"21_CR12","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0096-0551(81)90068-0","volume":"6","author":"M. S. Johnson","year":"1981","unstructured":"M.S. Johnson. Dispel: A run-time debugging language. Computer languages, 6:79\u201394, 1981.","journal-title":"Computer languages"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"C.H. LeDoux and D.S. Parker. Saving traces for Ada debugging. In Proceedings of the ADA International Conference, pages 97\u2013108, 1985.","DOI":"10.1145\/324422.324385"},{"key":"21_CR14","unstructured":"M. Meier et al. SEPIA \u2014 an extendible Prolog system. In Proceedings of the IFIP '89, 1989."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"M.L. Powell and M.A. Linton. A database model of debugging. In M.S. Johnson, editor, ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on high-level debugging, pages 67\u201370. ACM, March 1983.","DOI":"10.1145\/1006147.1006163"},{"key":"21_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Y. Shapiro","year":"1983","unstructured":"E.Y. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, MA, 1983."},{"key":"21_CR17","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, Cambridge, Massachusetts, 1986."}],"container-title":["Lecture Notes in Computer Science","Logic Programming in Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55930-2_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:43:58Z","timestamp":1742593438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55930-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559306","9783540473121"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-55930-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}