{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:43Z","timestamp":1762458463858},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019403","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:18:27Z","timestamp":1132622307000},"page":"88-100","source":"Crossref","is-referenced-by-count":4,"title":["Towards declarative debugging of concurrent constraint programs"],"prefix":"10.1007","author":[{"given":"Markus P. J.","family":"Fromherz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"J. D. Brock and W. B. Ackerman. Scenarios: A model of non-determinate computation. In J. D\u00edaz and I. Ramos, editors, Int. Colloquium on Formalization of Programming Concepts, number 107 in Lecture Notes in Computer Science, pages 252\u2013259. Springer-Verlag, April 1981.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"7_CR2","unstructured":"W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. Algorithmic debugging with assertions. In META'88, Proc. Workshop on Meta-Programming in Logic Programming, pages 365\u2013378, Bristol, June 1988."},{"key":"7_CR3","volume-title":"PhD thesis","author":"Y. Feldman","year":"1993","unstructured":"Y. Feldman. Animation of Concurrent Computation. PhD thesis, The Weizmann Institute of Science, Rehovot, Israel, 1993."},{"key":"7_CR4","unstructured":"Y. Feldman and E. Shapiro. Temporal debugging and its visual animation. In V. Saraswat and K. Udea, editors, Proc. of the 1991 Logic Programming Int. Symposium, pages 3\u201317. MIT Press, 1991."},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G. Ferrand","year":"1987","unstructured":"G. Ferrand. Error diagnosis in logic programming, an adaptation of E. Y. Shapiro's method. Journal of Logic Programming, 4:177\u2013198, 1987.","journal-title":"Journal of Logic Programming"},{"key":"7_CR6","unstructured":"P. Van Hentenryck, V. A. Saraswat, and Y. Deville. Constraint processing in cc(FD). Technical report, Brown University, 1992."},{"key":"7_CR7","unstructured":"M. Huntbach. Algorithmic Parlog debugging. In Proc. IEEE Symposium on Logic Programming, San Francisco, September 1987."},{"key":"7_CR8","volume-title":"Technical Report CS87-20","author":"Y. Lichtenstein","year":"1987","unstructured":"Y. Lichtenstein and E. Shapiro. Concurrent algorithmic debugging. Technical Report CS87-20, Dept. of Applied Math. and Computer Science, Weizmann Inst. Rehovot, Israel, December 1987."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Y. Lichtenstein and E. Shapiro. Abstract algorithmic debugging. In R. A. Kowalski and K. A. Bowen, editors, Proc. of the Fifth Int. Conf. and Symposium, pages 512\u2013530. MIT Press, 1988.","DOI":"10.1145\/68210.69239"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Declarative error diagnosis. New Generation Computing, (5):133\u2013154, 1987.","journal-title":"New Generation Computing"},{"key":"7_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, Heidelberg, second edition, 1987.","edition":"second edition"},{"key":"7_CR12","volume-title":"Technical Report TR-186","author":"J. W. Lloyd","year":"1986","unstructured":"J. W. Lloyd and A. Takeuchi. A framework for debugging GHC. Technical Report TR-186, ICOT, Institute for New Generation Computer Technology, Tokyo, 1986."},{"key":"7_CR13","unstructured":"L. Naish. Declarative diagnosis of missing answers. Technical Report 88\/9, Univ. of Melbourne, Dept. of Computer Science, 1988."},{"key":"7_CR14","unstructured":"L. Naish. Declarative debugging of lazy functional programs. Technical Report 92\/6, Univ. of Melbourne, Dept. of Computer Science, 1992."},{"key":"7_CR15","volume-title":"Technical Report 92-17","author":"H. Nilsson","year":"1992","unstructured":"H. Nilsson and P. Fritzson. Algorithmic debugging for lazy functional languages. Technical Report 92-17, Dept. of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden, 1992. Also in Proc. PLILP'92, Springer-Verlag, LNCS, Leuven, Belgium, Aug. 1992."},{"key":"7_CR16","first-page":"203","volume-title":"LNCS 225","author":"L. M. Pereira","year":"1986","unstructured":"L. M. Pereira. Rational debugging in logic programming. In Proc. 3rd Int. Conf. on Logic Programming, pages 203\u2013210, London, 1986. Springer-Verlag, LNCS 225."},{"key":"7_CR17","series-title":"Logic Programming Series","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming Languages","author":"V. A. Saraswat","year":"1993","unstructured":"V. A. Saraswat. Concurrent Constraint Programming Languages. Logic Programming Series. MIT Press, Cambridge, MA, 1993."},{"key":"7_CR18","volume-title":"Janus: A step towards distributed constraint programming","author":"V. A. Saraswat","year":"1990","unstructured":"V. A. Saraswat, K. M. Kahn, and J. Levy. Janus: A step towards distributed constraint programming. In Proc. of the North American Conf. on Logic Programming, Cambridge, MA, October 1990. MIT Press."},{"key":"7_CR19","volume-title":"Technical Report SSL-90-86","author":"V. A. Saraswat","year":"1990","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. Technical Report SSL-90-86, Xerox PARC, Palo Alto, CA, October 1990."},{"key":"7_CR20","series-title":"ACM Distinguished Dissertation Series","volume-title":"Algorithmic Program Debugging","author":"E. Y. Shapiro","year":"1982","unstructured":"E. Y. Shapiro. Algorithmic Program Debugging. ACM Distinguished Dissertation Series. MIT Press, Cambridge, MA, 1982."},{"key":"7_CR21","first-page":"180","volume-title":"Concurrent Prolog, volume 2","author":"A. Takeuchi","year":"1987","unstructured":"A. Takeuchi. Algorithmic debugging of GHC programs and its implementation in GHC. In E. Shapiro, editor, Concurrent Prolog, volume 2, chapter V, pages 180\u2013196. MIT Press, Cambridge, MA, 1987. Also in [22]."},{"key":"7_CR22","unstructured":"A. Takeuchi. Parallel Logic Programming, volume 2. Wiley, 1992."}],"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\/BFb0019403.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:42:32Z","timestamp":1607532152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019403"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0019403","relation":{},"subject":[]}}