{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:30Z","timestamp":1725890910208},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650744"},{"type":"electronic","value":"9783540496748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49674-2_8","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T05:41:54Z","timestamp":1187070114000},"page":"148-167","source":"Crossref","is-referenced-by-count":2,"title":["Analysis of Logic Programs with Delay"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Heaton","sequence":"first","affiliation":[]},{"given":"Pat","family":"Hill","sequence":"additional","affiliation":[]},{"given":"Andy","family":"King","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,18]]},"reference":[{"key":"8_CR1","unstructured":"F. Benoy, M. Codish, A. Heaton, and A. King. Widening Pos for Efficient and Scalable Groundness Analysis of Logic Programs. Submitted for Publication."},{"key":"8_CR2","unstructured":"M. Carlsson. Personal communication on the freeze\/2 and block declaration awakening order in SICStus Prolog 3. April 1996."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"M. Codish and B. Demoen. Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop. In SAS\u201994, pages 281\u2013297. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58485-4_47"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0743-1066(95)00064-X","volume":"25","author":"M. Codish","year":"1995","unstructured":"M. Codish and B. Demoen. Analysing Logic Programs using \u201cprop\u201d-ositional Logic Programs and a Magic Wand. Journal of Logic Programming, 25(3):249\u2013274, 1995.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"8_CR5","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1145\/177492.177656","volume":"16","author":"M. Codish","year":"1994","unstructured":"M. Codish, M. Falaschi, and K. Marriott. Suspension analyses for concurrent logic programs. ACM Transactions on Programming Languages and Systems, 16(3):649\u2013686, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR6","unstructured":"P. Codognet and G. Fil\u00e9. Computations, Abstractions and Constraints. Technical report, Dipartimento di Matematica Pura e Applicata, Universit\u00e0 di Padova, 1991."},{"issue":"1 2 and 3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0743-1066(95)00123-9","volume":"27","author":"A. Cortesi","year":"1996","unstructured":"A. Cortesi, G. Fil\u00e9, and W. Winsborough. Optimal Groundness Analysis using Propositional Logic. Journal of Logic Programming, 27(1, 2 and 3):137\u2013169, 1996.","journal-title":"Journal of Logic Programming"},{"key":"8_CR8","unstructured":"S. Debray, D. Gudeman, and P. Bigot. Detection and Optimization of Suspension-free Logic Programs. In ILPS\u201994, pages 487\u2013504. MIT Press, 1994."},{"issue":"12","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1337","DOI":"10.1002\/spe.4380231204","volume":"23","author":"S.K. Debray","year":"1993","unstructured":"S.K. Debray. QD-Janus: A Sequential Implementation of Janus in Prolog. Software-Practice and Experience, 23(12):1337\u20131360, 1993.","journal-title":"Software-Practice and Experience"},{"key":"8_CR10","unstructured":"J. Gallagher, D. Boulanger, and H. Saglam. Practical Model-Based Static Analysis for Definite Logic Programs. Technical Report CSTR-95-011, University of Bristol, 1995."},{"key":"8_CR11","unstructured":"J. Gallagher and A. de Waal. Fast and precise regular approximations of logic programs. In ICLP\u201994, pages 599\u2013613. MIT Press, 1994."},{"key":"8_CR12","unstructured":"M. Garc\u00eda de la Banda, K. Marriott, H. S\u00f8ndergaard, and P. Stuckey. Improved Analysis of Logic Programs using a Differential Approach. Technical Report 95\/20, Computer Science Department, Melbourne University, May 1995."},{"key":"8_CR13","unstructured":"M. Garc\u00eda de la Banda, K. Marriott, and P. Stuckey. Effcient Analysis of Logic Programs with Dynamic Scheduling. In ILPS\u201995, pages 4170\u2013431. MIT Press, 1995."},{"key":"8_CR14","unstructured":"R. Giacobazzi, S. K. Debray, and G. Levi. A generalised semantics for constraint logic programs. In FGCS\u201992, pages 581\u2013591. ACM Press, 1992."},{"issue":"1 2 3 and 4","key":"8_CR15","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/0743-1066(92)90053-6","volume":"13","author":"M. Hermenegildo","year":"1992","unstructured":"M. Hermenegildo, R. Warren, and S. K. Debray. Global flow analysis as a practical compilation tool. J. Logic Programming, 13(1, 2, 3 and 4):349\u2013366, 1992.","journal-title":"J. Logic Programming"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"K. Marriott, M. Garc\u00eda de la Banda, and M. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling. In POPL\u201994, pages 240\u2013253. ACM Press, 1994.","DOI":"10.1145\/174675.177883"},{"issue":"2\u20133","key":"8_CR17","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/176454.176519","volume":"13","author":"K. Marriott","year":"1993","unstructured":"K. Marriott and H. S\u00f8ndergaard. Precise and efficient groundness analysis. ACM Lett. Program. Lang. Syst., 13(2\u20133):181\u2013196, 1993.","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"G. Puebla, M. Garc\u00eda de la Banda, K. Marriott, and P. Stuckey. Optimization of Logic Programs with Dynamic Scheduling. In ICLP\u201997. MIT Press, 1997.","DOI":"10.7551\/mitpress\/4299.003.0013"},{"key":"8_CR19","unstructured":"A. Verden. Personal communication on freeze\/2 and the const_delay module of IF\/Prolog V5.0. April 1996."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"E. Zaffanella, R. Giacobazzi, and G. Levi. Abstracting Synchronisation in Concurrent Constraint Programming. In PLILP\u201994, pages 57\u201372. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58402-1_6"}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49674-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T11:01:48Z","timestamp":1708167708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49674-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650744","9783540496748"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-49674-2_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}