{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:52Z","timestamp":1725663772606},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:56:40Z","timestamp":1330250200000},"page":"167-181","source":"Crossref","is-referenced-by-count":6,"title":["Detecting determinate computations by bottom-up abstract interpretation"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Giacobazzi","sequence":"first","affiliation":[]},{"given":"Laura","family":"Ricci","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"10_CR1","unstructured":"R. Barbuti, R. Giacobazzi, and G. Levi. A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs. Technical Report TR 12\/91, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1991. To appear in ACM Transactions on Programming Languages and Systems."},{"key":"10_CR2","unstructured":"C. Berge. Graphs and Hypergraphs. North-Holland, 1973."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. Fourth ACM Symp. Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/65979.65984","volume":"11\u20133","author":"S. Debray","year":"1989","unstructured":"S. Debray and D.S. Warren. Functional Computations in Logic Programs. ACM Transactions on Programming Languages and Systems, 11\u20133:451\u2013481, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR5","first-page":"111","volume-title":"Lecture Notes in Computer Science","author":"B. Demoen","year":"1987","unstructured":"B. Demoen, P. VanRoy, and Y.D. Willems. Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection and Determinism. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, editors, Proc. TAPSOFT 1987, volume 250 of Lecture Notes in Computer Science, pages 111\u2013125. Springer-Verlag, Berlin, 1987."},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"P. Deransart and J. Maluszynski. Relating Logic Programs and Attribute Grammars. Journal of Logic Programming, 2:119\u2013156, 1985.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"10_CR7","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Computer Science, 69(3):289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"key":"10_CR8","first-page":"291","volume-title":"Proc. Seventh Int'l Conf. on Logic Programming","author":"R. Giacobazzi","year":"1990","unstructured":"R. Giacobazzi and L. Ricci. Pipeline Optimizations in AND-Parallelism by Abstract Interpretation. In D. H. D. Warren and P. Szeredi, editors, Proc. Seventh Int'l Conf. on Logic Programming, pages 291\u2013305. The MIT Press, Cambridge, Mass., 1990."},{"key":"10_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987. Second edition.","edition":"Second edition"},{"key":"10_CR10","first-page":"963","volume-title":"Proc. North American Conf. on Logic Programming'89","author":"M. J. Maher","year":"1989","unstructured":"M.J. Maher and R. Ramakrishnan. D\u00e9j\u00e0 Vu in Fixpoints of Logic Programs. In E. Lusk and R. Overbeck, editors, Proc. North American Conf. on Logic Programming'89, pages 963\u2013980. The MIT Press, Cambridge, Mass., 1989."},{"key":"10_CR11","unstructured":"A.O. Mendelzon. Functional Dependencies in Logic Programs. In Proc. of the Eleventh International Conference on Very Large Data Bases, pages 324\u2013330, 1985."},{"key":"10_CR12","unstructured":"L. Ricci. Compilation of Logic Programs for Massively Parallel Systems. PhD thesis, Universit\u00e1 di Pisa, Feb. 1990. T.D. 3-90."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0304-3975(84)90119-1","volume":"34","author":"T. Sato","year":"1984","unstructured":"T. Sato and H. Tamaki. Enumeration of Success Patterns in Logic Programs. Theoretical Computer Science, 34:227\u2013240, 1984.","journal-title":"Theoretical Computer Science"},{"key":"10_CR14","unstructured":"J. Zobel and P. Dart. On Logic Programs, Functional Dependencies, and Types. Technical report, University of Melbourne, 1990."}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:29:17Z","timestamp":1619573357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}