{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:01:19Z","timestamp":1725476479270},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665403"},{"type":"electronic","value":"9783540481645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_13","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T23:27:08Z","timestamp":1167348428000},"page":"207-223","source":"Crossref","is-referenced-by-count":0,"title":["A Simple and General Method for Integrating Abstract Interpretation in SICStus"],"prefix":"10.1007","author":[{"given":"Dante","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Civran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilberto","family":"Fil\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Pulvirenti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Ait-Kaci, H.: Warren\u2019s Abstract Machine. The MIT Press, Cambridge (1991), Prepared with LATEX","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"13_CR2","unstructured":"Baldan, D.: An Abstract Interpretation Framework for WAM Level Properties. PhD hesis, Department of Pure and Applied Mathematics, University of Padova, Italy (1999)"},{"key":"13_CR3","unstructured":"Bigot, P.A., Gudeman, D., Debray, S.K.: Output value placement in moded Logic programs. In: van Hentenryck, P. (ed.) Logic Programming \u2013 Proceedings of the Eleventh International Conference on Logic Programming, pp. 175\u2013189. The MIT Press, Cambridge (1994) Massachusetts Institute of Technology"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Fourth ACM symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Fourth ACM symposium on Principles of Programming Languages, Los Angeles, california, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"13_CR5","unstructured":"Grassi, A.: L\u2019individuazione dei Termini Ricorsivamente Dereferenziati nei Programmi Prolog. PhD thesis, Universit\u00e0 degli Studi di Padova (March 1998)"},{"issue":"1","key":"13_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/174625.174627","volume":"16","author":"B. Charlier Le","year":"1994","unstructured":"Le Charlier, B., Van Hentenryck, P.: Experimental evaluation of a generic abtract interpretation algorithm for PROLOG. ACM Transactions on Programming Languages and Systems\u00a016(1), 35\u2013101 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"13_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(96)00050-7","volume":"28","author":"T. Lindgren","year":"1996","unstructured":"Lindgren, T.: Polyvariant detection of uninitialized arguments of prolog predicates. Journal of Logic Programming\u00a028(3), 217\u2013229 (1996)","journal-title":"Journal of Logic Programming"},{"key":"13_CR8","volume-title":"Foundation of Logic Programming","author":"J.W. Lloyd","year":"1988","unstructured":"Lloyd, J.W.: Foundation of Logic Programming, 2nd edn. Springer, Heidelberg (1988)","edition":"2"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56694-5","volume-title":"Live data structures in logic programs: Derivation by means of bstract interpretation.","author":"A. Mulkers","year":"1993","unstructured":"Mulkers, A.: Live Data Structures in Logic Programs. LNCS, vol.\u00a0675. Springer, Heidelberg (1993)"},{"key":"13_CR10","unstructured":"Somogyi, Z., Henderson, F., Conway, T., Jeffery, D.: The Mercury Language Reference Manual (1997)"},{"key":"13_CR11","first-page":"48","volume-title":"Proceedings of the 6th International Conference on Logic Programming (ICLP 1989)","author":"A. Taylor","year":"1989","unstructured":"Taylor, A.: Removal of dereferencing and trailing in prolog compilation. In: Levi, G., Martelli, M. (eds.) Proceedings of the 6th International Conference on Logic Programming (ICLP 1989), Lisbon, Portugal, pp. 48\u201362. MIT Press, Cambridge (1989)"},{"key":"13_CR12","unstructured":"Taylor, A.: High Performance Prolog Implementation. PhD thesis, Basser Department of Computer Science, University of Sydney (June 1991)"},{"key":"13_CR13","unstructured":"Van Roy, P.L.: Can Logic Programming Execute as Fast as Imperative Programing. PhD thesis, Computer Science Division, University of California Berkeley (December 1990)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T15:09:01Z","timestamp":1587308941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/10704567_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}