{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:27:06Z","timestamp":1752985626698},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543961"},{"type":"electronic","value":"9783540475996"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"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":[[1991]]},"DOI":"10.1007\/3540543961_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:44:12Z","timestamp":1330209852000},"page":"538-568","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":42,"title":["M-structures: Extending a parallel, non-strict, functional language with state"],"prefix":"10.1007","author":[{"name":"Arvind Massachusetts Institute of Technology","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul S.","family":"Barth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rishiyur S.","family":"Nikhil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Z. M. Ariola and Arvind. P-TAC: A Parallel Intermediate Language. In Proceedings of the Fourth Conference on Functional Programming Languages and Computer Architecture, London, pages 230\u2013242, September 1989.","DOI":"10.1145\/99370.99388"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Arvind and J. D. Brock. Resource Managers in Functional Programming. Journal of Parallel and Distributed Computing, 1(1), June 1984.","DOI":"10.1016\/0743-7315(84)90008-X"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Arvind, D. Culler, and G. Maa. Assessing the Benefits of Fine-Grained Parallelism in Dataflow Programs. International Journal of Supercomputing Applications, 2(3), 1988.","DOI":"10.1177\/109434208800200303"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Arvind, K. P. Gostelow, and W. Plouffe. Indeterminacy, Monitors and Dataflow. Operating Systems Review (Proceedings of the Sixth ACM Symposium on Operating Systems Principles), 11(5), November 1977.","DOI":"10.1145\/1067625.806559"},{"issue":"4","key":"26_CR5","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1145\/69558.69562","volume":"11","author":"A. R. S. Nikhil","year":"1989","unstructured":"Arvind, R. S. Nikhil, and K. K. Pingali. I-Structures: Data Structures for Parallel Computing. ACM Transactions on Programming Languages and Systems, 11(4):598\u2013632, October 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"F. W. Burton. Encapsulating Non-determinacy in an Abstract Type with Determinate Semantics. Journal of Functional Programming, 1(1), January 1991.","DOI":"10.1017\/S0956796800000046"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"C. Clack and S. L. Peyton Jones. The Four-Stroke Reduction Engine. In Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, Cambridge, Mass., pages 220\u2013232, August 4\u20136 1986.","DOI":"10.1145\/319838.319865"},{"issue":"4","key":"26_CR8","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. H. Halstead","year":"1985","unstructured":"R. H. Halstead. Multilisp: A Language for Concurrent Symbolic Computation. ACM Transactions on Programming Languages and Systems, 7(4):501\u2013539, October 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"10","key":"26_CR9","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"10","author":"C. A. R. Hoare","year":"1974","unstructured":"C. A. R. Hoare. Monitors: An Operating System Structuring Concept. Communications of the ACM, 10(10):549\u2013557, October 1974.","journal-title":"Communications of the ACM"},{"key":"26_CR10","first-page":"45","volume-title":"Abstract Interpretation of Declarative Languages","author":"P. Hudak","year":"1987","unstructured":"P. Hudak. A Semantic Model of Reference Counting and Its Abstraction. In S. Abramsky and C. Hankin, editors, Abstract Interpretation of Declarative Languages, Computers and Their Applications, chapter 3, pages 45\u201362. Ellis Horwood Limited, Chichester, West Sussex, England, 1987."},{"key":"26_CR11","unstructured":"P. Hudak and P. Wadler (editors). Report on the Programming Language Haskell, A Non-strict Purely Functional Language (Version 1.0). Technical Report YALEU\/DCS\/RR777, Yale University, Department of Computer Science, Apr. 1990."},{"issue":"12","key":"26_CR12","doi-asserted-by":"crossref","first-page":"1427","DOI":"10.1109\/32.62450","volume":"16","author":"J. Milewski","year":"1990","unstructured":"J. Milewski. Functional Data Structures as Updatable Objects. IEEE Transactions on Software Engineering, 16(12):1427\u20131432, December 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR13","series-title":"Technical Report CSG Memo","volume-title":"Id (Version 90.0) Reference Manual","author":"R. S. Nikhil","year":"1990","unstructured":"R. S. Nikhil. Id (Version 90.0) Reference Manual. Technical Report CSG Memo 284-1, MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, USA, July 1990."},{"key":"26_CR14","unstructured":"R. S. Nikhil. The Parallel Programming Language Id and its Compilation for Parallel Machines. In Proc. Workshop on Massive Parallelism, Amalfi, Italy, October 1989. Academic Press, 1990 (to appear)."},{"key":"26_CR15","unstructured":"R. S. Nikhil and Arvind. Programming in Id: a parallel programming language. 1990. Textbook on implicit parallel programming. In preparation."},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"G. M. Papadopoulos and D. E. Culler. Monsoon: An Explicit Token Store Architecture. In Proc. 17th. Intl. Symp. on Computer Architecture, Seattle, WA, May 1990.","DOI":"10.1145\/325164.325117"},{"key":"26_CR17","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0167-6423(86)90028-6","volume":"6","author":"W. Stoye","year":"1986","unstructured":"W. Stoye. Message-Based Functional Operating Systems. Science of Computer Programming, 6:291\u2013311, 1986.","journal-title":"Science of Computer Programming"},{"key":"26_CR18","series-title":"Technical Report","volume-title":"Sequential Implementation of Lenient Programming Languages","author":"K. R. Traub","year":"1988","unstructured":"K. R. Traub. Sequential Implementation of Lenient Programming Languages. Technical Report TR-417, MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, May 1988. Ph.D. thesis."},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-17945-3_3","volume-title":"Proceedings of PARLE: Parallel Architectures and Languages, Europe, Volume II","author":"D. Turner","year":"1987","unstructured":"D. Turner. Functional Programming and Communicating Processes. In Proceedings of PARLE: Parallel Architectures and Languages, Europe, Volume II, Eindhoven, The Netherlands, Springer-Verlag Lecture Notes in Computer Science, Volume 259, pages 54\u201374, June 1987."}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540543961_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:51:03Z","timestamp":1558270263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3540543961_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"6 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}