{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:54Z","timestamp":1725664074881},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540582168"},{"type":"electronic","value":"9783540485735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58216-9_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:35:48Z","timestamp":1330270548000},"page":"305-319","source":"Crossref","is-referenced-by-count":1,"title":["Goal dependent vs. goal independent analysis of logic programs"],"prefix":"10.1007","author":[{"given":"M.","family":"Codish","sequence":"first","affiliation":[]},{"given":"M. Garc\u00eda","family":"Banda","sequence":"additional","affiliation":[]},{"given":"M.","family":"Bruynooghe","sequence":"additional","affiliation":[]},{"given":"M.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/151646.151650","volume":"15","author":"R. Barbuti","year":"1993","unstructured":"R. Barbuti, R. Giacobazzi, and G. Levi. A general framework for semantics-based bottom-up abstract interpretation of logic programs. ACM Transactions on Programming Languages and Systems, 15:133\u2013181, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"M. Bruynooghe. A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming, 10:91\u2013124, 1991.","journal-title":"Journal of Logic Programming"},{"key":"22_CR3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0304-3975(94)90055-8","volume":"124","author":"M. Codish","year":"1994","unstructured":"M. Codish, D. Dams, and E. Yardeni. Bottom-up abstract interpretation of logic programs. Journal of Theoretical Computer Science, 124:93\u2013125, 1994.","journal-title":"Journal of Theoretical Computer Science"},{"key":"22_CR4","volume-title":"Analysing Logic Programs using \u201cProp\u201d-ositional Logic Programs and a Magic Wand","author":"M. Codish","year":"1993","unstructured":"M. Codish, B. Demoen. Analysing Logic Programs using \u201cProp\u201d-ositional Logic Programs and a Magic Wand. In Proceedings International Logic Programming Symposium. Vancouver, October 1993. MIT Press."},{"doi-asserted-by":"crossref","unstructured":"M. Codish, A. Mulkers, M. Bruynooghe, M. de la Banda, and M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. In Proc. ACM SIG-PLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation. ACM, 1993.","key":"22_CR5","DOI":"10.1145\/154630.154650"},{"key":"22_CR6","volume-title":"LNCS 714","author":"M. Corsini","year":"1993","unstructured":"M. Corsini, K. Musumbu, A. Rauzy, B. Le Charlier. Efficient bottom-up abstract interpretation of Prolog by means of constraint solving over symbolic finite domains. Proc. of the Fifth International Symposium on Programming Language Implementation and Logic Programming. Tallinn, August 1993, LNCS 714, Springer Verlag."},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Conf. Rec. 4th Acm Symp. on Prin. of Programming Languages, pages 238\u2013252, 1977.","key":"22_CR7","DOI":"10.1145\/512950.512973"},{"issue":"3","key":"22_CR8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"S. K. Debray","year":"1988","unstructured":"S. K. Debray and D. S. Warren. Automatic Mode Inference for Prolog Programs. Journal of Logic Programming, 5(3):207\u2013229, September 1988.","journal-title":"Journal of Logic Programming"},{"key":"22_CR9","doi-asserted-by":"crossref","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 Programs. Theoretical Computer Science, 69:289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF03037136","volume":"6","author":"J. Gallagher","year":"1988","unstructured":"J. Gallagher, M. Codish, E. Shapiro. Specialisation of Prolog and FCP Programs Using Abstract Interpretation. New Generation Computing, 6 (1988) 159\u2013186.","journal-title":"New Generation Computing"},{"unstructured":"D. Jacobs and A. Langen. Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. In 1989 North American Conference on Logic Programming. MIT Press, October 1989.","key":"22_CR11"},{"issue":"2","key":"22_CR12","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0743-1066(92)90034-Z","volume":"13","author":"D. Jacobs","year":"1992","unstructured":"D. Jacobs and A. Langen. Static Analysis of Logic Programs for Independent And-Parallelism. Journal of Logic Programming, 13(2 and 3):291\u2013314, July 1992.","journal-title":"Journal of Logic Programming"},{"unstructured":"K. Marriott and H. S\u00d8ndergaard. Semantics-based dataflow analysis of logic programs. Information Processing, pages 601\u2013606, April 1989.","key":"22_CR13"},{"unstructured":"K. Marriott, H. Sondergaard, and P. Dart. A Characterization of Non-Floundering Logic Programs. In Proc. of the 1990 North American Conference on Logic Programming. MIT Press, 1990.","key":"22_CR14"},{"unstructured":"K. Muthukumar and M. Hermenegildo. Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation. In 1989 North American Conference on Logic Programming. MIT Press, October 1989.","key":"22_CR15"},{"issue":"2and3","key":"22_CR16","doi-asserted-by":"crossref","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"},{"doi-asserted-by":"crossref","unstructured":"H. Sondergaard. An application of abstract interpretation of logic programs: occur check reduction. In European Symposium on Programming, LNCS 123, pages 327\u2013338. Springer-Verlag, 1986.","key":"22_CR17","DOI":"10.1007\/3-540-16442-1_25"},{"key":"22_CR18","first-page":"684","volume-title":"On the Practicality of Global Flow Analysis of Logic Programs","author":"R. Warren","year":"1988","unstructured":"R. Warren, M. Hermenegildo, and S. Debray. On the Practicality of Global Flow Analysis of Logic Programs. In Fifth International Conference and Symposium on Logic Programming, pages 684\u2013699, Seattle,Washington, August 1988. MIT Press."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58216-9_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:12:57Z","timestamp":1619572377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58216-9_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582168","9783540485735"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-58216-9_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}