{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:13Z","timestamp":1725663373403},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540189916"},{"type":"electronic","value":"9783540388883"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-18991-2_63","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:54:09Z","timestamp":1330199649000},"page":"1074-1093","source":"Crossref","is-referenced-by-count":6,"title":["A technique for compiling execution graph expressions for restricted and-parallelism in logic programs"],"prefix":"10.1007","author":[{"given":"Doug","family":"DeGroot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"63_CR1","unstructured":"Utpal Banerjee, Data Dependence in Ordinary Programs, M S Thesis, University of Illinois at Urbana-Champaign, DCS Report No, UIUCDCS-R-76-837, November, 1976."},{"key":"63_CR2","doi-asserted-by":"crossref","unstructured":"Mike Carlton and Peter Van Roy, \"A Distributed Prolog System with And-Parallelism,\" Dept. of EECS, Univ. of California at Berkeley, submitted to the 1988 Hawaii International Conference on System Sciences, 1988.","DOI":"10.1109\/HICSS.1988.11800"},{"key":"63_CR3","unstructured":"Jung-Herng Chang, Alvin Despain, and Doug DeGroot, \"AND-Parallelism of Logic Programs Bases on a Static Data-Dependency Analysis,\" Procs of the Spring Compcon 85. IEEE Computer Society Press, 1985, pp. 281\u2013225."},{"key":"63_CR4","doi-asserted-by":"crossref","unstructured":"Keith Clark and Steve Gregory, \"PARLOG: Parallel programming in logic,\" ACM Transactions on Programming Languages and Systems, January, 1986, pp. 1\u201349.","DOI":"10.1145\/5001.5390"},{"key":"63_CR5","doi-asserted-by":"crossref","unstructured":"John Conery and Dennis Kibler, \"Parallel Interpretation of Logic Programs,\" Procs. of the Conf. on Functional Programming Languages and Computer Architecture, ACM, 1981, pp. 163\u2013170.","DOI":"10.1145\/800223.806775"},{"key":"63_CR6","doi-asserted-by":"crossref","unstructured":"John Conery, Parallel Execution of Logic Programs, Kluwer Academic Publishers, 1987.","DOI":"10.1007\/978-1-4613-1987-0"},{"key":"63_CR7","unstructured":"Doug DeGroot, \"Restricted And-Parallelism,\" Proceedings of the International Conference on Fifth Generation Computer Systems 1984, North Holland, 1984, pp. 471\u2013478."},{"key":"63_CR8","unstructured":"Doug DeGroot and Jung-Herng Chang, \"A Comparison of Two And-Parallel Execution Models,\" Hardware and Software Components and Architectures for the 5th Generation, AFCET Informatique, March 1985, Paris, pp. 271\u2013280."},{"key":"63_CR9","series-title":"Procs. of the Symposium on Logic Programming","volume-title":"Restricted And-Parallelism and Side-Effects","author":"D. DeGroot","year":"1987","unstructured":"Doug DeGroot, \"Restricted And-Parallelism and Side-Effects,\" Procs. of the Symposium on Logic Programming, IEEE Computer Society, San Francisco, 1987."},{"key":"63_CR10","unstructured":"Doug DeGroot, \"Restricted And-Parallelism and Side-Effects in Logic Programming,\" in Supercomputers and AI Machines, Kai Hwwang and Doug DeGroot, Editors, McGraw-Hill, to be published, 1988."},{"key":"63_CR11","volume-title":"Advanced Semiconductor Technology and Computer Systems","author":"D. DeGroot","year":"1988","unstructured":"Doug DeGroot, \"And-Parallelism in Logic Programs,\" in Advanced Semiconductor Technology and Computer Systems, Guy Rabbat, Ed., Van Nostrand Reinhold, New York, 1988."},{"key":"63_CR12","unstructured":"Manuel Hermenegildo, A Restricted And-Parallel Execution Model and Abstract Machine for Prolog Programs, Kluwer Academic Press, 1987."},{"key":"63_CR13","series-title":"Technical Report","volume-title":"Constraint Logic Programming","author":"J. Jaffar","year":"1986","unstructured":"Joxan Jaffar and Jean-Louis Lassez, \"Constraint Logic Programming,\" Technical Report, Dept. of Computer Science, Monash University, Australia, June, 1986."},{"key":"63_CR14","unstructured":"Bob Kowalski, \"Predicate Logic as a Programming Language,\" Procs. of the IFIP Congress, North-Holland, 1974, pp. 569\u2013574."},{"key":"63_CR15","volume-title":"The Structure of Computers and Computations, Vol. 1","author":"D. Kuck","year":"1978","unstructured":"Dave Kuck, The Structure of Computers and Computations, Vol. 1, John Wiley and Sons, New York, 1978."},{"key":"63_CR16","doi-asserted-by":"crossref","unstructured":"John Lloyd, Foundations of Logic Programming, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"63_CR17","unstructured":"Chris Mellish, \"The Automatic Generation of Mode Declarations for Prolog Programs,\" DAI Research Paper 163, Dept. of Artificial Intelligence, Univ. of Edinburgh, August 1981."},{"key":"63_CR18","volume-title":"Parallel Execution of Horn Clause Programs","author":"G. H. Pollard","year":"1981","unstructured":"G. H. Pollard, Parallel Execution of Horn Clause Programs, Ph.D. dissertation, University of London, Imperial College of Science & Technology, United Kingdom, 1981."},{"key":"63_CR19","unstructured":"Uday S. Reddy, \"On the relationship between logic and functional languages,\" in Logic Programming: Functions, Relations, and Equations, Doug DeGroot and Gary Lindstrom, Editors, Prentice-Hall, 1986, pp. 3\u201336."},{"key":"63_CR20","series-title":"ICOT Tech. Report","volume-title":"A Subset of Concurrent Prolog and Its Interpreter","author":"E. Shapiro","year":"1983","unstructured":"Ehud Shapiro, \"A Subset of Concurrent Prolog and Its Interpreter,\" ICOT Tech. Report TR-003, ICOT, Tokyo, February, 1983."},{"key":"63_CR21","unstructured":"Ehud Shapiro, The Art of Prolog, MIT Press, 1986."},{"key":"63_CR22","unstructured":"Yu-Wen Tung and Dan I. Moldovan, \"Detection of And-Parallelism in Logic Programming,\" Procs. of the 1986 Int'l Conf. on Parallel Processing, IEEE, 1986, pp. 984\u2013991."},{"key":"63_CR23","unstructured":"Yu-Wen Tung, Parallel Processing Model for Logic Programming, Ph.D. Dissertation, Dept. of EE, Univ. of Southern California, 1986."},{"key":"63_CR24","unstructured":"David H.D. Warren, \"An Abstract Prolog Instruction Set,\" Tech. Note 309, SRI International, Oct. 1983."},{"key":"63_CR25","unstructured":"Michael Wise, Prolog Multiprocessors, Prentice\/Hall International editions, 1986."}],"container-title":["Lecture Notes in Computer Science","Supercomputing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18991-2_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:59Z","timestamp":1605644159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18991-2_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540189916","9783540388883"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-18991-2_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}