{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:14:18Z","timestamp":1761610458143,"version":"build-2065373602"},"reference-count":25,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2000,4,1]],"date-time":"2000-04-01T00:00:00Z","timestamp":954547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2000,4,1]],"date-time":"2000-04-01T00:00:00Z","timestamp":954547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4867,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2000,4]]},"DOI":"10.1016\/s1571-0661(05)80659-0","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T15:34:43Z","timestamp":1115393683000},"page":"215-234","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"title":["Type-based Diagnosis of CLP Programs"],"prefix":"10.1016","volume":"30","author":[{"given":"Wlodzimierz","family":"Drabent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Maluszy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawel","family":"Pietrzak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80659-0_BIB1","doi-asserted-by":"crossref","unstructured":"A. Bossi and N. Cocco. Verifying correctness of logic programs. In Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT '89, vol. 2, pages 96\u2013110. LNCS, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-50940-2_30"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB2","unstructured":"F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszy\u0144ski, and G. Puebla. On the role of semantic approximations in validation and diagnosis of constraint logic programs. In M. Kamkar, editor, Proceedings AADEBUG'97, Link\u00f6ping University Electronic Press, 1997. http:\/\/www.ida.liu.se\/ext\/cgi-bin\/epa\/cis\/."},{"key":"10.1016\/S1571-0661(05)80659-0_BIB3","unstructured":"M. Comini, W. Drabent, J. Maluszy\u0144ski, and P. Pietrzak. A type-based diagnoser for CHIP. ESPRIT DiSCiPl deliverable, September 1998. http:\/\/discipl.inria.fr\/."},{"key":"10.1016\/S1571-0661(05)80659-0_BIB4","unstructured":"M. Comini, W. Drabent, and P. Pietrzak. Diagnosis of CHIP programs using type information. In Proceedings of APPIA-GULP-PRODE'99 \u2013 1999 Joint Conference on Declarative Programming, L'Aquila, Italy, 1999. (Preliminary version appeared in Proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP'98, Manchester, 1998)."},{"year":"1979","series-title":"Predicate logic as computational formalism. Technical Report 79\/59","author":"Clark","key":"10.1016\/S1571-0661(05)80659-0_BIB5"},{"issue":"1\u20133","key":"10.1016\/S1571-0661(05)80659-0_BIB6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0743-1066(98)10033-X","article-title":"Abstract diagnosis","volume":"39","author":"Comini","year":"1999","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB7","unstructured":"Cosytec SA. CHIP System Documentation, 1996."},{"key":"10.1016\/S1571-0661(05)80659-0_BIB8","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0304-3975(93)90107-5","article-title":"Proof methods of declarative properties of definite programs","volume":"118","author":"Deransart","year":"1993","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10.1016\/S1571-0661(05)80659-0_BIB9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0304-3975(88)90099-0","article-title":"Inductive Assertion Method for Logic Programs","volume":"59","author":"Drabent","year":"1988","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB10","series-title":"Analysis and Visualization Tools for Constraint Programming","article-title":"Locating type errors in untyped CLP programs","author":"Drabent","year":"2000"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB11","unstructured":"W. Drabent and P. Pietrzak. Inferring call and success types for CLP programs. ESPRIT DiSCiPl deliverable, September 1998. http:\/\/discipl.inria.fr\/."},{"key":"10.1016\/S1571-0661(05)80659-0_BIB12","doi-asserted-by":"crossref","unstructured":"W. Drabent and P. Pietrzak. Type Analysis for CHIP. In A.M. Haeberer, editor, Proc. of the Seventh International Conference on Algebraic Methotology and Software Technology (AMAST'98), volume 1548 of LNCS, pages 389\u2013405. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-49253-4_28"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB13","series-title":"Types in Logic Programming","first-page":"157","article-title":"A regular type language for logic programs","author":"Dart","year":"1992"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB14","series-title":"Proc. of the Eleventh International Conference on Logic Programming","first-page":"599","article-title":"Fast and Precise Regular Approximations of Logic Programs","author":"Gallagher","year":"1994"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB15","article-title":"Tree languages","volume":"volume 3, Beyond Words","author":"G\u00e9cseg","year":"1997"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB16","series-title":"The Logic Programming Paradigm: a 25\u2013Year Perspective","first-page":"161","article-title":"Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging","author":"Hermenegildo","year":"1999"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB17","unstructured":"Intelligent Systems Laboratory, Swedish Institute of Computer Science. SICStus Prolog User's Manual 1998."},{"issue":"2","key":"10.1016\/S1571-0661(05)80659-0_BIB18","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF03037396","article-title":"Declarative error diagnosis","volume":"5","author":"Lloyd","year":"1987","journal-title":"New Generation Computing"},{"year":"1987","series-title":"Foundations of Logic Programming","author":"Lloyd","key":"10.1016\/S1571-0661(05)80659-0_BIB19"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB20","unstructured":"T.K. Lakshman and U.S. Reddy. Typed Prolog: A semantic reconstruction of the Mycroft-O'Keefe type system. In V. Saraswat and K. Ueda, editors, Proc. of the 8th ILPS, pages 202\u2013217. MIT Press, 1991."},{"key":"10.1016\/S1571-0661(05)80659-0_BIB21","unstructured":"P. Mildner. Type Domains for Abstract Interpretation, A Critical Study. PhD thesis, Uppsala University, 1999."},{"key":"10.1016\/S1571-0661(05)80659-0_BIB22","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","article-title":"A Polymorphic Type System for Prolog","volume":"23","author":"Mycroft","year":"1984","journal-title":"Artificial Intelligence"},{"year":"1997","series-title":"Programming with Constraints: An Introduction","author":"Marriott","key":"10.1016\/S1571-0661(05)80659-0_BIB23"},{"key":"10.1016\/S1571-0661(05)80659-0_BIB24","unstructured":"P. Pietrzak. Static Incorrectness Diagnosis of CLP(FD). Link\u00f6ping Studies in Science and Technology, Lic. Thesis no. 742, Link\u00f6ping University, 1998."},{"key":"10.1016\/S1571-0661(05)80659-0_BIB25","unstructured":"E. Y. Shapiro. Algorithmic program debugging. In Proc. Ninth Annual ACM Symp. on Principles of Programming Languages, pages 412\u2013531. ACM Press, 1982."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105806590?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105806590?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:48Z","timestamp":1761610128000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105806590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,4]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,4]]}},"alternative-id":["S1571066105806590"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80659-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2000,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Type-based Diagnosis of CLP Programs","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80659-0","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2004 Elsevier Ltd.","name":"copyright","label":"Copyright"}]}}