{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:12:40Z","timestamp":1768162360602,"version":"3.49.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030452599","type":"print"},{"value":"9783030452605","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45260-5_3","type":"book-chapter","created":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T14:02:31Z","timestamp":1587477751000},"page":"36-56","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Incremental Analysis of Logic Programs with Assertions and Open Predicates"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6098-3895","authenticated-orcid":false,"given":"Isabel","family":"Garcia-Contreras","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9782-8135","authenticated-orcid":false,"given":"Jose F.","family":"Morales","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7583-323X","authenticated-orcid":false,"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"3_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 Program. 10, 91\u2013124 (1991)","journal-title":"J. Logic Program."},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-44957-4_9","volume-title":"Computational Logic \u2014 CL 2000","author":"D Cabeza","year":"2000","unstructured":"Cabeza, D., Hermenegildo, M.: A new module system for prolog. In: Lloyd, J., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 131\u2013148. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/3-540-44957-4_9"},{"issue":"POPL","key":"3_CR3","first-page":"1","volume":"2","author":"K Chatterjee","year":"2018","unstructured":"Chatterjee, K., Choudhary, B., Pavlogiannis, A.: Optimal Dyck reachability for data-dependence and alias analysis. PACMPL 2(POPL), 1\u201330 (2018)","journal-title":"PACMPL"},{"key":"3_CR4","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: Proceedings of POPL 1977, pp. 238\u2013252. ACM Press (1977)","DOI":"10.1145\/512950.512973"},{"key":"3_CR5","volume-title":"The Go Programming Language, Professional Computing","author":"AAA Donovan","year":"2015","unstructured":"Donovan, A.A.A., Kernighan, B.W.: The Go Programming Language, Professional Computing. Addison-Wesley, Boston (2015)"},{"key":"3_CR6","unstructured":"Dumortier, V., Janssens, G., Simoens, W., Garc\u00eda de la Banda, M.: Combining a definiteness and a freeness abstraction for CLP languages. In: Workshop on LP Synthesis and Transformation (1993)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Flanagan, C.: Hybrid type checking. In: 33rd ACM Symposium on Principles of Programming Languages (POPL 2006), pp. 245\u2013256, January 2006","DOI":"10.1145\/1111320.1111059"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-030-13838-7_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"I Garcia-Contreras","year":"2019","unstructured":"Garcia-Contreras, I., Morales, J.F., Hermenegildo, M.V.: Multivariant assertion-based guidance in abstract interpretation. In: Mesnard, F., Stuckey, P.J. (eds.) LOPSTR 2018. LNCS, vol. 11408, pp. 184\u2013201. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-13838-7_11"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., Lopez-Garcia, P.: Integrated program debugging, verification, and optimization using abstract interpretation (and The Ciao System Preprocessor). Sci. Comput. Program. 58(1\u20132), 115\u2013140 (2005)","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1345","DOI":"10.1007\/3-540-44957-4_90","volume-title":"Computational Logic \u2014 CL 2000","author":"M Hermenegildo","year":"2000","unstructured":"Hermenegildo, M.: A documentation generator for (C)LP systems. In: Lloyd, J., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1345\u20131361. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/3-540-44957-4_90"},{"key":"3_CR11","unstructured":"Hermenegildo, M.V., Morales, J.: The LPdoc documentation generator. Ref. Manual (v3.0). Technical report, July 2011. \nhttp:\/\/ciao-lang.org"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-60085-2_7","volume-title":"The Logic Programming Paradigm","author":"MV Hermenegildo","year":"1999","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F.: Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm, pp. 161\u2013192. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/978-3-642-60085-2_7"},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"MV Hermenegildo","year":"2000","unstructured":"Hermenegildo, M.V., Puebla, G., Marriott, K., Stuckey, P.: Incremental analysis of constraint logic programs. ACM TOPLAS 22(2), 187\u2013223 (2000)","journal-title":"ACM TOPLAS"},{"issue":"5","key":"3_CR14","first-page":"1","volume":"27","author":"P Hudak","year":"1992","unstructured":"Hudak, P., et al.: Report on the programming language Haskell. Haskell special issue. ACM SIGPLAN Not. 27(5), 1\u2013164 (1992)","journal-title":"ACM SIGPLAN Not."},{"key":"3_CR15","volume-title":"The Rust Programming Language","author":"S Klabnik","year":"2018","unstructured":"Klabnik, S., Nichols, C.: The Rust Programming Language. No Starch Press, San Francisco (2018)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-78769-3_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M M\u00e9ndez-Lojo","year":"2008","unstructured":"M\u00e9ndez-Lojo, M., Navas, J., Hermenegildo, M.V.: A flexible, (C)LP-based approach to the analysis of object-oriented programs. In: King, A. (ed.) LOPSTR 2007. LNCS, vol. 4915, pp. 154\u2013168. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-78769-3_11"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Mora, F., Li, Y., Rubin, J., Chechik, M.: Client-specific equivalence checking. In: 33rd ACM\/IEEE International Conference on Automated Software Engineering, pp. 441\u2013451. ASE (2018)","DOI":"10.1145\/3238147.3238178"},{"key":"3_CR18","unstructured":"Namolaru, M.: Devirtualization in GCC. In: Proceedings of the GCC Developers\u2019 Summit, pp. 125\u2013133 (2006)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11603023_13","volume-title":"Practical Aspects of Declarative Languages","author":"J Navas","year":"2005","unstructured":"Navas, J., Bueno, F., Hermenegildo, M.: Efficient top-down set-sharing analysis using cliques. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol. 3819, pp. 183\u2013198. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11603023_13"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/11823230_8","volume-title":"Static Analysis","author":"G Puebla","year":"2006","unstructured":"Puebla, G., Albert, E., Hermenegildo, M.: Abstract interpretation with specialized definitions. In: Yi, K. (ed.) SAS 2006. LNCS, vol. 4134, pp. 107\u2013126. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11823230_8"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An assertion language for constraint logic programs. In: Deransart, P., Hermenegildo, M.V., Ma\u0142uszynski, J. (eds.) Analysis and Visualization Tools for Constraint Programming. LNCS, vol. 1870, pp. 23\u201361. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/10722311_2"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/10720327_16","volume-title":"Logic-Based Program Synthesis and Transformation","author":"G Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: Combined static and dynamic assertion-based debugging of constraint logic programs. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol. 1817, pp. 273\u2013292. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/10720327_16"},{"key":"3_CR23","unstructured":"Siek, J.G., Taha, W.: Gradual typing for functional languages. In: Scheme and Functional Programming Workshop, pp. 81\u201392 (2006)"},{"issue":"1\u20132","key":"3_CR24","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.: XSB: extending prolog with tabled logic programming. TPLP 12(1\u20132), 157\u2013187 (2012). \nhttps:\/\/doi.org\/10.1017\/S1471068411000500","journal-title":"TPLP"},{"key":"3_CR25","volume-title":"C++ Templates","author":"D Vandevoorde","year":"2002","unstructured":"Vandevoorde, D., Josuttis, N.M.: C++ Templates. Addison-Wesley Longman Publishing Co. Inc., Boston (2002)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45260-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T14:02:58Z","timestamp":1587477778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45260-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030452599","9783030452605"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45260-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"22 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LOPSTR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Logic-Based Program Synthesis and Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lopstr2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.cs.unibo.it\/projects\/lopstr19\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}