{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:26Z","timestamp":1725663026381},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_97","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:48:39Z","timestamp":1330195719000},"page":"490-504","source":"Crossref","is-referenced-by-count":21,"title":["Detection and optimization of functional computations in Prolog"],"prefix":"10.1007","author":[{"given":"Saumya K.","family":"Debray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David S.","family":"Warren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"37_CR1","unstructured":"M. Bruynooghe, \u201cAdding Redundancy to Obtain More Reliable and More Readable Prolog Programs\u201d, in Proc. 1st. Int. Logic Programming Conference, Marseille, France, 1982."},{"key":"37_CR2","volume-title":"Implementations of Prolog","author":"M. Bruynooghe","year":"1984","unstructured":"M. Bruynooghe and L. M. Pereira, \u201cDeduction revision by intelligent backtracking\u201d, in Implementations of Prolog, J. A. Campbell, (ed.), Ellis Horwood Ltd., Chichester, 1984."},{"key":"37_CR3","unstructured":"J. Chang and A. M. Despain, \u201cSemi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis\u201d, in Proc. 1985 Symposium on Logic Programming, Boston, July 1985, 10\u201321."},{"key":"37_CR4","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark, \u201cNegation as Failure\u201d, in Logic and Data Bases, H. Gallaire and J. Minker, (eds.), Plenum Press, New York, 1978."},{"key":"37_CR5","volume-title":"Detection and Optimization of Functional Computations in Prolog","author":"S. K. Debray","year":"1985","unstructured":"S. K. Debray, \u201cDetection and Optimization of Functional Computations in Prolog\u201d, Technical Report #85\/020, Dept. of Computer Science, SUNY at Stony Brook, Stony Brook, NY, Aug. 1985."},{"key":"37_CR6","series-title":"Technical Report","volume-title":"Automatic Mode Inference for Prolog Programs","author":"S. K. Debray","year":"1985","unstructured":"S. K. Debray, \u201cAutomatic Mode Inference for Prolog Programs\u201d, Technical Report #85\/019, Department of Computer Science, SUNY at Stony Brook, Stony Brook, NY, June 1985."},{"key":"37_CR7","volume-title":"\u201cAn Or-Parallel Token Machine\u201d, TRITA-CS-8303","author":"S. Haridi","year":"1983","unstructured":"S. Haridi and A. Ciepielewski, \u201cAn Or-Parallel Token Machine\u201d, TRITA-CS-8303, Dept. of Telecommunication Systems \u2014 Computer Systems, Royal Institute of Technology, Stockholm, May 1983."},{"key":"37_CR8","unstructured":"C. S. Mellish, \u201cThe Automatic Generation of Mode Declarations for Prolog Programs\u201d, DAI Research Paper 163, Dept. of Artificial Intelligence, University of Edinburgh, Aug. 1981."},{"issue":"1","key":"37_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"2","author":"C. S. Mellish","year":"1985","unstructured":"C. S. Mellish, \u201cSome Global Optimizations for a Prolog Compiler\u201d, J. Logic Programming, 2, 1 (Apr. 1985), 43\u201366.","journal-title":"J. Logic Programming"},{"key":"37_CR10","unstructured":"A. O. Mendelzon, \u201cFunctional Dependencies in Logic Programs\u201d, in Proc. 11th. ACM Int. Conf. on Very Large Data Bases, Stockholm, Sweden, Aug. 1985."},{"key":"37_CR11","unstructured":"R. A. O'Keefe, \u201cOn the Treatment of Cuts in Prolog Source-Level Tools\u201d, in Proc. 1985 Symposium on Logic Programming, Boston, July 1985, 73\u201377."},{"key":"37_CR12","unstructured":"H. Sawamura and T. Takeshima, \u201cRecursive Unsolvability of Determinacy, Solvable Cases of Determinacy and Their Applications to Prolog Optimization\u201d, in Proc. 1985 Symposium on Logic Programming, Boston, July 1985, 200\u2013207."},{"key":"37_CR13","unstructured":"R. Venken, \u201cA Prolog Meta-Interpreter for Partial Evaluation and its Application to Source-to-Source Transformation and Query Optimization\u201d, in Proc. ECAI 84,."},{"key":"37_CR14","unstructured":"D. H. D. Warren, \u201cImplementing Prolog \u2014 Compiling Predicate Logic Programs\u201d, Research Reports 39 and 40, Dept. of Artificial Intelligence, University of Edinburgh, 1977."},{"key":"37_CR15","unstructured":"D. H. D. Warren, \u201cAn Abstract Prolog Instruction Set\u201d, Technical Note 309, SRI International, Menlo Park, CA, Oct. 1983."},{"key":"37_CR16","unstructured":"D. S. Warren, M. Ahamad, S. K. Debray and L. V. Kale, \u201cExecuting Distributed Prolog Programs on a Broadcast Network\u201d, Proc. 1984 Int. Symp. on Logic Programming, Atlantic City, New Jersey, Feb. 1984."}],"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_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:04:59Z","timestamp":1619557499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}