{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T17:39:03Z","timestamp":1748367543480},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540214021"},{"type":"electronic","value":"9783540247548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24754-8_9","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T20:28:24Z","timestamp":1278534504000},"page":"100-116","source":"Crossref","is-referenced-by-count":11,"title":["Multivariant Non-failure Analysis via Standard Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Bueno","sequence":"first","affiliation":[]},{"given":"Pedro","family":"L\u00f3pez-Garc\u00eda","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","first-page":"457","volume-title":"Proc. International Symposium on Logic Programming","author":"C. Braem","year":"1994","unstructured":"Braem, C., Le Charlier, B., Modart, S., Van Hentenryck, P.: Cardinality analysis of prolog. In: Proc. International Symposium on Logic Programming, Ithaca, NY, November 1994, pp. 457\u2013471. MIT Press, Cambridge (1994)"},{"key":"9_CR2","unstructured":"Bruynooghe, M.: A Framework for the Abstract Interpretation of Logic Programs. Tech. Rep. CW62, Dept. of C.S., Katholieke Universiteit Leuven (October 1987)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"Bruynooghe, M.: A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming\u00a010, 91\u2013124 (1991)","journal-title":"Journal of Logic Programming"},{"key":"9_CR4","unstructured":"Bueno, F., L\u00f3pez-Garc\u00eda, P., Puebla, G., Hermenegildo, M.: The Ciao Prolog Preprocessor. Technical Report CLIP1\/04, Technical University of Madrid (UPM), Facultad de Inform\u00e1tica, 28660 Boadilla del Monte, Madrid, Spain (January 2004)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"9_CR6","first-page":"424","volume-title":"Proceedings of the Tenth International Conference on Logic Programming","author":"S. Dawson","year":"1993","unstructured":"Dawson, S., Ramakrishnan, C.R., Ramakrishnan, I.V., Sekar, R.C.: Extracting determinacy in logic programs. In: Warren, D.S. (ed.) Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, pp. 424\u2013438. The MIT Press, Cambridge (1993)"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"S.K. Debray","year":"1988","unstructured":"Debray, S.K., Warren, D.S.: Automatic Mode Inference for Prolog Programs. Journal of Logic Programming\u00a05(3), 207\u2013229 (1988)","journal-title":"Journal of Logic Programming"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","first-page":"515","volume-title":"ICDT \u201990","author":"S.K. Debray","year":"1990","unstructured":"Debray, S.K., Lin, N.-W.: Static Estimation of Query Sizes in Horn Programs. In: Kanellakis, P.C., Abiteboul, S. (eds.) ICDT 1990. LNCS, vol.\u00a0470, pp. 515\u2013528. Springer, Heidelberg (1990)"},{"key":"9_CR9","first-page":"48","volume-title":"1997 International Conference on Logic Programming","author":"S.K. Debray","year":"1997","unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: Non-Failure Analysis for Logic Programs. In: 1997 International Conference on Logic Programming, Cambridge, MA, June 1997, pp. 48\u201362. MIT Press, Cambridge (1997)"},{"key":"9_CR10","first-page":"291","volume-title":"1997 International Logic Programming Symposium","author":"S.K. Debray","year":"1997","unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M., Lin, N.-W.: Lower Bound Cost Estimation for Logic Programs. In: 1997 International Logic Programming Symposium, October 1997, pp. 291\u2013305. MIT Press, Cambridge (1997)"},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1145\/504083.504085","volume":"23","author":"G. Gupta","year":"2001","unstructured":"Gupta, G., Pontelli, E., Ali, K., Carlsson, M., Hermenegildo, M.: Parallel Execution of Prolog Programs: a Survey. ACM Transactions on Programming Languages and Systems\u00a023(4), 472\u2013602 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR12","first-page":"52","volume-title":"1999 International Conference on Logic Programming","author":"M. Hermenegildo","year":"1999","unstructured":"Hermenegildo, M., Bueno, F., Puebla, G., L\u00f3pez-Garc\u00eda, P.: Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In: 1999 International Conference on Logic Programming, Cambridge, MA, November 1999, pp. 52\u201366. MIT Press, Cambridge (1999)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44898-5_8","volume-title":"Static Analysis","author":"M. Hermenegildo","year":"2003","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 127\u2013152. Springer, Heidelberg (2003)"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"M. Hermenegildo","year":"2000","unstructured":"Hermenegildo, M., Puebla, G., Marriott, K., Stuckey, P.: Incremental Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems\u00a022(2), 187\u2013223 (2000)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR15","unstructured":"Jones, N., Sondergaard, H.: A semantics-based framework for the abstract interpretation of prolog. In: Abstract Interpretation of Declarative Languages, Ellis-Horwood, ch.\u00a06, pp. 124\u2013142 (1987)"},{"key":"9_CR16","first-page":"205","volume-title":"Fourth IEEE Symposium on Logic Programming","author":"H. Mannila","year":"1987","unstructured":"Mannila, H., Ukkonen, E.: Flow Analysis of Prolog Programs. In: Fourth IEEE Symposium on Logic Programming, San Francisco, California, September 1987, pp. 205\u2013214. IEEE Computer Society, Los Alamitos (1987)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/3-540-16492-8_95","volume-title":"Third International Conference on Logic Programming","author":"C.S. Mellish","year":"1986","unstructured":"Mellish, C.S.: Abstract Interpretation of Prolog Programs. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol.\u00a0225, pp. 463\u2013475. Springer, Heidelberg (1986)"},{"key":"9_CR18","unstructured":"Muthukumar, K., Hermenegildo, M.: Deriving A Fixpoint Computation Algorithm for Top-down Abstract Interpretation of Logic Programs. Technical Report ACT-DC-153-90, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759 (April 1990)"},{"issue":"2\/3","key":"9_CR19","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"Muthukumar, K., Hermenegildo, M.: Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming\u00a013(2\/3), 315\u2013347 (1992)","journal-title":"Journal of Logic Programming"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0304-3975(84)90119-1","volume":"34","author":"T. Sato","year":"1984","unstructured":"Sato, T., Tamaki, H.: Enumeration of Success Patterns in Logic Programs. Theoretical Computer Science\u00a034, 227\u2013240 (1984)","journal-title":"Theoretical Computer Science"},{"key":"9_CR21","unstructured":"Waern, A.: An Implementation Technique for the Abstract Interpretation of Prolog. In: Fifth International Conference and Symposium on Logic Programming, Seattle, Washington, August 1988, pp. 700\u2013710 (1988)"},{"key":"9_CR22","first-page":"684","volume-title":"Fifth International Conference and Symposium on Logic Programming","author":"R. Warren","year":"1988","unstructured":"Warren, R., Hermenegildo, M., Debray, S.K.: On the Practicality of Global Flow Analysis of Logic Programs. In: Fifth International Conference and Symposium on Logic Programming, August 1988, pp. 684\u2013699. MIT Press, Cambridge (1988)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24754-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T13:43:33Z","timestamp":1552830213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24754-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540214021","9783540247548"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24754-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}