{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:02Z","timestamp":1725663062659},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_67","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:34:58Z","timestamp":1330198498000},"page":"382-400","source":"Crossref","is-referenced-by-count":4,"title":["Implementing logical variables on a graph reduction architecture"],"prefix":"10.1007","author":[{"given":"Gary","family":"Lindstrom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"21_CR1","unstructured":"H. Abramson. A prological definition of HASL, a purely functional language with unification based conditional binding expressions. In D. DeGroot and G. Lindstrom (editors), Logic Programming: Functions, Relations, and Equations. Prentice Hall, 1986."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"K. L. Clark and S. Gregory. A relational language for parallel programming. Technical Report DOC 81\/16, Imperial College, London, 1981.","DOI":"10.1145\/800223.806776"},{"key":"21_CR3","unstructured":"S. H. Danforth. Logical variables for a functional language. Technical Report PP-120-85, Microelectronics and Computer Technology Corp., 1985."},{"key":"21_CR4","unstructured":"J. Darlington, A. J. Field, and H. Pull. The unification of functional and logic languages. In D. DeGroot and G. Lindstrom (editors), Logic Programming: Functions, Relations, and Equations. Prentice Hall, 1986."},{"key":"21_CR5","unstructured":"J. Goguen and J. Meseguer. EQLOG: equality, types, and generic modules for logic programming. In D. DeGroot and G. Lindstrom (editors), Logic Programming: Functions, Relations, and Equations. Prentice Hall, 1986."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"R.M. Keller, G. Lindstrom, and S. Patil. A loosely-coupled applicative multi-processing system. In AFIPS Conference Proceedings, pages 613\u2013622. June, 1979.","DOI":"10.1109\/MARK.1979.8817294"},{"key":"21_CR7","unstructured":"R.M. Keller and G. Lindstrom. Hierarchical analysis of a distributed evaluator. In Proc. International Conference on Parallel Processing, pages 299\u2013310. August, 1980."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"R.M. Keller and G. Lindstrom. Applications of feedback in functional programming. In. Conference on functional languages and computer architecture, pages 123\u2013130. October, 1981.","DOI":"10.1145\/800223.806771"},{"key":"21_CR9","unstructured":"R.M. Keller. FEL (Function Equation Language) programmer's guide. Technical Report 7, University of Utah, Department of Computer Science, AMPS Technical Memorandum, 1982."},{"key":"21_CR10","unstructured":"R.M. Keller, F.C.H. Lin, and J. Tanaka. Rediflow multiprocessing. In IEEE Compcon '84, pages 410\u2013417, Feb., 1984."},{"issue":"7","key":"21_CR11","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/MC.1984.1659188","volume":"17","author":"R. M. Keller","year":"1984","unstructured":"R. M. Keller and F. C. H. Lin. Simulated performance of a reduction-based multiprocessor. IEEE Computer 17(7):70\u201382, July, 1984.","journal-title":"IEEE Computer"},{"key":"21_CR12","unstructured":"G. Lindstrom. OR-parallelism on applicative architectures. In Sten-Ake Tarnlund (editor), Proc. Second International Logic Programming Conference, pages 159\u2013170. Uppsala University, July, 1984."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"G. Lindstrom. Functional programming and the logical variable. In Symposium on Principles of Programming Languages, pages 266\u2013280. ACM, January, 1985.","DOI":"10.1145\/318593.318657"},{"issue":"3","key":"21_CR14","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner. A theory of type polymorphism. J. of Comp. and Sys. Sci. 17(3):348\u2013375, 1978.","journal-title":"J. of Comp. and Sys. Sci."},{"key":"21_CR15","unstructured":"R. S. Nikhil, K. Pingali, and Arvind. Id Nouveau. Technical Report Computation Structures Group Memo 265, MIT Laboratory for Computer Science, July, 1986."},{"key":"21_CR16","unstructured":"U.S. Reddy. On the relationship between functional and logic languages. In D. DeGroot and G. Lindstrom (editors), Logic Programming: Functions, Relations, and Equations. Prentice Hall, 1986."},{"key":"21_CR17","unstructured":"E.Y. Shapiro. A subset of Concurrent Prolog and its interpreter. Technical Report TR-003, Institute for New Generation Computer Technology, January, 1983."},{"issue":"1","key":"21_CR18","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E., and A. Takeuchi. Object ortented programming in Concurrent Prolog. New Generation Computing 1(1):25\u201348, 1983.","journal-title":"New Generation Computing"},{"key":"21_CR19","unstructured":"P. A. Subrahmanyam and J.-H. You. FUNLOG: a computational model integrating logic programming and functional programming. In D. DeGroot and G. Lindstrom (editors), Logic Programming: Functions, Relations, and Equations. Prentice Hall, 1986."},{"key":"21_CR20","unstructured":"J. Tanaka. Optimized execution of an applicative language. PhD thesis, Univ. of Utah. 1984."},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"S. Taylor, S. Safra and E. Shapiro. A parallel implementation of Flat Concurrent Prolog. October, 1986. Dept. of Computer Science, Weizmann Inst. of Science; to appear in International Journal of Parallel Programming.","DOI":"10.1007\/BF01414556"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"K. R. Traub. An abstract parallel graph reduction machine. In Proc. 12th Ann. Symp. on Computer Architecture, pages 333\u2013341. IEEE Computer Society, 1985.","DOI":"10.1145\/327070.328253"},{"issue":"1","key":"21_CR23","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/356869.356873","volume":"14","author":"P.C. Treleaven","year":"1982","unstructured":"P.C. Treleaven, D.R. Brownbridge, and R.P. Hopkins. Data-driven and demand-driven computer architecture. Computing Surveys 14(1):93\u2013143, March, 1982.","journal-title":"Computing Surveys"}],"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_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:15:12Z","timestamp":1619558112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18420-1_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540184201","9783540479635"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-18420-1_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}