{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:26Z","timestamp":1725664286771},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:53:29Z","timestamp":1330271609000},"page":"355-369","source":"Crossref","is-referenced-by-count":0,"title":["A graph reduction technique with sharing across narrowings for functional-logic languages"],"prefix":"10.1007","author":[{"given":"John","family":"Maraist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank S. K.","family":"Silbermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"25_CR1","unstructured":"Henk Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, 1981."},{"key":"25_CR2","first-page":"37","volume-title":"Logic Programming, Relations, Functions and Equations","author":"J. Darlington","year":"1986","unstructured":"J. Darlington, A. J. Field, and H. Pull. Unification of functional and logic languages. In DeGroot and Lindstrom, editors, Logic Programming, Relations, Functions and Equations, pages 37\u201370. Prentice-Hall, Englewood Cliffs, New Jersey, 1986."},{"key":"25_CR3","unstructured":"Matthias Felleisen and Robert Hieb. The revised report on the syntactic theories of sequential control and state. Technical Report COMP TR89-100, Rice University, 1989."},{"key":"25_CR4","unstructured":"Michael Hanus. The integration of functions into logic programming: From theory to practice. To appear in the Journal of Logic Programming. Also available as Technical Report MPI-I-94-201, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken."},{"key":"25_CR5","volume-title":"An algorithm for optimal lambda calculus reduction","author":"J. Lamping","year":"1990","unstructured":"John Lamping. An algorithm for optimal lambda calculus reduction. In Conference Record, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California. ACM Press, January 1990."},{"key":"25_CR6","first-page":"201","volume-title":"Towards lazy evaluation, sharing and non-determinism in resolution based functional logic languages","author":"F. Liu","year":"1993","unstructured":"Feixiong Liu. Towards lazy evaluation, sharing and non-determinism in resolution based functional logic languages. In Sixth ACM Conference on Functional Programming Languages and Computer Architecture, Copenhagen, pages 201\u2013209. ACM Press, June 1993."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Rita Loogen, F. L. Fraguas, and Mario Rodr\u00edguez-Artalejo. A demand driven computation strategy for lazy narrowing. In Lecture Notes in Computer Science 714, pages 184\u2013200. Fifth International Symposium on Programming Language Implementation and Logic Programming, Springer-Verlag, August 1993.","DOI":"10.1007\/3-540-57186-8_79"},{"key":"25_CR8","volume-title":"Master's thesis","author":"J. Maraist","year":"1993","unstructured":"John Maraist. An abstract machine for compiling set-based functional logic languages. Master's thesis, Tulane University, New Orleans, Louisiana 70118, August 1993. Revised version, November 1993."},{"key":"25_CR9","unstructured":"Simon L. Peyton Jones. The Implementation of Functional Programming Languages. International Series in Computer Science. Prentice Hall, 1987."},{"key":"25_CR10","unstructured":"Uday S. Reddy. Logic Languages Based on Functions: Semantics and Implementation. PhD thesis, University of Utah, 1986."},{"issue":"3","key":"25_CR11","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1017\/S095679680000040X","volume":"2","author":"Frank S. S. K. K. Silbermann","year":"1992","unstructured":"Frank S. K. Silbermann and Bharat Jayaraman. A domain-theoretic approach to functional and logic programming. Journal of Functional Programming, 2(3):273\u2013321, 1992.","journal-title":"Journal of Functional Programming"},{"key":"25_CR12","unstructured":"Christopher P. Wadsworth. Semantics and Pragmatics of the Lambda Calculus. PhD thesis, Oxford University, 1971."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:14:48Z","timestamp":1619572488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}