{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:24Z","timestamp":1751983644573,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540527824"},{"type":"electronic","value":"9783540471431"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/bfb0024152","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:40:49Z","timestamp":1132378849000},"page":"103-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Speculative computation in multilisp"],"prefix":"10.1007","author":[{"given":"Randy B.","family":"Osborne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"4_CR1","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1984","unstructured":"H. Abelson and G. Sussman. Structure and Interpretation of Computer Programs. M.I.T. Press, Cambridge, MA., 1984."},{"key":"4_CR2","unstructured":"L. Bagnall. ParVis: A program visualization tool for Multilisp. Master's Thesis, Electrical Engineering and Computer Science, M.I.T., January 1989."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"H. Baker and C. Hewitt. The incremental garbage collection of processes. A.I. Lab Memo 454, M.I.T., March 1978.","DOI":"10.1145\/800228.806932"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"F. W. Burton. Speculative computation, parallelism, and functional programming. IEEE Trans. on Computers, pages 1190\u20131193, December 1985.","DOI":"10.1109\/TC.1985.6312218"},{"key":"4_CR5","unstructured":"R. Bubenik and W. Zwaenepoel. An operational semantics for optimistic computations. Technical Report TR89-85, Department of Computer Science, Rice University, February 1989."},{"key":"4_CR6","unstructured":"K. Clark and S. Gregory. Parlog: Parallel programming in logic. In E. Shapiro, editor, Concurrent Prolog: Collected Papers, Volume 1, Chapter 3. M.I.T. Press, 1987."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"T. Chikayama, H. Sato, and T. Miyazaki. Overview of the parallel inference machine operating system (PIMOS). In Int'l. Conf. on Fifth Generation Computer Systems, pages 230\u2013251, 1988.","DOI":"10.1007\/978-1-4471-3156-4_25"},{"key":"4_CR8","unstructured":"B. Epstein. Support for speculative computation in MultiScheme. Bachelor's Thesis, Brandeis University, May 1989."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"R. Gabriel. Performance Evaluation of Lisp Systems. M.I.T. Press, 1985.","DOI":"10.7551\/mitpress\/5298.001.0001"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"R. Goldman and R. Gabriel. Qlisp: Parallel processing in Lisp. IEEE Software, pages 51\u201359, July 1989.","DOI":"10.1109\/52.31652"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"D. Grit and R. Page. Deleting irrelevant tasks in an expression-oriented multi-processor system. ACM Trans. on Prog. Languages and Systems, pages 49\u201359, October 1981.","DOI":"10.1145\/357121.357125"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"R. Halstead. Multilisp: A language for concurrent symbolic computation. ACM Trans. on Prog. Languages and Systems, pages 501\u2013538, October 1985.","DOI":"10.1145\/4472.4478"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"R. Halstead. An assessment of Multilisp: Lessons from experience. International Journal of Parallel Programming, December 1986.","DOI":"10.1007\/BF01407410"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"R. Halstead. Parallel symbolic computing. IEEE Computer, pages 35\u201343, August 1986.","DOI":"10.1109\/MC.1986.1663306"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"R. Halstead, T. Anderson, R. Osborne, and T. Sterling. Concert: Design of a multiprocessor development system. In 13th Annual Symp. on Computer Architecture, pages 40\u201348, June 1986.","DOI":"10.1145\/17356.17361"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"P. Hudak and R. Keller. Garbage collection and task deletion in Distributed Applicative Processing Systems. In Proceedings 1982 ACM Conf. on Lisp and Functional Prog., pages 168\u2013178, 1982.","DOI":"10.1145\/800068.802147"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"W. Kornfeld and C. Hewitt. The scientific community metaphor. IEEE Trans. on Systems, Man, and Cybernetics, pages 24\u201333, January 1981.","DOI":"10.1109\/TSMC.1981.4308575"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"D. Kranz, R. Halstead, and E. Mohr. Mul-T: A high-performance parallel Lisp. In SigPlan Conf. on Prog. Language Design and Implementation, pages 81\u201390, 1989.","DOI":"10.1145\/74818.74825"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"E. Krall and P. McGehearty. A case study of parallel execution of a rule-based expert system. Int'l. Journal of Parallel Programming, pages 5\u201332, January 1986.","DOI":"10.1007\/BF01379148"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"H. Lieberman and C. Hewitt. A real-time garbage collector based on the lifetimes of objects. Communications of the ACM, pages 419\u2013429, June 1983.","DOI":"10.1145\/358141.358147"},{"key":"4_CR21","unstructured":"E. Lusk et al. The Aurora Or-parallel Prolog system. In Proc. of Int'l. Conf. on Fifth Generation Computer Systems, pages 819\u2013830, 1988."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"J. Miller. MultiScheme: A parallel processing system based on MIT Scheme. Technical Report TR-402, Laboratory for Computer Science, M.I.T., September 1987.","DOI":"10.1007\/BF01383881"},{"key":"4_CR23","unstructured":"R. Nikhil. Id (version 88.0) reference manual. Computation Structures Group Memo 284, Laboratory for Computer Science, M.I.T., March 1988."},{"key":"4_CR24","unstructured":"N. Nilsson. Principles of Artificial Intelligence. Morgan Kaufmann, 1980."},{"key":"4_CR25","unstructured":"R. Osborne. Speculative computation in Multilisp. Technical Report TR-464, Laboratory for Computer Science, M.I.T., November 1989."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"A. Partridge and A. Dekker. Speculative parallelism in a distributed graph reduction machine. In Bruce Shriver, editor, Proceedings of 22nd Annual Hawaii Int'l Conf. on System Sciences, Volume 2, pages 771\u2013779, 1989.","DOI":"10.1109\/HICSS.1989.48085"},{"key":"4_CR27","unstructured":"E. Shapiro. Concurrent Prolog: A progress report. In E. Shapiro, editor, Concurrent Prolog: Collected Papers, Volume 1, Chapter 5. M.I.T. Press, 1987."},{"key":"4_CR28","unstructured":"R. Soley. On the efficient exploitation of speculation under dataflow paradigms of control. Technical Report TR-443, Laboratory for Computer Science, M.I.T., 1989."},{"key":"4_CR29","unstructured":"K. Ueda. Guarded Horn clauses. In E. Shapiro, editor, Concurrent Prolog: Collected Papers, Volume 1, Chapter 4. M.I.T. Press, 1987."}],"container-title":["Lecture Notes in Computer Science","Parallel Lisp: Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T18:49:49Z","timestamp":1736102989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540527824","9783540471431"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0024152","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]},"assertion":[{"value":"18 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}