{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:21:33Z","timestamp":1725488493978},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638759"},{"type":"electronic","value":"9783540696582"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63875-x_55","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T07:08:01Z","timestamp":1186470481000},"page":"225-238","source":"Crossref","is-referenced-by-count":2,"title":["Automated verification of behavioural properties of prolog programs"],"prefix":"10.1007","author":[{"given":"B.","family":"Le Charlier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Lecl\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Cortesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,1]]},"reference":[{"key":"18_CR1","unstructured":"K.R. Apt. From Logic Programming to Prolog. Prentice Hall, 1997."},{"key":"18_CR2","volume-title":"Proc. of the International Logic Programming Symposium (ILPS'94)","author":"C. Braem","year":"1994","unstructured":"C. Braem, B. Le Charlier, S. Modard, and P. Van Hentenryck. Cardinality Analysis of Prolog. In M. Bruynooghe, editor, Proc. of the International Logic Programming Symposium (ILPS'94), Ithaca NY, USA, November 1994. MIT Press."},{"key":"18_CR3","unstructured":"A. Cortesi, B. Le Charlier, and S. Rossi. Specification-Based Automatic Verification of Logic Programs. In Logic Program Synthesis and Transformation. Proceedings of the 6th International Workshop, LOPSTR'96, volume 1207 of LNCS. Springer Verlag, August 1996."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"A. Cortesi, B. Le Charlier, and P. Van Hentenryck. Combination of Abstract Domains for Logic Programming. In Proc. of the 21th ACM Symposium on Principles of Programming Languages (POPL'94), Portland, Oregon, January 1994.","DOI":"10.1145\/174675.177880"},{"issue":"4","key":"18_CR5","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation Frameworks. Journal of Logic and Computation, 2(4):511\u2013547, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"18_CR6","series-title":"LNCS 456","first-page":"222","volume-title":"PLILP'90","author":"P. Boeck De","year":"1990","unstructured":"P. De Boeck and B. Le Charlier. Static Type Analysis of Prolog Procedures for Ensuring Correctness. In PLILP'90, LNCS 456, Springer-Verlag, pages 222\u2013237, Link\u00f6ping, Sweden, 1990."},{"key":"18_CR7","unstructured":"Y. Deville. Logic Programming: Systematic Program Development. MIT Press, 1990."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Thomas W. Getzinger. The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization. In SAS'94, LNCS 864, Springer-Verlag, pages 1\u201325, 1994.","DOI":"10.1007\/3-540-58485-4_30"},{"key":"18_CR9","volume-title":"PLILP'92, LNCS 631","author":"J. Henrard","year":"1992","unstructured":"J. Henrard and B. Le Charlier. FOLON: An Environment for Declarative Construction of Logic Programs. In M. Bruynooghe and M. Wirsing, editors, PLILP'92, LNCS 631, Springer-Verlag, Leuven, 1992."},{"key":"18_CR10","unstructured":"B. Le Charlier, C. Lecl\u00e8re, S. Rossi, and A. Cortesi. Automated Verification of Prolog Programs. Technical Report RP-97-003, Facult\u00e9s Universitaires Notre-Dame de la Paix, Institut d'Informatique, March 1997."},{"key":"18_CR11","unstructured":"B. Le Charlier and S. Rossi. Sequence-Based Abstract Semantics of Prolog. Technical Report RR-96-001, Facult\u00e9s Universitaires Notre-Dame de la Paix, Institut d'Informatique, February 1996."},{"key":"18_CR12","volume-title":"ILPS'94","author":"B. Charlier Le","year":"1994","unstructured":"B. Le Charlier, S. Rossi, and P. Van Hentenryck. An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the Cut. In M. Bruynooghe, editor, ILPS'94, Ithaca NY, USA, November 1994. MIT Press."},{"key":"18_CR13","unstructured":"B. Le Charlier, S. Rossi, and P. Van Hentenryck. Sequence-Based Abstract Interpretation of Prolog. Technical Report RR-97-001, Facult\u00e9s Universitaires Notre-Dame de la Paix, Institut d'Informatique, January 1997."},{"issue":"1","key":"18_CR14","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/174625.174627","volume":"16","author":"B. Charlier Le","year":"1994","unstructured":"B. Le Charlier and P. Van Hentenryck. Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(1):35\u2013101, January 1994.","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF01178260","volume":"32","author":"B. Charlier Le","year":"1995","unstructured":"B. Le Charlier and P. Van Hentenryck. Reexecution in Abstract Interpretation of Prolog. Acta Informatica, 32:209\u2013253, 1995.","journal-title":"Acta Informatica"},{"key":"18_CR16","volume-title":"Two Dual Abstract Operations to Duplicate, Eliminate, Equalize, Introduce and Rename Place-Holders Occurring Inside Abstract Descriptions","author":"C. Lecl\u00e8re","year":"1996","unstructured":"C. Lecl\u00e8re and B. Le Charlier. Two Dual Abstract Operations to Duplicate, Eliminate, Equalize, Introduce and Rename Place-Holders Occurring Inside Abstract Descriptions. Technical Report RP-96-028, University of Namur, Belgium, 1996."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer Series: Symbolic Computation-Artificial Intelligence. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","volume":"19\/20","author":"P. Roy Van","year":"1994","unstructured":"P. Van Roy. 1983-1993: The Wonder Years of Sequential Prolog Implementation. Journal of Logic Programming, 19\/20:385\u2013441, 1994.","journal-title":"Journal of Logic Programming"},{"key":"18_CR19","volume-title":"A Library for Doing Polyhedral Operations","author":"D. K. Wilde","year":"1993","unstructured":"D. K. Wilde. A Library for Doing Polyhedral Operations. Technical Report No. 785, IRISA, Rennes Cedex-France, 1993."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63875-X_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T20:10:43Z","timestamp":1556741443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63875-X_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638759","9783540696582"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-63875-x_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}