{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:51Z","timestamp":1725455751772},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591726"},{"type":"electronic","value":"9783540492184"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026577","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:15:04Z","timestamp":1132362904000},"page":"320-345","source":"Crossref","is-referenced-by-count":1,"title":["Locality abstractions for parallel and distributed computing"],"prefix":"10.1007","author":[{"given":"Suresh","family":"Jagannathan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF00128176","volume":"1","author":"M. Chen","year":"1988","unstructured":"Marina Chen, Young-il Choo, and Jingke Li. Compiling Parallel Programs by Optimizing Performance. Journal of Supercomputing, 1(2):171\u2013207, 1988.","journal-title":"Journal of Supercomputing"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K.L Clark","year":"1986","unstructured":"K.L Clark and S. Gregory. PARLOG: Parallel Programming in Logic. ACM Transactions on Programming Languages and Systems, 8(1):1\u201349, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR3","unstructured":"William Clinger and Jonathan Rees, editors. Revised4 Report on the Algorithmic Language Scheme. ACM Lisp Pointers, 4(3), July 1991."},{"key":"16_CR4","unstructured":"Eric Cooper and Richard Draves. C Threads. Technical Report CMU-CS-88-154, Carnegie-Mellon University, June."},{"key":"16_CR5","unstructured":"Eric Cooper and J.Gregory Morrisett. Adding Threads to Standard ML. Technical Report CMU-CS-90-186, Carnegie-Mellon University, 1990."},{"key":"16_CR6","unstructured":"Patrick Cousot. Semantic Foundations of Program Analysis. In Program Flow Analysis: Theory and Foundation, pages 303\u2013342. Prentice-Hall, 1981."},{"key":"16_CR7","unstructured":"J. Dongarra, D. Sorenson, and P. Brewer. Tools and Methodology for Programming Parallel Processors. In Aspects of Computation on Asynchronous Processors, pages 125\u2013138. North-Holland, 1988."},{"issue":"1","key":"16_CR8","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(82)90022-4","volume":"19","author":"R. Finkel","year":"1982","unstructured":"Raphael Finkel and John Fishburn. Parallelism in Alpha-Beta Search. Artificial Intelligence, 19(1):89\u2013106, 1982.","journal-title":"Artificial Intelligence"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan and Matthias Felleisen. The Semantics of Future and Its Use in Program Optimization. In ACM 22 nd Annual Symposium on Principles of Programming Languages, January 1995.","DOI":"10.1145\/199448.199484"},{"issue":"2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/69624.357206","volume":"5","author":"A. Gottlieb","year":"1983","unstructured":"Allan Gottlieb, B. Lubachevsky, and Larry Rudolph. Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors. ACM Transactions on Programming Languages and Systems, 5(2):164\u2013189, April 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR11","unstructured":"David Saks Greenberg. Full Utilization of Communication Resources. PhD thesis, Yale University, June 1991."},{"issue":"4","key":"16_CR12","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. Halstead","year":"1985","unstructured":"Robert Halstead. Multilisp: A Language for Concurrent Symbolic Computation. Transactions on Programming Languages and Systems, 7(4):501\u2013538, October 1985.","journal-title":"Transactions on Programming Languages and Systems"},{"issue":"4","key":"16_CR13","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1145\/29873.30392","volume":"9","author":"C. Haynes","year":"1987","unstructured":"Christopher Haynes and Daniel Friedman. Embedding Continuations in Procedural Objects. ACM Transactions on Programming Languages and Systems, 9(4):582\u2013598, 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR14","unstructured":"Feng hsiung Hsu. Large Scale Parallelization of Alpha-Beta Search: An Algorithmic and Architectural Study with Computer Chess. PhD thesis, Carnegie-Mellon University, 1990. Published as Technical Report CMU-CS-90-108."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Paul Hudak. Para-functional Programming in Haskell. In Boleslaw K. Szymanski, editor, Parallel Functional Languages and Compilers. ACM Press, 1991.","DOI":"10.1145\/107214.129257"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Paul Hudak et. al. Report on the Functional Programming Language Haskell, Version 1.2. ACM SIGPLAN Notices, May 1992.","DOI":"10.1145\/130697.130699"},{"key":"16_CR17","unstructured":"Takayasu Ito and Robert Halstead, Jr., editors. Parallel Lisp: Languages and Systems. Springer-Verlag, 1989. LNCS number 41."},{"issue":"2","key":"16_CR18","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF01018613","volume":"7","author":"S. Jagannathan","year":"1994","unstructured":"Suresh Jagannathan. TS\/Scheme: Distributed Data Structures in Lisp. Lisp and Symbolic Computation, 7(2):283\u2013305, 1994.","journal-title":"Lisp and Symbolic Computation"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Suresh Jagannathan and James Philbin. A Customizable Substrate for Concurrent Languages. In ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, June 1992.","DOI":"10.1145\/143095.143119"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Suresh Jagannathan and James Philbin. A Foundation for an Efficient Multi-Threaded Scheme System. In Proceedings of the 1992 Conf. on Lisp and Functional Programming, June 1992.","DOI":"10.1145\/141471.141573"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Suresh Jagannathan and Stephen Weeks. Analyzing Stores and References in a Parallel Symbolic Language. In Proceedings of the ACM Symposium on Lisp and Functional Programming, pages 294\u2013306, 1994.","DOI":"10.1145\/182409.182493"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Suresh Jagannathan and Stephen Weeks. A Unified Treatment of Flow Analysis in Higher-Order Languages. In ACM 22 nd Annual Symposium on Principles of Programming Languages, January 1995.","DOI":"10.1145\/199448.199536"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"David Kranz, Robert Halstead, and Eric Mohr. Mul-T: A High Performance Parallel Lisp. In Proceedings of the ACM Symposium on Programming Language Design and Implementation, pages 81\u201391, June 1989.","DOI":"10.1145\/73141.74825"},{"key":"16_CR24","unstructured":"Sun Microsystems. Lightweight Processes, 1990. In SunOS Programming Utilities and Libraries."},{"key":"16_CR25","unstructured":"Robin Mimer, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Rick Mohr, David Kranz, and Robert Halstead. Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, June 1990.","DOI":"10.1145\/91556.91631"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"J. Gregory Morrisett and Andrew Tolmach. Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey. In Fourth ACM Symposium on Principles and Practice of Parallel Programming, pages 198\u2013207, 1993.","DOI":"10.1145\/173284.155353"},{"key":"16_CR28","unstructured":"James Philbin. An Operating System for Modern Languages. PhD thesis, Dept. of Computer Science, Yale University, 1993."},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"John Reppy. CML: A Higher-Order Concurrent Language. In Proceedings of the SIGPLAN'91 Conference on Programming Language Design and Implementation, pages 293\u2013306, June 1991.","DOI":"10.1145\/113445.113470"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Anne Rogers and Keshave Pingali. Process Decomposition Through Locality of Reference. In SIGPLAN'89 Conference on Programming Language Design and Implementation, pages 69\u201380, 1989.","DOI":"10.1145\/73141.74824"},{"issue":"2","key":"16_CR31","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/78952.78954","volume":"8","author":"R. Schwan","year":"1990","unstructured":"Rarsten Schwan and Win Bo. \u201cTopologies\u201d \u2014 Distributed Objects on Multicomputers. ACM Transactions on Computer Systems, 8(2):111\u2013157, 1990.","journal-title":"ACM Transactions on Computer Systems"},{"volume-title":"Concurrent Prolog Collected Papers","year":"1987","key":"16_CR32","unstructured":"Ehud Shapiro, editor. Concurrent Prolog Collected Papers. MIT Press, Cambridge, Mass., 1987."},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"V.S. Sunderam. PVM: A Framework for Parallel Distributed Computing. Concurrency: Practice & Experience, 2(4), 1990.","DOI":"10.1002\/cpe.4330020404"},{"key":"16_CR34","unstructured":"A. Tevanian, R. Rashid, D. Golub, D. Black, E. Cooper, and M. Young. Mach Treads and the UNIX Kernel: The Battle for Control. In 1987 USENIX Summer Conference, pages 185\u2013197, 1987."},{"issue":"2","key":"16_CR35","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF01018693","volume":"7","author":"S. Weeks","year":"1994","unstructured":"Stephen Weeks, Suresh Jagannathan, and James Philbin. A Concurrent Abstract Interpreter. Lisp and Symbolic Computation, 7(2):171\u2013191, 1994.","journal-title":"Lisp and Symbolic Computation"},{"key":"16_CR36","unstructured":"Michael Wolfe. Optimizing Supercompilers for Supercomputers. MIT Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:29:05Z","timestamp":1586554145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026577"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591726","9783540492184"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/bfb0026577","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}