{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:11Z","timestamp":1742617211024,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614876"},{"type":"electronic","value":"9783540686729"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61487-7_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:44:17Z","timestamp":1330292657000},"page":"59-82","source":"Crossref","is-referenced-by-count":6,"title":["Schematic: A concurrent object-oriented extension to Scheme"],"prefix":"10.1007","author":[{"given":"Kenjiro","family":"Taura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akinori","family":"Yonezawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. A. Agha","year":"1986","unstructured":"Gul A. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, Massachusetts, 1986."},{"issue":"1","key":"4_CR2","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/40.342018","volume":"15","author":"T. E. Anderson","year":"1995","unstructured":"Thomas E. Anderson, David E. Culler, David A. Patterson, and the NOW Team. A case for NOW (networks of workstations). IEEE Micro, 15(1):54\u201364, February 1995.","journal-title":"IEEE Micro"},{"key":"4_CR3","unstructured":"Yariv Aridor. An Efficient Software Environment for Implicit Parallel Programming with a Multi-Paradigm Language. PhD thesis, the Senate of Tel-Aviv University, 1995."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"W. C. Athas and C. L. Seitz. Cantor user report version 2.0. Technical report, Computer Science Department, California Institute of Technology, 1987.","DOI":"10.21236\/ADA444291"},{"issue":"1","key":"4_CR5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/40.342015","volume":"15","author":"N. J. Boden","year":"1995","unstructured":"Nanette J. Boden, Danny Cohen, Robert E. Felderman, Alan E. Kulawik, Charles L. Seitz, Jakov N. Seizovic, and Wen-King Su. Myrinet: A gigabit-per-second local area network. IEEE Micro, 15(1):29\u201336, February 1995.","journal-title":"IEEE Micro"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"F. Bodin, P. Beckman, D. Gannon, S. Yang, S. Kesavan, A. Malony, and B. Mohr. Implementing a parallel C++ runtime system for scalable parallel systems. In Proceedings of Supercomputing, pages 588\u2013597, 1993.","DOI":"10.1145\/169627.169802"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and Carl Kesselman. CC++: A declarative concurrent object-oriented programming notation. In Gul Agha, Peter Wegner, and Akinori Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, chapter 11, pages 281\u2013313. The MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0016"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Andrew Chien, M. Straka, Julian Dolby, Vijay Karamcheti, John Plevyak, and Xingbin Zhang. A case study in irregular parallel programming. In Proceedings of the DIMACS workshop on Specification of Parallel Algorithms, 1994.","DOI":"10.1090\/dimacs\/018\/01"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Andrew A. Chien. Concurrent Aggregates (CA). PhD thesis, MIT, 1991.","DOI":"10.1145\/99163.99184"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Andrew A. Chien and William J. Dally. Concurrent aggregates (CA). In Proceedings of the Second ACM SIGPLAN Symposium on Princeples & Practice of Parallel Programming, pages 187\u2013196, Seattle, Washington, March 1990.","DOI":"10.1145\/99163.99184"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Andrew. A. Chien, U. S. Reddy, J. Plevyak, and J. Dolby. ICC++ \u2014 a C++ dialect for high performance parallel computing. In Proceedings of the Second International Symposium on Object Technologies for Advanced Software (To appear), 1996.","DOI":"10.1007\/3-540-60954-7_45"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"High Performance Fortran Forum. HPF-2 Scope of Activities and Motivating Applications, 1994.","DOI":"10.1145\/190783.1041310"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Ananth Y. Grama, Vipin Kumar, and Ahmed Sameh. Scalable parallel formulation of the Barnes-Hut method for n-body simulations. In Proceedings of Supercomputing '94, pages 439\u2013448, 1994.","DOI":"10.1145\/602770.602846"},{"issue":"4","key":"4_CR14","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. H. Halstead Jr.","year":"1985","unstructured":"Robert H. Halstead, Jr. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501\u2013538, April 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Kenichi Hayashi, Tunehisa Doi, Takeshi Horie, Yoichi Koyanagi, Osamu Shiraki, Nobutaka Imamura, Toshiyuki Shimizu, Hiroaki Ishihata, and Tatsuya Shindo. AP1000+: Architectural support of put\/get interface for parallelizing compiler. In Proceedings of Architectural Support for Programming Languages and Operating Systems, pages 196\u2013207, 1994.","DOI":"10.1145\/381792.195538"},{"issue":"5","key":"4_CR16","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1145\/161468.161469","volume":"15","author":"M. P. Herlihy","year":"1993","unstructured":"Maurice P. Herlihy. A methodology for implementing highly concurrent data objects. ACM Transactions on Programming Languages and Systems, 15(5):745\u2013770, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"4_CR17","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. P. Herlihy","year":"1990","unstructured":"Maurice P. Herlihy and Jeannette M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463\u2013492, 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Waldemar Horwat, Andrew A. Chien, and William J. Dally. Experience with CST: Programming and implementation. In Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation, pages 101\u2013109, Portland, Oregon, July 1989.","DOI":"10.21236\/ADA211882"},{"key":"4_CR19","unstructured":"Yutaka Ishikawa. The MPC++ Programming Language V1.0 Specification with Commentary Document Version 0.1. Technical Report TR-94014, RWC, June 1994. http:\/\/www. rwcp. or. jp\/people\/mpslab\/ mpc++\/mpc++. html."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi and Akinori Yonezawa. Higher-order concurrent linear logic programming. In Proceedings of Workshop on Theory and Practice of Parallel Programming (TPPP), volume 907 of Lecture Notes in Computer Science, pages 137\u2013166. Springer Verlag, 1994. http:\/\/ web.yl.is.s.u-tokyo.ac. jp\/pl\/hacl.html.","DOI":"10.1007\/BFb0026568"},{"key":"4_CR21","unstructured":"Robin Milner. The polyadic \u03c0-calculus: A tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh, 1991."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Akihiro Nakaya, Kenji Yamamoto, and Akinori Yonezawa. RNA secondary structure prediction using highly parallel computers. Comput. Applic. Biosci. (CABIOS) (to appear), 11, 1995.","DOI":"10.1093\/bioinformatics\/11.6.685"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce and David N. Turner. Concurrent objects in a process calculus. In Proceedings of Workshop on Theory and Practice of Parallel Programming (TPPP), volume 907 of Lecture Notes in Computer Science, pages 187\u2013215. Springer Verlag, 1994.","DOI":"10.1007\/BFb0026570"},{"key":"4_CR24","unstructured":"Benjamin C. Pierce and David N. Turner. PICT: A programming language based on the Pi-Calculus. Technical report in preparation; available electronically, 1995."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"John H. Reppy. CML: A higher-order concurrent language. In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, pages 293\u2013305, 1991.","DOI":"10.1145\/113446.113470"},{"key":"4_CR26","unstructured":"John Sargeant. United functions and objects: An overview. Technical report, Department of Computer Science, University of Manchester, 1993."},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"John Sargeant. Uniting functional and object-oriented programming. In Shojiro Nishio and Akinori Yonezawa, editors, Proceedings of First JSSST International Symposium on Object Technologies for Advanced Software, volume 742 of Lecture Notes in Computer Science, pages 1\u201326. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57342-9_63"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Toshiyuki Shimizu, Takeshi Horie, and Hiroaki Ishihata. Low-latency message communication support for the AP1000. In The 19th Annual International Symposium on Computer Architecture, pages 288\u2013297, 1992.","DOI":"10.1145\/146628.140385"},{"key":"4_CR29","unstructured":"Olin Shivers. Data-flow analysis and type recovery in Scheme. In Peter Lee, editor, Topics in Advanced Language Implementation, chapter 3, pages 47\u201387. The MIT Press, 1991."},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa. An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers. In Proceedings of the ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, pages 218\u2013228, 1993. http:\/\/web.yl.is.s.u-tokyo.ac.jp\/pl\/schematic.html.","DOI":"10.1145\/155332.155355"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa. ABCL\/f: A future-based polymorphic typed concurrent object-oriented language \u2014 its design and implementation-. In G. Blelloch, M. Chandy, and S. Jagannathan, editors, Proceedings of the DIMACS workshop on Specification of Parallel Algorithms, number 18 in Dimacs Series in Discrete Mathematics and Theoretical Computer Science, pages 275\u2013292. American Mathematical Society, 1994. http:\/\/web.yl.is.s.u-tokyo.ac.jp\/pl\/ schematic.html.","DOI":"10.1090\/dimacs\/018\/18"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa. Stack Threads: An abstract machine for scheduling fine-grain threads on stock CPUs. In Proceedings of Workshop on Theory and Practice of Parallel Programming (TPPP), number 907 in Lecture Notes in Computer Science, pages 121\u2013136. Springer Verlag, 1994. http:\/\/web.yl.is.s.u-tokyo.ac.jp\/pl\/ schematic.html.","DOI":"10.1007\/BFb0026567"},{"issue":"1","key":"4_CR33","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/40.342017","volume":"15","author":"T. Eicken von","year":"1995","unstructured":"Thorsten von Eicken, Anindya Basu, and Vineet Buch. Low-latency communication over ATM networks using active messages. IEEE Micro, 15(1):46\u201353, February 1995.","journal-title":"IEEE Micro"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"William Weihl, Eric Brewer, Adrian Colbrook, Chrysanthos Dellarocas, Wilson Hsieh, Anthony Joseph, Carl Waldspurger, and Paul Wang. PRELUDE: A system fpr portable parallel software. Technical Report MIT\/LCS\/TR-519, Laboratory for Computer Science, Massachusetts Institute of Technology, 1991.","DOI":"10.21236\/ADA243114"},{"key":"4_CR35","unstructured":"Akinori Yonezawa. ABCL: An Object-Oriented Concurrent System\u2014Theory, Language, Programming, Implementation and Application. The MIT Press, 1990."},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Akinori Yonezawa, Jean-Pierre Briot, and Etsuya Shibayama. Object-oriented concurrent programming in ABCL\/1. In OOPSLA '86 Conference Proceedings, pages 258\u2013268, 1986.","DOI":"10.1145\/28697.28722"}],"container-title":["Lecture Notes in Computer Science","Object-Based Parallel and Distributed Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61487-7_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:19:49Z","timestamp":1742599189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61487-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614876","9783540686729"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-61487-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}