{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:20Z","timestamp":1725663020289},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16492-8_95","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:49:04Z","timestamp":1330195744000},"page":"463-474","source":"Crossref","is-referenced-by-count":35,"title":["Abstract interpretation of Prolog programs"],"prefix":"10.1007","author":[{"given":"C. S.","family":"Mellish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R., \"Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints\", Principles of Programming Languages, 1977.","DOI":"10.1145\/512950.512973"},{"key":"35_CR2","unstructured":"Debray, S. K., \"Automatic Mode Inference for Prolog programs\", Technical Report #85\/019, State University of New York at Stony Brook, 1985."},{"key":"35_CR3","unstructured":"Jones, N. D., \"Concerning the Abstract Interpretation of Prolog\", draft paper, DIKU, Copenhagen, 1985."},{"key":"35_CR4","volume-title":"Data Flow Analysis of Applicative Programs using Minimal Function Graphs","author":"N. D. Jones","year":"1986","unstructured":"Jones, N. D. and Mycroft, A., \"Data Flow Analysis of Applicative Programs using Minimal Function Graphs\", Principles of Programming Languages, Florida, USA, 1986."},{"key":"35_CR5","unstructured":"Mellish, C. S., \"The Automatic Generation of Mode Declarations for Prolog Programs\", Paper presented at the Workshop on Logic Programming for Intelligent Systems, Los Angeles, 1981 (also DAI Research Paper 163, Dept of Artificial Intelligence, University of Edinburgh)."},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Mellish, C. S., \"Some Global Optimisations for a Prolog Compiler\", Journal of Logic Programming, Vol 2, No 1, 1985.","DOI":"10.1016\/0743-1066(85)90004-4"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Mycroft, A., \"The Theory and Practice of Transforming Call-by-need into Call-by-value\", in Springer Lecture Notes in Computer Science, No 83, Springer Verlag, 1980.","DOI":"10.1007\/3-540-09981-6_19"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Plaisted, D., \"The Occur-Check problem in Prolog\", Procs of the International Symposium on Logic Programming, Atlantic City, USA, 1984.","DOI":"10.1007\/BF03037324"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Sickel, S., \"A Search Technique for Clause Interconnectivity Graphs\" IEEE Trans. on Computers, C-25(8), 1976.","DOI":"10.1109\/TC.1976.1674701"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Sintzoff, M., \"Calculating Properties of Programs by Valuations on Specific Models\", in Sigplan Notices Vol 7, No 1, 1972.","DOI":"10.1145\/942578.807086"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Sondergaard, H., \"An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction\", DIKU, Copenhagen, 1985.","DOI":"10.1007\/3-540-16442-1_25"}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_95.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:44Z","timestamp":1605643844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}