{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:48Z","timestamp":1725664968020},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61739-6_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:19:12Z","timestamp":1330294752000},"page":"385-386","source":"Crossref","is-referenced-by-count":0,"title":["Two applications of an incremental analysis engine for (constraint) logic programs"],"prefix":"10.1007","author":[{"given":"Andrew D.","family":"Kelly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"S\u00d8ndergaard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"27_CR1","unstructured":"L. Crnogorac, A. Kelly, and H. S\u00d8ndergaard. A comparison of three occur-check analysers. In this volume."},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, K. Marriott, G. Puebla and P. Stuckey. Incremental analysis of logic programs. In L. Sterling, editor, Proc. Twelfth Int. Conf. Logic Programming, pages 797\u2013811. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0075"},{"key":"27_CR3","unstructured":"A. Kelly, A. Macdonald, K. Marriott, P. Stuckey, and R. Yap. Effectiveness of optimizing compilation for CLP({ie386-01}). To appear in M. Maher, editor, Proc. Thirteenth Joint Int. Conf. Symp. Logic Programming. MIT Press, 1996."},{"issue":"1","key":"27_CR4","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 16 (1): 35\u2013101, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"27_CR5","doi-asserted-by":"publisher","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&3): 315\u2013347, 1992.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:43:56Z","timestamp":1713635036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}