{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214353,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654629"},{"type":"electronic","value":"9783540492535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49253-4_28","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:56:45Z","timestamp":1181185005000},"page":"389-405","source":"Crossref","is-referenced-by-count":3,"title":["Type Analysis for CHIP"],"prefix":"10.1007","author":[{"given":"W\u0142odzimierz","family":"Drabent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Pietrzak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"issue":"1\u20132","key":"28_CR1","first-page":"22","volume":"28","author":"K.R. Apt","year":"1996","unstructured":"K.R. Apt and R. Ben-Eliyahu. Meta-variables in Logic Programming, or in Praise of Ambivalent SyntaxFundamenta Informaticae28(1\u20132):22\u201336, 1996.","journal-title":"Fundamenta Informaticae"},{"issue":"6A","key":"28_CR2","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6","author":"K.R. Apt","year":"1994","unstructured":"K.R. Apt and E. Marchiori. Reasoning about Prolog programs: from modes through types to assertionsFormal Aspects of Computing, 6(6A):743\u20137641994.","journal-title":"Formal Aspects of Computing"},{"key":"28_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-50940-2_30","volume-title":"Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT\u2019 89","author":"A. Bossi","year":"1989","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\u2019 89, vol. 2, pages 96\u2013110. Springer-Verlag, 1989. Lecture Notes in Computer Science."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"F. Benhamou and W. Older. Applying Interval Arithmetic to Real, Integer and Boolean ConstraintsJournal of Logic Programming, 32(1):1\u201324July1997.","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"28_CR5","unstructured":"J. Boye. Directional Types in Logic Programming. Link\u00f6ping studies in science and technology, dissertation no. 437, Link\u00f6ping University, 1996."},{"issue":"2\u20133","key":"28_CR6","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation and Application to Logic ProgrammingJournal of Logic Programming13(2\u20133):103\u20131791992.","journal-title":"Journal of Logic Programming"},{"key":"28_CR7","unstructured":"M. Comini, W. Drabent, J. Ma\u0142uszy\u0144ski, and P. Pietrzak. A type-based diagnoser for CHIP. ESPRIT DiSCiPl deliverable September1998."},{"key":"28_CR8","unstructured":"M. Comini, W. Drabent, and P. Pietrzak. Diagnosis of CHIP programs using type information. In proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP\u2019981998."},{"key":"28_CR9","volume-title":"Technical Report 79\/59","author":"K. L. Clark","year":"1979","unstructured":"K. L. Clark. Predicate logic as computational formalismTechnical Report 79\/59, Imperial College, LondonDecember1979."},{"key":"28_CR10","volume-title":"CIAO System Reference Manual","author":"The CLIP Group.","year":"1997","unstructured":"The CLIP Group. CIAO System Reference Manual. Facultad de Inform\u00e1tica, UPM, Madrid, August1997. CLIP3\/97.1."},{"key":"28_CR11","unstructured":"M. Comini, G. Levi, M. C. Meo, and G. Vitiello. Abstract diagnosis. Journal of Logic Programming1998.To appear."},{"key":"28_CR12","unstructured":"Cosytec SA. CHIP System Documentation, 1996."},{"key":"28_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0304-3975(88)90099-0","volume":"59","author":"W. Drabent","year":"1988","unstructured":"W. Drabent and J. Makluszynski. Inductive Assertion Method for Logic ProgramsTheoretical Computer Science, 59:133\u20131551988.","journal-title":"Theoretical Computer Science"},{"key":"28_CR14","unstructured":"W. Drabent and P. Pietrzak. Inferring call and success types for CLP programs. ESPRIT DiSCiPl deliverable September1998."},{"key":"28_CR15","unstructured":"W. Drabent and P. Pietrzak. Type analysis for CHIP. In proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP\u2019981998."},{"key":"28_CR16","unstructured":"W. Drabent. On completeness of the inductive assertion method for logic programs. Unpublished note (available from http:\/\/www.ipipan.waw.pl\/~drabent ), Institute of Computer Science, Polish Academy of Sciences, May1988."},{"key":"28_CR17","unstructured":"P. Dart and J. Zobel. A regular type language for logic programs. In F. PfenningeditorTypes in Logic Programming, pages 157\u2013187. MIT Press, 1992."},{"issue":"3","key":"28_CR18","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative modelling of the operational behaviour of logic languagesTheoretical Computer Science69(3):289\u20133181989.","journal-title":"Theoretical Computer Science"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"T. Fruewirth, E. Shapiro, M. Vardi, and E. Yardeni. Logic programs as types for logic programs. InG. Kahn, editor, Annual IEEE Symposium on Logic in Computer Science (LICS), pages 300\u2013309, Amsterdam, July 1991. IEEE Computer Society Press. Corrected version available from http:\/\/WWW.pst.informatik.uni-muenchen.de\/~fruehwir .","DOI":"10.1109\/LICS.1991.151654"},{"key":"28_CR20","unstructured":"J. Gallagher and D. A. deWaal. Regular Approximations of Logic Programs and Their UsesTechnical Report CSTR-92-06 Department of Computer Science, University of Bristol 1992."},{"key":"28_CR21","unstructured":"J. Gallagher and D. A. deWaal. Fast and Precise Regular Approximations of Logic Programs. In P. Van Hentenryck editor Proc. of the Eleventh International Conference on Logic Programming, pages 599\u2013613. MIT Press, 1994."},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"F. G\u00e9cseg and M. Steinby. Tree languages. In G. Rozenberg and A. Salomaa, editorsHandbook of Formal Languages volume 3, Beyond Words. Springer-Verlag, 1997.","DOI":"10.1007\/978-3-642-59126-6_1"},{"issue":"3","key":"28_CR23","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0743-1066(94)00021-W","volume":"22","author":"P. Hentenryck","year":"1995","unstructured":"P. Van Hentenryck, A. Cortesi, and B. Le Charlier. Type analysis of Prolog using type graphsJournal of Logic Programming22(3):179\u2013209March 1995.","journal-title":"Journal of Logic Programming"},{"key":"28_CR24","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"28_CR25","unstructured":"P.M. Hill and J.W. Lloyd. The G\u00f6del Programming Language. MIT Press, 1994."},{"issue":"2&3","key":"28_CR26","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1992","unstructured":"G. Janssens and M. Bruynooghe. Deriving descriptions of possible values of program variables by means of abstract interpretation. Journal of Logic Programming13(2&3):205\u20132581992.","journal-title":"Journal of Logic Programming"},{"key":"28_CR27","unstructured":"T.K. Lakshman and U.S. Reddy. Typed Prolog: A semantic reconstruction of the Mycroft-O\u2019Keefe type system. In V. Saraswat and K. Uedaeditors, Proc. of the 8th International Logic Programming Symposium, pages 202\u2013217 MIT Press, 1991."},{"key":"28_CR28","unstructured":"P. Mishra. Towards a theory of types in Prolog. In Proceedings of the IEEE International Symposium on Logic Programming, pages 289\u20132981984."},{"key":"28_CR29","unstructured":"G. Puebla, F. Bueno, and Hermenegildo M. A framework for assertionbased debugging in constraint logic programming. In proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP\u2019981998."},{"issue":"1-3","key":"28_CR30","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Z. Somogyi, F. Hederson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming languageJournal of Logic Programming29(1-3)14\u2013641996.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"28_CR31","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(91)80002-U","volume":"10","author":"E. Yardeni","year":"1991","unstructured":"E. Yardeni and E. Y. Shapiro. A type system for logic programsJournal of Logic Programming10(2)125\u20131531991.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49253-4_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:20:59Z","timestamp":1737076859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}