{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:40:10Z","timestamp":1736710810252,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411376"},{"type":"electronic","value":"9783540400165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722311_5","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:35:38Z","timestamp":1167478538000},"page":"121-150","source":"Crossref","is-referenced-by-count":1,"title":["Locating Type Errors in Untyped CLP Programs"],"prefix":"10.1007","author":[{"given":"W\u0142odzimierz","family":"Drabent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Ma\u0142uszy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Pietrzak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-50940-2_30","volume-title":"TAPSOFT \u201989. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989","author":"A. Bossi","year":"1989","unstructured":"Bossi, A., Cocco, N.: Verifying correctness of logic programs. In: D\u00edaz, J., Orejas, F. (eds.) TAPSOFT 1989 and CCIPL 1989. LNCS, vol.\u00a0352, pp. 96\u2013110. Springer, Heidelberg (1989)"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0743-1066(96)00144-6","volume":"33","author":"J. Boye","year":"1997","unstructured":"Boye, J., Ma\u0142uszy\u0144ski, J.: Directional types and the annotation method. Journal of Logic Programming\u00a033(3), 179\u2013220 (1997)","journal-title":"Journal of Logic Programming"},{"key":"5_CR3","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Ma\u0142uszy\u0144ski, J., Puebla, G.: On the role of semantic approximations in validation and diagnosis of constraint logic programs. In: Kamkar, M. (ed.) Proceedings of the AADEBUG 1997 (The Third International Workshop on Automated Debugging), pp. 155\u2013169. Link\u00f6ping University (1997)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-49727-7_17","volume-title":"Static Analysis","author":"W. Charatonik","year":"1998","unstructured":"Charatonik, W., Podelski, A.: Directional type inference for logic programs. In: Levi, G. (ed.) SAS 1998. LNCS, vol.\u00a01503, pp. 278\u2013294. Springer, Heidelberg (1998)"},{"key":"5_CR5","unstructured":"Clark, K.L.: Predicate logic as computational formalism. Technical Report 79\/59, Imperial College, London (December 1979)"},{"key":"5_CR6","unstructured":"Comini, M., Drabent, W., Ma\u0142uszy\u0144ski, J., Pietrzak, P.: A type-based diagnoser for CHIP. ESPRIT DiSCiPl deliverable (September 1998)"},{"key":"#cr-split#-5_CR7.1","unstructured":"Comini, M., Drabent, W., Pietrzak, P.: Diagnosis of CHIP programs using type information. In: Proceedings of APPIA-GULP-PRODE 1999 \u2013 1999 Joint Conference on Declarative Programming, L\u2019Aquila, Italy (1999);"},{"key":"#cr-split#-5_CR7.2","unstructured":"Preliminary version appeared in Proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP 1998, Manchester (1998)"},{"issue":"1\u20133","key":"5_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(98)10033-X","volume":"39","author":"M. Comini","year":"1999","unstructured":"Comini, M., Levi, G., Meo, M.C., Vitiello, G.: Abstract diagnosis. Journal of Logic Programming\u00a039(1\u20133), 43\u201395 (1999)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/S0743-1066(98)10024-9","volume":"38","author":"M. Codish","year":"1999","unstructured":"Codish, M.: Efficient goal directed bottom-up evaluation of logic programs. Journal of Logic Programming\u00a038(3), 355\u2013370 (1999)","journal-title":"Journal of Logic Programming"},{"key":"5_CR10","unstructured":"Cosytec SA. CHIP System Documentation (1998)"},{"key":"5_CR11","first-page":"157","volume-title":"Types in Logic Programming","author":"P. Dart","year":"1992","unstructured":"Dart, P., Zobel, J.: A regular type language for logic programs. In: Pfenning, F. (ed.) Types in Logic Programming, pp. 157\u2013187. The MIT Press, Cambridge (1992)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(93)90107-5","volume":"118","author":"P. Deransart","year":"1993","unstructured":"Deransart, P.: Proof method of declarative properties of definite programs. Theoretical Computer Science\u00a0118, 99\u2013166 (1993)","journal-title":"Theoretical Computer Science"},{"key":"5_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3345.001.0001","volume-title":"A Grammatical View of Logic Programming","author":"P. Deransart","year":"1993","unstructured":"Deransart, P., Ma\u0142uszy\u0144ski, J.: A Grammatical View of Logic Programming. MIT Press, Cambridge (1993)"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0304-3975(88)90099-0","volume":"59","author":"W. Drabent","year":"1988","unstructured":"Drabent, W., Ma\u0142uszy\u0144ski, J.: Inductive Assertion Method for Logic Programs. Theoretical Computer Science\u00a059(1), 133\u2013155 (1988)","journal-title":"Theoretical Computer Science"},{"key":"5_CR15","unstructured":"Drabent, W., Pietrzak, P.: Inferring call and success types for CLP programs. ESPRIT DiSCiPl deliverable (September 1998)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/3-540-49253-4_28","volume-title":"Algebraic Methodology and Software Technology","author":"W. Drabent","year":"1998","unstructured":"Drabent, W., Pietrzak, P.: Type Analysis for CHIP. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 389\u2013405. Springer, Heidelberg (1998)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Drabent, W., Ma\u0142uszy\u0144ski, J., Pietrzak, P.: Type-based Diagnosis of CLP Programs. Electronic Notes in Theoretical Computer Science\u00a030(4) (2000)","DOI":"10.1016\/S1571-0661(05)80659-0"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G. Ferrand","year":"1987","unstructured":"Ferrand, G.: Error Diagnosis in Logic Programming, an Adaptation of E. Y. Shapiro\u2019s Method. Journal of Logic Programming\u00a04, 177\u2013198 (1987)","journal-title":"Journal of Logic Programming"},{"key":"5_CR19","first-page":"300","volume-title":"Annual IEEE Symposium on Logic in Computer Science (LICS)","author":"T. Fr\u00fchwirth","year":"1991","unstructured":"Fr\u00fchwirth, T., Shapiro, E., Vardi, M., Yardeni, E.: Logic Programs as Types for Logic Programs. In: Kahn, G. (ed.) Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 300\u2013309. IEEE Computer Society Press, Los Alamitos (1991), Corrected version available from http:\/\/WWW.pst.informatik.uni-muenchen.de\/~fruehwir"},{"key":"5_CR20","first-page":"599","volume-title":"Proc. of the Eleventh International Conference on Logic Programming","author":"J. Gallagher","year":"1994","unstructured":"Gallagher, J., de Waal, D.A.: Fast and Precise Regular Approximations of Logic Programs. In: Van Hentenryck, P. (ed.) Proc. of the Eleventh International Conference on Logic Programming, pp. 599\u2013613. The MIT Press, Cambridge (1994)"},{"key":"5_CR21","volume-title":"Handbook of Formal Languages","author":"F. G\u00e9cseg","year":"1997","unstructured":"G\u00e9cseg, F., Steinby, M.: Tree languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a03, Beyond Words. Springer, Heidelberg (1997)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-49674-2_8","volume-title":"Logic Program Synthesis and Transformation","author":"A. Heaton","year":"1998","unstructured":"Heaton, A., Hill, P., King, A.: Analysis of Logic Programs with Delay. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol.\u00a01463, pp. 148\u2013167. Springer, Heidelberg (1998)"},{"key":"5_CR23","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-642-60085-2_7","volume-title":"The Logic Programming Paradigm: a 25\u2013Year Perspective","author":"M. Hermenegildo","year":"1999","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F.: Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. In: Apt, K.R., Marek, V., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm: a 25\u2013Year Perspective. LNCS (LNAI), pp. 161\u2013192. Springer, Heidelberg (1999)"},{"issue":"2 & 3","key":"5_CR24","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1992","unstructured":"Janssens, G., Bruynooghe, M.: Deriving descriptions of possible values of program variables by means of abstract interpretation. Journal of Logic Programming\u00a013(2 & 3), 205\u2013258 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"5_CR25","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Declarative error diagnosis. New Generation Computing\u00a05(2), 133\u2013154 (1987)","journal-title":"New Generation Computing"},{"key":"5_CR26","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":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. (extended). Springer, Heidelberg (1987)","edition":"2"},{"key":"5_CR27","unstructured":"Mildner, P.: Type Domains for Abstract Interpretation, A Critical Study. PhD thesis, Uppsala University (1999)"},{"key":"5_CR28","unstructured":"Mishra, P.: Towards a theory of types in Prolog. In: Proceedings of the IEEE International Symposium on Logic Programming, pp. 289\u2013298 (1984)"},{"key":"5_CR29","unstructured":"Pietrzak, P.: Static Incorrectness Diagnosis of CLP(FD). Link\u00f6ping Studies in Science and Technology, Lic. Thesis no. 742, Link\u00f6ping University (1998)"},{"key":"5_CR30","unstructured":"SICStus Prolog User\u2019s Manual. Intelligent Systems Laboratory, Swedish Institute of Computer Science (1998)"},{"key":"5_CR31","first-page":"412","volume-title":"Proc. Ninth Annual ACM Symp. on Principles of Programming Languages","author":"E.Y. Shapiro","year":"1982","unstructured":"Shapiro, E.Y.: Algorithmic program debugging. In: Proc. Ninth Annual ACM Symp. on Principles of Programming Languages, pp. 412\u2013531. ACM Press, New York (1982)"}],"container-title":["Lecture Notes in Computer Science","Analysis and Visualization Tools for Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722311_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:08:08Z","timestamp":1736708888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/10722311_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}