{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:17:36Z","timestamp":1725484656167},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419198"},{"type":"electronic","value":"9783540453611"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45361-x_13","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T20:42:57Z","timestamp":1180557777000},"page":"214-230","source":"Crossref","is-referenced-by-count":1,"title":["Organizing Speculative Computations in Functional Systems"],"prefix":"10.1007","author":[{"given":"Raimund","family":"Schroeder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Kluge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,4,10]]},"reference":[{"key":"13_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/3-540-55038-0_9","volume-title":"Scheduling Strategies and Speculative Work","author":"A. Beaumont","year":"1991","unstructured":"A. Beaumont. Scheduling Strategies and Speculative Work. In Anthony Beaumont and Gopal Gupta, editors, Proceedings of Parallel Execution of Logic Programs (ICLP\u2019 91), volume 569 of LNCS, pages 120\u2013131, Berlin, Germany, June 1991. Springer."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"K. J. Berkling Reduction Languages for Reduction Machines Proceedings 2nd Annual International Symposium on Computer Architecture, ACM\/IEEE 75CH0916-7C 1975, pages 133\u2013140","DOI":"10.1145\/642089.642112"},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/3-540-58430-7_44","volume-title":"Experience with the Implementation of a Concurrent Graph Reduction System on an nCUBE\/2 Platform","author":"T. B\u00fclck","year":"1994","unstructured":"T. B\u00fclck and A. Held and W. E. Kluge and S. Pantke and C. Rathsack and S.-B. Scholz and R. Schr\u00f6der. Experience with the Implementation of a Concurrent Graph Reduction System on an nCUBE\/2 Platform. In B. Buchberger and j. Volkert, editors, Proceedings of CONPAR 94-VAPP IV volume 854 of LNCS, Springer 1994, pages 497\u2013508"},{"key":"13_CR4","unstructured":"H. Bloedorn and W. E. Kluge. Organizing Speculative Computations in the Reduction System \u03c0-red.. In Proc. WorkshopPar allel-Algorithmen und Rechnerstrukturen, pages 138\u2013152. Mitteilungen der GI ISSN 0177-0454, 1992."},{"key":"13_CR5","unstructured":"Iain G. Checkland. Speculative Concurrent Evaluation in a Lazy Functional Language. PhD thesis, University of York, Department of Computer Science, 1994."},{"issue":"5","key":"13_CR6","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1017\/S0956796800001957","volume":"6","author":"D. G\u00e4rtner","year":"1996","unstructured":"D. G\u00e4rtner and W. E. Kluge. \u03c0-red+\u2014An Interactive Compiling Graph Reduction System for an Applied \u03bb-Calculus. Journal of Functional Programming, 6(5):723\u2013756, 1996.","journal-title":"Journal of Functional Programming"},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","volume-title":"Net Theory and Applications","author":"H. J. Genrich","year":"1980","unstructured":"H. J. Genrich and K. Lautenbach and P. S. Thiagarajan. Elements of General Net Theory In Net Theory and Applications, volume 84 of LNCS, Springer 1980, pages 21\u2013163"},{"key":"13_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-51285-3_38","volume-title":"Pruning and Scheduling Speculative Work in OR-Parallel Prolog","author":"B. Hausman","year":"1989","unstructured":"B. Hausman. Pruning and Scheduling Speculative Work in OR-Parallel Prolog. In E. Odijk, M. Rem, and J.-C. Syre, editors, Proceedings of the Conference on Parallel Architectures and Languages Europe: Vol. 2, volume 366 of LNCS, Springer 1989, pages 133\u2013150"},{"key":"13_CR9","unstructured":"S. L. Peyton Jones. The Implementation of Functional Programming Languages. Computer Science. Prentice-Hall, 1987."},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"1002","DOI":"10.1109\/TC.1983.1676151","volume":"32","author":"W. E. Kluge","year":"1983","unstructured":"W. E. Kluge. Cooperating Reduction Machines. IEEE Transactions on Computers, C-32:1002\u20131012, 1983.","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR11","unstructured":"W. E. Kluge. A User\u2019s Guide for the Reduction System \u03c0-red. Technical Report 9419, Institut f\u00fcr Informatik und praktische Mathematik, Universit\u00e4t Kiel, December 1994."},{"key":"13_CR12","unstructured":"J. S. Mattson. An Effective Speculative Evaluation Technique for Parallel Supercombinator Graph Reduction. PhD thesis, Department of Computer Science and Engineering, University of California, San Diego, February 1993."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Osborne. Speculative Computation in Multilisp. Technical Report DECCRL-90-1, Digital Equipment Corporation, Cambridge Research Lab, 1990.","DOI":"10.1145\/91556.91644"},{"key":"13_CR14","unstructured":"A. Partridge. Speculative Evaluation in Parallel Implementations of Lazy Functional Languages. PhD thesis, Dept. of Computer Science, University of Tasmania, 1991."},{"issue":"3","key":"13_CR15","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Ehud Shapiro. The Family of Concurrent Logic Programming Languages. ACM Computing Surveys, 21(3):413\u2013510, September 1989.","journal-title":"ACM Computing Surveys"},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-61464-8_71","volume-title":"Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover","author":"M. T. Vandevoorde","year":"1996","unstructured":"M. T. Vandevoorde and D. Kapur. Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover. volume 1103 of LNCS, Springer 1996, pages 420\u2013423"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45361-X_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:32:12Z","timestamp":1556443932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45361-X_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419198","9783540453611"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45361-x_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}