{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:54Z","timestamp":1725664554884},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:33:18Z","timestamp":1330295598000},"page":"362-373","source":"Crossref","is-referenced-by-count":0,"title":["A mode analysis of logic programs by abstract interpretation"],"prefix":"10.1007","author":[{"given":"Lunjin","family":"Lu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"30_CR1","unstructured":"M. Bruynooghe, G. Janssens, A. Callebaut, and B. Demoen. Abstract interpretation: towards the global optimisation of Prolog programs. In Proceedings of the 1987 Symposium on Logic Programming, pages 192\u2013204. The IEEE Society Press, 1987."},{"key":"30_CR2","first-page":"79","volume-title":"Proceedings of the Eighth International Conference on Logic Programming","author":"M. Codish","year":"1991","unstructured":"M. Codish, D. Dams, and Yardeni E. Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis. In Furukawa [9], pages 79\u201393."},{"key":"30_CR3","unstructured":"M. Codish, D. Dams, G. Fil\u00e9, and M. Bruynooghe. Freeness analysis for logic programs \u2014 and correctness. In D.S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming, pages 117\u2013131. The MIT Press, 1993."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"M. Codish, A. Mulkers, M. Bruynooghe, G. de la Banda, M. and M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 194\u2013205. ACM Press, 1993.","DOI":"10.1145\/154630.154650"},{"issue":"1","key":"30_CR5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. The Journal of Logic Programming, 13(1, 2, 3 and 4):103\u2013179, 1992.","journal-title":"The Journal of Logic Programming"},{"issue":"3","key":"30_CR6","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/65979.65984","volume":"11","author":"S. K. Debray","year":"1989","unstructured":"S. K. Debray. Functional computations in logic programs. ACM Transactions on Programming Languages and Systems, 11(3):451\u2013481, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"30_CR7","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S. K. Debray","year":"1989","unstructured":"S. K. Debray. Static inference of modes and data dependencies in logic programs. ACM Transactions on Programming Languages and Systems, 11(3):418\u2013450, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"30_CR8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"S. K. Debray","year":"1988","unstructured":"S. K. Debray and D. S. Warren. Automatic mode inference for logic programs. The Journal of Logic Programming, 5(3):207\u2013230, September 1988.","journal-title":"The Journal of Logic Programming"},{"volume-title":"Proceedings of the Eighth International Conference on Logic Programming","year":"1991","key":"30_CR9","unstructured":"K. Furukawa, editor. Proceedings of the Eighth International Conference on Logic Programming, Paris, France, 1991. The MIT Press."},{"key":"30_CR10","unstructured":"N.D. Jones and H. S\u00f8ndergaard. A semantics-based framework for abstract interpretation of Prolog. In S. Abramsky and C. Hankin, editors, Abstract interpretation of declarative languages, pages 123\u2013142. Ellis Horwood Limited, 1987."},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"A. King. A synergistic analysis for sharing and groundness which traces linearity. Draft, 1994.","DOI":"10.1007\/3-540-57880-3_24"},{"volume-title":"Proceedings of the Sixth International Conference on Logic Programming","year":"1989","key":"30_CR12","unstructured":"G. Levi and M. Martelli, editors. Proceedings of the Sixth International Conference on Logic Programming, Lisbon, 1989. The MIT Press."},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"30_CR14","unstructured":"L. Lu. Abstract interpretation, bug detection and bug diagnosis in normal logic programs. PhD thesis, University of Birmingham, 1994."},{"key":"30_CR15","first-page":"33","volume-title":"Proceedings of the Sixth International Conference on Logic Programming","author":"A. Mari\u00ebn","year":"1989","unstructured":"A. Mari\u00ebn, G. Janssens, A. Mulkers, and M. Bruynooghe. The impact of abstract interpretation: An experiment in code generation. In Levi and Martelli [12], pages 33\u201347."},{"key":"30_CR16","first-page":"49","volume-title":"Proceedings of the Eighth International Conference on Logic Programming","author":"K. Muthukumar","year":"1991","unstructured":"K. Muthukumar and M. Hermenegildo. Combined determination of sharing and freeness of program variables through abstract interpretation. In Furukawa [9], pages 49\u201363."},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"R. Sundararajan and J.S. Conery. An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs. In R. Shyamasundar, editor, Proceedings of 12th Conference on Foundations of Software Technology and Theoretical Computer Science, pages 203\u2013216. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56287-7_106"},{"key":"30_CR18","first-page":"48","volume-title":"Proceedings of the Sixth International Conference on Logic Programming","author":"A. Taylor","year":"1989","unstructured":"A. Taylor. Removal of dereferencing and trailing in Prolog compilation. In Levi and Martelli [12], pages 48\u201360."},{"key":"30_CR19","unstructured":"D. H. D. Warren. Implementing Prolog \u2014 compiling predicate logic programs. Research Report 39 and 40, Department of artificial intelligence, The University of Edinburgh, 1977."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:50Z","timestamp":1605647510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}