{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:05Z","timestamp":1725663425720},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540509400"},{"type":"electronic","value":"9783540461180"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50940-2_44","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:35:44Z","timestamp":1330202144000},"page":"313-327","source":"Crossref","is-referenced-by-count":4,"title":["A fine grain parallel implementation of PARLOG"],"prefix":"10.1007","author":[{"given":"George A.","family":"Papadopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","unstructured":"Banach R. and Watson P., Dealing with State on FLAGSHIP: the MONSTR Computational Model, CONPAR'88, Manchester UK, Sept. 12\u201316, 1988."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Barendregt H. P., Eekelen M. C. J. D., Glauert J. R. W., Kennaway J. R., Plasmeijer M. J. and Sleep M. R., Term Graph Rewriting, PARLE, Eindhoven, The Netherlands, June 15\u201319, 1987, LNCS 259, Springer Verlag, pp. 141\u2013158.","DOI":"10.1007\/3-540-17945-3_8"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Barendregt H. P., Eekelen M. C. J. D., Glauert J. R. W., Kennaway J. R., Plasmeijer M. J. and Sleep M. R., Towards an Intermediate Language Based on Graph Rewriting, PARLE, Eindhoven, The Netherlands, June 15\u201319, 1987, LNCS 259, Springer Verlag, pp. 159\u2013175.","DOI":"10.1007\/3-540-17945-3_9"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Brus T. H., van Eekelen M. C. J. D., van Leer M. O. and Plasmeijer M. J., Clean: A Language for Functional Graph Rewriting, FPLCA'87, Oregon, USA, Sept. 14\u201317, 1987, LNCS 274, Springer Verlag, pp. 364\u2013384.","DOI":"10.1007\/3-540-18317-5_20"},{"key":"20_CR5","unstructured":"Clark K. L. and Foster I. T., A Declarative Environment for Concurrent Logic Programming, TAPSOFT'87, Pisa Italy, Mar. 1987, LNCS 250, Springer Verlag, pp. 212\u2013242."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Fasel J. H. and Keller R. M. (eds), Graph Reduction Workshop, Santa Fe, New Mexico, USA, Sept. 29\u2013Oct. 1, 1986, LNCS 279, Springer Verlag.","DOI":"10.1007\/3-540-18420-1"},{"key":"20_CR7","unstructured":"Foster I. T., Logic Operating Systems: Design Issues, 4th International Conference on Logic Programming, Melbourne, Australia, May 25\u201329, 1987, pp. 910\u2013926."},{"key":"20_CR8","unstructured":"Glauert J. R. W., An Introduction to Graph Rewriting in Dactl, Alvey Technical Conference, Swansea UK, July 4\u20137, 1988, pp. 250\u2013253."},{"key":"20_CR9","unstructured":"Glauert J. R. W., Hammond K., Kennaway J. R. and Papadopoulos G. A., Using DACTL to Implement Declarative Languages, CONPAR'88, Manchester UK, Sept. 12\u201316, 1988."},{"issue":"3","key":"20_CR10","first-page":"509","volume":"5","author":"J. R. W. Glauert","year":"1987","unstructured":"Glauert J. R. W., Kennaway J. R. and Sleep M. R., Dactl: a Computational Model and Compiler Target Language Based on Graph Reduction, ICL Tecnical Journal, May, 1987, 5(3), pp. 509\u2013537.","journal-title":"ICL Tecnical Journal"},{"key":"20_CR11","unstructured":"Glauert J. R. W. and Papadopoulos G. A., A Parallel Implementation of GHC, FGCS'88, Tokyo, Japan, Nov. 28\u2013Dec. 2, 1988, Vol. 3, pp. 1051\u20131058."},{"key":"20_CR12","unstructured":"DeGroot D. and Lindstrom G., Logic Programming: Functions, Relations and Equations, Prentice Hall, ISBN 0-13-539958-0, 1986."},{"key":"20_CR13","unstructured":"Gregory S., Parallel Logic Programming in PARLOG: the Language and its Implementation, Addison-Wesley, ISBN 0-201-19241-1, 1987."},{"key":"20_CR14","unstructured":"Hammond K. and Papadopoulos G. A., Parallel Implementations of Declarative Languages Based on Graph Reduction, Alvey Technical Conference, Swansea, UK, July 4\u20137, 1988, pp. 246\u2013249."},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Kennaway J. R., Implementing Term Rewrite Languages in Dactl, CAAP'88, Nancy, France, Mar. 21\u201324, 1988, LNCS 299, Springer Verlag, pp. 102\u2013116.","DOI":"10.1007\/BFb0026099"},{"key":"20_CR16","unstructured":"Kliger S., Yardeni E., Kahn K. and Shapiro E., The Language FCP(:,?), FGCS'88, Tokyo, Japan, Nov. 28\u2013Dec. 2, 1988, Vol. 2, pp. 763\u2013773."},{"key":"20_CR17","unstructured":"Lam M. and Gregory S., PARLOG and ALICE: A Marriage of Convenience, 4th International Conference on Logic Programming, Melbourne, Australia, May 25\u201329, 1987, pp. 294\u2013310."},{"key":"20_CR18","unstructured":"Papadopoulos G. A., A High-Level Parallel Implementation of PARLOG, Internal Report SYSC88-05, University of East Anglia, UK, 1988, (to be revised)."},{"key":"20_CR19","unstructured":"Sleep M. R. and Kennaway J. R., The Zero Assignment Parallel Processor (ZAPP) Project, in Distributed Computing Systems Programme, Peter Peregrinous (ed), London 1984, pp. 250\u2013269"},{"key":"20_CR20","unstructured":"Thakkar S. S. (ed), Selected Reprints on Dataflow and Reduction Architectures, IEEE, Computer Society Press, ISBN 0-8186-0759-9, 1987."},{"key":"20_CR21","volume-title":"Guarded Horn Clauses","author":"K. Ueda","year":"1986","unstructured":"Ueda K., Guarded Horn Clauses, D.Eng. Thesis, University of Tokyo, Japan, 1986."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Watson I., Woods V., Watson P., Banach R., Greenberg M. and Sargeant J., Flagship: A Parallel Architecture for Declarative Programming, 15th International Symposium on Computer Architecture, IEEE, Honolulu, Hawaii, May 30\u2013June 2, 1988, pp. 124\u2013130.","DOI":"10.1109\/ISCA.1988.5221"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50940-2_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:17Z","timestamp":1605647957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50940-2_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540509400","9783540461180"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-50940-2_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}