{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:13:38Z","timestamp":1737177218715,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656999"},{"type":"electronic","value":"9783540490999"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49099-x_12","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T21:03:21Z","timestamp":1182719001000},"page":"177-192","source":"Crossref","is-referenced-by-count":2,"title":["Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Podelski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Witold","family":"Charatonik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"12_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/3-540-58601-6_110","volume-title":"Proceedings of the Workshop on Principles and Practice of Constraint Programming","author":"A. Aiken","year":"1994","unstructured":"A. Aiken. Set constraints: Results, applications and future directions. In Proceedings of the Workshop on Principles and Practice of Constraint Programming, LNCS 874, pages 326\u2013335. Springer-Verlag, 1994."},{"issue":"3","key":"12_CR2","first-page":"1","volume":"16","author":"H. A\u00eft-Kaci","year":"1994","unstructured":"H. A\u00eft-Kaci and A. Podelski. Functions as passive constraints in LIFE. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(3):1\u201340, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"F. Bourdoncle. Abstract debugging of higher-order imperative languages. In Proceedings of the SIGPLAN'93 Conference on Programming Language Design and Implementation (PLD\u201993), pages 46\u201355. ACM Press, 1993.","DOI":"10.1145\/155090.155095"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"W. Charatonik and A. Podelski. Co-definite set constraints. In T. Nipkow, editor, 9th International Conference on Rewriting Techniques and Applications, pages 211\u2013225, Springer-Verlag. 1998.","DOI":"10.1007\/BFb0052372"},{"key":"12_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-49727-7_17","volume-title":"Proceedings of the International Symposium on Static Analysis","author":"W. Charatonik","year":"1998","unstructured":"W. Charatonik and A. Podelski. Directional Type Inference for Logic Programs. In G. Levi, editor, Proceedings of the International Symposium on Static Analysis. LNCS, pages 278\u2013294, Springer-Verlag. 1998."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"W. Charatonik, D. McAllester, D. Niwi\u0144ski, A. Podelski and I. Walukiewicz. The Horn Mu-calculus. In V. Pratt, editor, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, pages 58\u201369, IEEE Press. 1998.","DOI":"10.1109\/LICS.1998.705643"},{"key":"12_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/BFb0054183","volume-title":"Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"W. Charatonik","year":"1998","unstructured":"W. Charatonik and A. Podelski. Set-based Analysis of Reactive Infinite-state Systems. In B. Steffen, editor, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems. LNCS 1384, pages 358\u2013375, Springer-Verlag. 1998."},{"key":"12_CR8","unstructured":"W. Charatonik and A. Podelski. Set constraints for greatest models. Technical Report MPI-I-97-2-004, Max-Planck-Institut f\u00fcr Informatik. 1997."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"W. Charatonik and A. Podelski. Set constraints with intersection. In G. Winskel, editor, Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS), pages 362\u2013372, IEEE Press. 1997.","DOI":"10.1109\/LICS.1997.614962"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In Proc. POPL\u2019 92, pages 83\u201394. ACM Press, 1992.","DOI":"10.1145\/143165.143184"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1145\/224164.224199","volume-title":"Record of FPCA\u2019 95 \u2014 Conference on Functional Programming and Computer Architecture","author":"P. Cousot","year":"1995","unstructured":"P. Cousot and R. Cousot. Formal language, grammar and set-constraint-based program analysis by abstract interpretation. In Record of FPCA\u2019 95 \u2014 Conference on Functional Programming and Computer Architecture, pages 170\u2013181, La Jolla, California, USA, 25\u201328 June 1995. SIGPLAN\/SIGARCH\/WG2.8, ACM Press, New York, USA."},{"key":"12_CR13","unstructured":"J. P. Gallagher, D. Boulanger, and H. Saglam. Practical model-based static analysis for definite logic programs. In Proceedings of the 1995 International Symposium on Logic Programming, pages 351\u2013368."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"J. P. Gallagher and L. Lafave. Regular approximation of computation paths in logic and functional languages. In Proceedings of the Dagstuhl Workshop on Partial Evaluation, pages 1\u201316. Springer-Verlag, February 1996.","DOI":"10.1007\/3-540-61580-6_7"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"F. de Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi. Proving concurrent constraint programs correct. In Proceedings of the Twentieth ACM Symposium on Principles of Programming Languages (POPL), pages 98\u2013108. ACM Press, 1994.","DOI":"10.1145\/174675.176925"},{"key":"12_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/BFb0017430","volume-title":"Proceedings of the Third International Conference on Principles and Practive of Constraint Programming","author":"P. Devienne","year":"1997","unstructured":"P. Devienne, J.-M. Talbot, and S. Tison. Solving classes of set constraints with tree automata. In G. Smolka, editor, Proceedings of the Third International Conference on Principles and Practive of Constraint Programming, pages 62\u201376, volume 1330 of Lecture Notes in Computer Science. Springer-Verlag, 1997."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Compositional Analysis for Concurrent Constraint Programming. In Proceedings of the Eight Annual IEEE Symposium on Logic in Computer Science, pages 210\u2013221, 1993.","DOI":"10.1109\/LICS.1993.287586"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth, E. Shapiro, M. Vardi, and E. Yardeni. Logic programs as types for logic programs. In Sixth Annual IEEE Symposium on Logic in Computer Science, pages 300\u2013309, July 1991.","DOI":"10.1109\/LICS.1991.151654"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"K. L. S. Gasser, F. Nielson, and H. R. Nielson. Systematic realisation of control flow analyses for CML. In Proceedings of ICFP\u201997, pages 38\u201351. ACM Press, 1997.","DOI":"10.1145\/258948.258954"},{"key":"12_CR20","unstructured":"F. G\u00e9cseg and M. Steinby. Tree Automata. Akademiai Kiado, 1984."},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"N. Heintze and J. Jaffar. A decision procedure for a class of set constraints (extended abstract). In Fifth Annual IEEE Symposium on Logic in Computer Science, pages 42\u201351, 1990.","DOI":"10.1109\/LICS.1990.113732"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"N. Heintze and J. Jaffar. A finite presentation theorem for approximating logic programs. In Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 197\u2013209, January 1990.","DOI":"10.1145\/96709.96729"},{"key":"12_CR23","unstructured":"N. Heintze and J. Jaffar. Semantic types for logic programs. In F. Pfenning, editor, Types in Logic Programming, pages 141\u2013156. MIT Press, 1992."},{"key":"12_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/3-540-58601-6_107","volume-title":"Proceedings of the Workshop on Principles and Practice of Constraint Programming","author":"N. Heintze","year":"1994","unstructured":"N. Heintze and J. Jaffar. Set constraints and set-based analysis. In Proceedings of the Workshop on Principles and Practice of Constraint Programming, LNCS 874, pages 281\u2013298. Springer-Verlag, 1994."},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher. Constraint Logic Programming: A Survey. The Journal of Logic Programming, 19\/20:503\u2013582, 1994.","journal-title":"The Journal of Logic Programming"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0304-3975(86)90027-7","volume":"46","author":"J. Jaffar","year":"1986","unstructured":"J. Jaffar and P. J. Stuckey. Semantics of infinite tree logic programming. Theoretical Computer Science, 46:141\u2013158, 1986.","journal-title":"Theoretical Computer Science"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"N. D. Jones and S. S. Muchnick. Flow analysis and optimization of lisp-like structures. In Sixth Annual ACM Symposium on Principles of Programming Languages, pages 244\u2013256, January 1979.","DOI":"10.1145\/567752.567776"},{"key":"12_CR28","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. Symbolic Computation. Springer-Verlag, Berlin, Germany, second, extended edition, 1987.","edition":"second, extende"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"M.J. Maher. Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees. In Proceedings of the Symposium of Logic in Computer Science, pages 348\u2013457, IEEE Press, 1988.","DOI":"10.1109\/LICS.1988.5132"},{"key":"12_CR30","unstructured":"P. Mishra. Towards a theory of types in Prolog. In IEEE International Symposium on Logic Programming, pages 289\u2013298, 1984."},{"key":"12_CR31","volume-title":"Type Analysis for a Higher-Order Concurrent Constraint Language","author":"M. M\u00fcller","year":"1998","unstructured":"M. M\u00fcller. Type Analysis for a Higher-Order Concurrent Constraint Language. PhD thesis, Universit\u00e4t des Saarlandes, Technische Fakult\u00e4t, D-66041 Saarbr\u00fccken, Germany, 1998."},{"key":"12_CR32","unstructured":"The Oz System. Programming Systems Lab, Universit\u00e4t des Saarlandes. Available through the WWW at http:\/\/www.ps.uni-sb.de\/oz . 1997."},{"key":"12_CR33","series-title":"NATO ASI Series F: Computer and System Sciences","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-3-642-85983-0_10","volume-title":"Constraint Programming","author":"E. Palmgren","year":"1994","unstructured":"E. Palmgren. Denotational semantics of Constraint Logic Programming \u2014 a nonstandard approach. In B. Mayoh, E. Tyugu, and J. Penjam, editors, Constraint Programming, volume 131 of NATO ASI Series F: Computer and System Sciences, pages 261\u2013288. Springer-Verlag, Berlin, Germany, 1994."},{"key":"12_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017466","volume-title":"Proceedings of the Third International Conference on Principles and Practive of Constraint Programming","author":"L. Pacholski","year":"1997","unstructured":"L. Pacholski and A. Podelski. Set Constraints: A Pearl in Research on Constraints (Tutorial Abstract). In G. Smolka, editor, Proceedings of the Third International Conference on Principles and Practive of Constraint Programming, volume 1330 of Lecture Notes in Computer Science. Springer-Verlag, 1997."},{"key":"12_CR35","unstructured":"J. Reynolds. Automatic Computation of Data Set Definitions. Information Processing, 68, 1969."},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic Foundations of Concurrent Constraint Programming. In 18th Symposium on Principles of Programming Languages, pages 333\u2013352. ACM Press, Jan. 1991.","DOI":"10.1145\/99583.99627"},{"key":"12_CR37","series-title":"Lect Notes Comput Sci","volume-title":"The Oz Programming Model","author":"G. Smolka","year":"1995","unstructured":"G. Smolka. The Oz Programming Model. In Volume 1000 of Lecture Notes in Computer Science. Springer-Verlag, 1995."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49099-X_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T13:57:20Z","timestamp":1737122240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49099-X_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656999","9783540490999"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-49099-x_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}