{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:35:08Z","timestamp":1725755708208},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642859854"},{"type":"electronic","value":"9783642859830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-642-85983-0_9","type":"book-chapter","created":{"date-parts":[[2013,11,8]],"date-time":"2013-11-08T02:56:12Z","timestamp":1383879372000},"page":"228-260","source":"Crossref","is-referenced-by-count":6,"title":["Abstract Interpretation for (Constraint) Logic Programming"],"prefix":"10.1007","author":[{"given":"M.","family":"Bruynooghe","sequence":"first","affiliation":[]},{"given":"D.","family":"Boulanger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","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 J. Logic Programming, 10 (1991), 91\u2013124","journal-title":"J. Logic Programming"},{"key":"9_CR2","unstructured":"Bossi, A., Gabrielli, M., Levi G., Martelli, M. The S-semantics Approach: Theory and Applications Draft, submitted"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R. Abstract Interpretation Frameworks J. Logic and Computations, 2, (1992) 511\u2013547","journal-title":"Logic and Computations"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R. Abstract Interpretation and Application to Logic Programs J. Logic Programming, 13, (1992) 103\u2013180","journal-title":"Logic Programming"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R. Comparing the Galois Connection and Widening\/Narrowing Approaches to Abstract Interpretation Proc. 5th Int. Symp. Programming Language Implementation and Logic Programming, LNCS 631, Springer-Verlag, (1992) 269\u2013295","DOI":"10.1007\/3-540-55844-6_142"},{"key":"9_CR6","unstructured":"Codognet,P., Fil\u00e9, G. Computations, Abstractions and Constraints in Logic Programs Proc. 4th hit. Conf. on Programming Languages, Oakland, 1992"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N. Automatic Discovery of Linear Restraints among Variables of a Program Conference Record of the 5th ACM Symp. on Principles of Programming Languages, ACM Press, 1978, 84\u201397","DOI":"10.1145\/512760.512770"},{"key":"9_CR8","first-page":"64","volume-title":"(Extended Abstract) Proc. 8th Int. Conf","author":"B Charlier","year":"1991","unstructured":"Le Charlier, B., Van Hentenryck, P. A Generic Abstract Interpretation Algorithm and its Complexity Analysis (Extended Abstract) Proc. 8th Int. Conf. on Logic Programming, MIT Press, 1991, 64\u201378"},{"key":"9_CR9","volume-title":"San Francisco","author":"B Charlier","year":"1992","unstructured":"Le Charlier, B., Van Hentenryck, P. Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog Proc. 4th IEEE International Conference on Computer Languages, San Francisco, 1992"},{"key":"9_CR10","first-page":"100","volume-title":"Freeness Analysis in the Presence of Numerical Constraints Proc. 5th Int. Conf","author":"V Dumortier","year":"1993","unstructured":"Dumortier, V., Janssens, G., Bruynooghe, M., Codish, M. Freeness Analysis in the Presence of Numerical Constraints Proc. 5th Int. Conf. on Logic Programming, MIT Press, 1993, 100\u2013115"},{"key":"9_CR11","first-page":"289","volume":"69","author":"Falaschi,M., Levi,G., Martelli,M.","year":"1989","unstructured":"Falaschi,M., Levi,G., Martelli,M., Palamidessi,C. Declarative Modelling of the Operational Behaviour of Logic Languages Theoretical Computer Science, 69 (1989), 289\u2013318","journal-title":"Palamidessi,C. Declarative Modelling of the Operational Behaviour of Logic Languages Theoretical Computer Science"},{"key":"9_CR12","first-page":"301","volume-title":"Modelling Answer Constraints in Constraint Logic Programs Proc. 8th hit. Conf","author":"M Gabrielli","year":"1991","unstructured":"Gabrielli, M., Levi, G. Modelling Answer Constraints in Constraint Logic Programs Proc. 8th hit. Conf. Logic Programming, MIT Press, 1991, 301\u2013315"},{"key":"9_CR13","first-page":"1993","volume-title":"Int","author":"Garcia de la Banda, M., Hermenegildo, M","year":"1993","unstructured":"Garcia de la Banda, M., Hermenegildo, M. A Practical Approach to the Global Analysis of CLP Programs Proc. 1993 Int. Logic Programming Symp., MIT Press, 1993"},{"key":"9_CR14","volume-title":"Debray, S.,Levi, G. Generalised Semantics and Abstract Interpretation for Constraint Logic Programs Proc. Int","author":"R Giacobazzi","year":"1992","unstructured":"Giacobazzi, R., Debray, S.,Levi, G. Generalised Semantics and Abstract Interpretation for Constraint Logic Programs Proc. Int. Conf. on Fifth Generation Computer Systems, Tokyo, 1992"},{"key":"9_CR15","volume-title":"Debray","author":"R Giacobazzi","year":"1993","unstructured":"Giacobazzi, R., Debray, S.,Levi, G. Generalised Semantics and Abstract Interpretation for Constraint Logic Programs Preliminary Report, April 1993"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1017\/S0269888900005798","volume":"6","author":"P Hentenryck","year":"1991","unstructured":"Van Hentenryck, P. Constraint Logic Programming Knowledge Engineering Review, 6 (1991), 151\u2013194","journal-title":"Constraint Logic Programming Knowledge Engineering Review"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(93)90011-5","volume":"15","author":"T Kanamori","year":"1993","unstructured":"Kanamori, T., Kawamura, T. Abstract Interpretation Based on OLDT Resolution J. Logic Programming 15 (1993), 1\u201330","journal-title":"J. Logic Programming"},{"key":"9_CR18","unstructured":"Jaffar, J., Maher, M. Constraint Logic Programming, a Survey IBMT.J. Watson Research Center, Draft, submitted"},{"key":"9_CR19","first-page":"123","volume-title":"A Semantics-Based Framework for the Abstract Interpretation of PROLOG In S.Abramsky and C.Hankin (eds.)","author":"N Jones","year":"1987","unstructured":"Jones, N., Sondergaard, H. A Semantics-Based Framework for the Abstract Interpretation of PROLOG In S.Abramsky and C.Hankin (eds.), Abstract Interpretation for Declarative Languages, Ellis Horwood, 1987, 123\u2013142"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Karr, M. Affine Relationships among Variables of a Program Acta Inform., 6 (1976), 133\u2013151","DOI":"10.1007\/BF00268497"},{"key":"9_CR21","volume-title":"Berlin","author":"L Lloyd","year":"1987","unstructured":"Lloyd, L. Foundations of Logic Programming Springer-Verlag, Berlin, 1987"},{"key":"9_CR22","first-page":"587","volume-title":"Minker (ed.)","author":"J-L Lassez","year":"1988","unstructured":"Lassez, J.-L., Maher, M., Marriott, K. Unification Revisited In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988, 587\u2013625"},{"key":"9_CR23","first-page":"258","volume":"4","author":"A Martelli","year":"1982","unstructured":"Martelli, A., Montanari, U. An Efficient Unification Algorithm ACM Transactions on Programming Languages and Systems, 4 (1982), 258\u2013282","journal-title":"An Efficient Unification Algorithm ACM Transactions on Programming Languages and Systems"},{"key":"9_CR24","volume-title":"Analysis of Constraint Logic Programs Proc","author":"K Marriott","year":"1990","unstructured":"Marriott, K., Sondergaard, H. Analysis of Constraint Logic Programs Proc. 1990"},{"key":"9_CR25","unstructured":"North American Conference on Logic Programming, MIT Press, 1990, 532\u2013547"},{"key":"9_CR26","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 J. Logic Programming, 13 (1992), 315\u2013374","journal-title":"J. Logic Programming"},{"key":"9_CR27","unstructured":"Tamaki,H., Sato,T. OLD Resolution with Tabulation Proc. 3rd Int. Conf. on Logic Programming"},{"key":"9_CR28","first-page":"301","volume-title":"Deriving Termination Proofs for Logic Programs Proc. 8th Int. Conf","author":"K Verschaetse","year":"1991","unstructured":"Verschaetse, K., De Schreye, D. Deriving Termination Proofs for Logic Programs Proc. 8th Int. Conf. Logic Programming, MIT Press, 1991, 301\u2013315"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Verschaetse, K., De Schreye, D. Derivation of Linear Size Relations by Abstract Interpretation Proc. 5th Int. Symp. Programming Language Implementation and Logic Programming\u201992, LNCS 631, Springer-Verlag, (1992) 296\u2013310","DOI":"10.1007\/3-540-55844-6_143"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(89)90088-1","volume":"69","author":"L Vieille","year":"1989","unstructured":"Vieille, L. Recursive Query Processing: The power of Logic Theoretical Computer Science, 69 (1989), 1\u201353","journal-title":"The power of Logic Theoretical Computer Science"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0743-1066(92)90033-Y","volume":"13","author":"W Winsborough","year":"1992","unstructured":"Winsborough, W. Multiple Specialisation Using Minimal-Function Graph Semantics J. Logic Programming, 13 (1992), 259\u2013290","journal-title":"J. Logic Programming"}],"container-title":["NATO ASI Series","Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-85983-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T03:33:03Z","timestamp":1558668783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-85983-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783642859854","9783642859830"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-85983-0_9","relation":{},"ISSN":["0258-1248"],"issn-type":[{"type":"print","value":"0258-1248"}],"subject":[],"published":{"date-parts":[[1994]]}}}