{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:01Z","timestamp":1725663061096},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540184201"},{"type":"electronic","value":"9783540479635"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18420-1_66","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:34:55Z","timestamp":1330180495000},"page":"370-381","source":"Crossref","is-referenced-by-count":0,"title":["Parallel execution of an equational language"],"prefix":"10.1007","author":[{"given":"Bharat","family":"Jayaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"J. S. Conery and D. F. Kibler, \u201cParallel Interpretation of Logic Programs,\u201d In Conf. Functional Prog. Lang. and Comp. Arch., ACM, 1981, pp. 163\u2013170.","DOI":"10.1145\/800223.806775"},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","volume":"3","author":"J. S. Conery","year":"1985","unstructured":"J. S. Conery and D. F. Kibler, \u201cAND Parallelism and Nondeterminism in Logic Programs,\u201d New Generation Computing, vol. 3, 1985, pp. 43\u201370.","journal-title":"New Generation Computing"},{"key":"20_CR3","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"W. F. Clocksin and C. S. Mellish, Programming in Prolog, Springer-Verlag, New York, 1981."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"K. Clark and S. Gregory, \u201cPARLOG: Parallel Programming in Logic,\u201d TOPLAS, vol. 8, no. 1, pp. 1\u201349.","DOI":"10.1145\/5001.5390"},{"key":"20_CR5","series-title":"Internal Report","volume-title":"Unifying Functional and Logic Languages","author":"J. Darlington","year":"1983","unstructured":"J. Darlington, \u201cUnifying Functional and Logic Languages,\u201d Internal Report, Imperial College, London, 1983."},{"key":"20_CR6","unstructured":"N. Dershowitz and D. A. Plaisted, \u201cApplicative Programming cum Logic Programming,\u201d In 1985 Symp. on Logic Programming, Boston, pp. 54\u201366."},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0743-1066(84)90003-7","volume":"2","author":"L. Fribourg","year":"1984","unstructured":"L. Fribourg, \u201cOriented Equational Clauses as a Programming Language,\u201d J. Logic Prog. 2 (1984) pp. 165\u2013177.","journal-title":"J. Logic Prog."},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"2","author":"J. A. Goguen","year":"1984","unstructured":"J. A. Goguen and J. Meseguer, \u201cEquality, Types, Modules, and (Why Not?) Generics for Logic Programming,\u201d J. Logic Prog. 2 (1984) pp. 179\u2013210.","journal-title":"J. Logic Prog."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"J-M. Hullot, \u201cCanonical Forms and Unification,\u201d In Proc. 5th Workshop on Automated Deduction, Springer Lecture Notes, 1980, pp. 318\u2013334.","DOI":"10.21236\/ADA087640"},{"key":"20_CR10","unstructured":"S. Haridi and A. Ciepielewski, \u201cAn OR-Parallel Token Machine,\u201d Tech. Report No. TRITA-CS-8303, Royal Inst. of Tech., May 1983."},{"key":"20_CR11","unstructured":"B. Jayaraman, \u201cAn Equational Language and its Evaluator,\u201d TR-CS-84-11, Department of Computer Science, Univ. of N. Carolina, December 1984."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"B. Jayaraman and F.S.K. Silbermann, \u201cEquations, Sets, and Reduction Semantics for Functional and Logic Programming,\u201d In 1986 ACM Conf. on LISP and Functional Programming, pp. 320\u2013331, Boston, August 1986.","DOI":"10.1145\/319838.319873"},{"key":"20_CR13","unstructured":"B. Jayaraman, F.S.K. Silbermann, G. Gupta, \u201cEquational Programming: A Unifying Approach to Functional and Logic Programming,\u201d In Int'l Conf. on Computer Languages, pp. 47\u201357, Miami Beach, October 1986."},{"key":"20_CR14","unstructured":"G. Lindstrom, \u201cOR-Parallelism on Applicative Architectures,\u201d In Second Intl. Conf. on Logic Programming, Uppsala, July 1984."},{"key":"20_CR15","unstructured":"C. S. Mellish, \u201cAn Alternative to Structure Sharing in the Implementation of a PROLOG Interpreter,\u201d In Logic Programming, Ed. K. L. Clark and S.-A. T\u00e4rnlund, Academic Press, 1982, pp. 99\u2013106."},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"M. J. O'Donnell, \u201cEquational Logic as a Programming Language,\u201d M.I.T. Press, 1985.","DOI":"10.1007\/3-540-15648-8_20"},{"key":"20_CR17","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF03037069","volume":"3","author":"R. Onai","year":"1985","unstructured":"R. Onai, et al, \u201cArchitecture of a Reduction-based Parallel Inference Engine: PIMR,\u201d In New Generation Computing, vol. 3, 1985, pp. 197\u2013228.","journal-title":"New Generation Computing"},{"key":"20_CR18","unstructured":"U. S. Reddy, \u201cNarrowing as the Operational Semantics of Functional Languages,\u201d In 1985 Symp. on Logic Programming, Boston, 1985, pp. 138\u2013151."},{"key":"20_CR19","unstructured":"J. A. Robinson and E. E. Sibert, \u201cLOGLISP: Motivation, Design, and Implementation,\u201d In Logic Programming, Ed. K. L. Clark and S.-A. T\u00e4rnlund, Academic Press, 1982, pp. 299\u2013313."},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"P. A. Subrahmanyam and J-H. You, \u201cPattern-driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logical Programs,\u201d In 11th ACM POPL, Salt Lake City, 1984, pp. 228\u2013234.","DOI":"10.1145\/800017.800534"},{"issue":"8","key":"20_CR21","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/872734.806939","volume":"12","author":"D. H. D. Warren","year":"1977","unstructured":"D. H. D. Warren, F. Pereira, and L. M. Pereira, \u201cProlog: the Language and its Implementation Compared with LISP,\u201d SIGPLAN Notices 12, No. 8 (1977) pp. 109\u2013115.","journal-title":"SIGPLAN Notices"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"J-H. You and P. A. Subrahmanyam, \u201cEquational Logic Programming: an Extension to Equational Programming,\u201d In 13th ACM POPL, St. Petersburg, 1986, pp. 209\u2013218.","DOI":"10.1145\/512644.512663"}],"container-title":["Lecture Notes in Computer Science","Graph Reduction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18420-1_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:14:55Z","timestamp":1605626095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18420-1_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540184201","9783540479635"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-18420-1_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}