{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:23:00Z","timestamp":1750454580230,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430926"},{"type":"electronic","value":"9783540455875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45587-6_16","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T21:19:19Z","timestamp":1182719959000},"page":"243-261","source":"Crossref","is-referenced-by-count":23,"title":["Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs"],"prefix":"10.1007","author":[{"given":"John P.","family":"Gallagher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Puebla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"16_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/3-540-58601-6_110","volume-title":"Principles and Practice of Constraint Programming (PPCP 1994)","author":"A. Aiken","year":"1994","unstructured":"A. Aiken. Set constraints: Results, applications, and future directions. In A. Borning, editor, Principles and Practice of Constraint Programming (PPCP 1994), volume 874 of Springer-Verlag Lecture Notes in Computer Science, pages 326\u2013335. Springer Verlag, 1994."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"A. Aiken and E. L. Wimmers. Solving systems of set constraints (extended abstract). In IEEE Symposium on Logic in Computer Science (LICS 1992), pages 329\u2013340, 1992.","DOI":"10.1109\/LICS.1992.185545"},{"key":"16_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0039704","volume-title":"Formal Methods in Programming and their Applications","author":"F. Bourdoncle","year":"1993","unstructured":"F. Bourdoncle. Efficient chaotic iteration strategies with widenings. In Formal Methods in Programming and their Applications, volume 735 of Springer-Verlag Lecture Notes in Computer Science, pages 123\u2013141, 1993."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"M. Bruynooghe, H. Vandecasteele, D. A. de Waal, and M. Denecker. Detecting unsolvable queries for definite logic programs. Journal of Functional and Logic Programming, Special Issue 2, 1999.","DOI":"10.1007\/BFb0056611"},{"key":"16_CR5","unstructured":"F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. L\u00f3pez-Garc\u00eda, and G. Puebla. The Ciao prolog system. reference manual. Technical Report CLIP3\/97. 1, School of Computer Science, Technical University of Madrid (UPM), August 1997. Available from http:\/\/www.clip.dia...upm.es\/ ."},{"issue":"2","key":"16_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/316686.316688","volume":"21","author":"F. Bueno","year":"1999","unstructured":"F. Bueno, M. G. de la Banda, and M. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Transactions on Programming Languages and Systems, 21(2):189\u2013238, March 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-49727-7_17","volume-title":"Directional type inference for logic programs","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 (SAS\u201998), Pisa, September 14-16, 1998, volume 1503 of Springer LNCS, pages 278\u2013294. Springer-Verlag, 1998."},{"key":"16_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054183","volume-title":"Proc. of TACAS\u201998, Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS\u2019 98","author":"W. Charatonik","year":"1998","unstructured":"W. Charatonik and A. Podelski. Set-based analysis of reactive infinite-state systems. In B. Steffen, editor, Proc. of TACAS\u201998, Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS\u2019 98, volume 1384 of Springer-Verlag Lecture Notes in Computer Science, 1998."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"W. Charatonik, A. Podelski, and J.-M. Talbot. Paths vs. trees in set-based program analysis. In T. Reps, editor, Proceedings of POPL\u201900: Principles of Programming Languages, pages 330\u2013338. ACM, ACM Press, January 2000.","DOI":"10.1145\/325694.325730"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/S0743-1066(98)10024-9","volume":"38","author":"M. Codish","year":"1999","unstructured":"M. Codish. Efficient goal directed bottom-up evaluation of logic programs. Journal of Logic Programming, 38(3):355\u2013370, 1999.","journal-title":"Journal of Logic Programming"},{"key":"16_CR11","unstructured":"M. Codish and B. Demoen. Analysing logic programs using \u201cProp\u201d-ositional logic programs and a magic wand. In D. Miller, editor, Proceedings of the 1993 International Symposium on Logic Programming, Vancouver. MIT Press, 1993."},{"key":"16_CR12","unstructured":"H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree Automata Techniques and Applications. http:\/\/www.grappa.univ-lille3.fr\/tata , 1999."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Formal language, grammar and set-constraint-based program analysis by abstract interpretation. In Proceedings of the Seventh ACM Conference on Functional Programming Languages and Computer Architecture, pages 170\u2013181, La Jolla, California, 25-28 June 1995. ACM Press, New York, NY.","DOI":"10.1145\/224164.224199"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"D. de Waal and J. Gallagher. The applicability of logic program analysis and transformation to theorem proving. In Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, 1994.","DOI":"10.1007\/3-540-58156-1_15"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0743-1066(94)90050-7","volume":"18","author":"S. Debray","year":"1994","unstructured":"S. Debray and R. Ramakrishnan. Abstract Interpretation of Logic Programs Using Magic Transformations. Journal of Logic Programming, 18:149\u2013176, 1994.","journal-title":"Journal of Logic Programming"},{"key":"16_CR16","unstructured":"T. Fr\u00fchwirth, E. Shapiro, M. Vardi, and E. Yardeni. Logic programs as types for logic programs. In Proceedings of the IEEE Symposium on Logic in Computer Science, Amsterdam, July 1991."},{"key":"16_CR17","unstructured":"J. Gallagher. A bottom-up analysis toolkit. In Proceedings of the Workshop on Analysis of Logic Languages (WAILL); Eilat, Israel; (also Technical Report CSTR-95-016, Department of Computer Science, University of Bristol, July 1995), June 1995."},{"key":"16_CR18","unstructured":"J. Gallagher, D. Boulanger, and H. Sa\u011flam. Practical model-based static analysis for definite logic programs. In J. W. Lloyd, editor, Proc. of International Logic Programming Symposium, pages 351\u2013365, 1995."},{"key":"16_CR19","unstructured":"J. Gallagher and D. de Waal. Fast and precise regular approximation of logic programs. In P. Van Hentenryck, editor, Proceedings of the International Conference on Logic Programming (ICLP\u201994), Santa Margherita Ligure, Italy. MI T Press, 1994."},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"J. P. Gallagher and J. C. Peralta. Using regular approximations for generalisation during partial evaluation. In Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u20192000), Boston, Mass., (ed. J. Lawall), pages 44\u201351. ACM Press, January 2000.","DOI":"10.1145\/328690.328698"},{"key":"16_CR21","unstructured":"N. Heintze. Practical aspects of set based analysis. In K. Apt, editor, Proceedings of the Joint International Symposium and Conference on Logic Programming, pages 765\u2013769. MIT Press, 1992."},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"N. Heintze and J. Jaffar. A Finite Presentation Theorem for Approximating Logic Programs. In Proceedings of the 17th Annual ACM Symposium on Principles of Programming Languages, San Francisco, pages 197\u2013209. ACM Press, 1990.","DOI":"10.1145\/96709.96729"},{"issue":"2","key":"16_CR23","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"M. Hermenegildo","year":"2000","unstructured":"M. Hermenegildo, G. Puebla, K. Marriott, and P. Stuckey. Incremental Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, 22(2):187\u2013223, March 2000.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR24","unstructured":"M. V. Hermenegildo, F. Bueno, G. Puebla, and P. L\u00f3pez. Program analysis, debugging, and optimization using the Ciao system preprocessor. In D. De Schreye, editor, Proceedings of ICLP 1999: International Conference on Logic Programming, Las Cruces, New Mexico, USA, pages 52\u201366. MIT Press, 1999."},{"issue":"2\u20133","key":"16_CR25","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 Programming, 13(2\u20133):205\u2013258, July 1992.","journal-title":"Journal of Logic Programming"},{"key":"16_CR26","unstructured":"N. Jones. Flow analysis of lazy higher order functional programs. In S. Abramsky and C. Hankin, editors, Abstract Interpretation of Declarative Languages. Ellis-Horwood, 1987."},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"N. D. Jones and S. S. Muchnick. A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In Conference Record of the Ninth Symposium on Principles of Programming Languages, pages 66\u201374. ACM Press, 1982.","DOI":"10.1145\/582153.582161"},{"issue":"1","key":"16_CR28","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1997.2694","volume":"143","author":"D. Kozen","year":"1998","unstructured":"D. Kozen. Set constraints and logic programming. Information and Computation, 143(1):2\u201325, 1998.","journal-title":"Information and Computation"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"J. Lloyd. Foundations of Logic Programming: 2nd Edition. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"16_CR30","unstructured":"P. Mildner. Type Domains for Abstract Interpretation: A Critical Study. PhD thesis, Department of Computer Science, Uppsala University, 1999."},{"issue":"2 and 3","key":"16_CR31","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"K. Muthukumar and M. Hermenegildo. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming, 13(2 and 3):315\u2013347, July 1992.","journal-title":"Journal of Logic Programming"},{"key":"16_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/3-540-49099-X_12","volume-title":"Programming Languages and Systems, 8th European Symposium on Programming, ESOP\u201999","author":"A. Podelski","year":"1999","unstructured":"A. Podelski, W. Charatonik, and M. M\u00fcller. Set-based failure analysis for logic programs and concurrent constraint programs. In S. D. Swierstra, editor, Programming Languages and Systems, 8th European Symposium on Programming, ESOP\u201999, volume 1576 of LNCS, pages 177\u2013192. Springer-Verlag, 1999."},{"key":"16_CR33","unstructured":"J. C. Reynolds. Automatic construction of data set definitions. In J. Morrell, editor, Information Processing 68, pages 456\u2013461. North-Holland, 1969."},{"issue":"3","key":"16_CR34","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(94)00021-W","volume":"22","author":"P. Hentenryck Van","year":"1994","unstructured":"P. Van Hentenryck, A. Cortesi, and B. Le Charlier. Type analysis of prolog using type graphs. Journal of Logic Programming, 22(3):179\u2013210, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"16_CR35","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/2.108055","volume":"25","author":"P. Roy Van","year":"1992","unstructured":"P. Van Roy and A. M. Despain. High-performance logic programming with the Aquarius Prolog compiler. IEEE Computer, 25(1):54\u201368, 1992.","journal-title":"IEEE Computer"},{"key":"16_CR36","series-title":"Lect Notes Comput Sci","first-page":"17","volume-title":"Logic Program Synthesis and Transformation (LOPSTR\u201995)","author":"J. Wunderwald","year":"1995","unstructured":"J. Wunderwald. Memoing evaluation by source-to-source transformation. In M. Proietti, editor, Logic Program Synthesis and Transformation (LOPSTR\u201995), volume 1048 of Springer-Verlag Lecture Notes in Computer Science, pages 17\u201332, 1995."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45587-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T14:00:13Z","timestamp":1737122413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45587-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12,20]]},"ISBN":["9783540430926","9783540455875"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-45587-6_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001,12,20]]}}}