{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:51Z","timestamp":1725664371868},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603689"},{"type":"electronic","value":"9783540455110"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60368-9_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:22:01Z","timestamp":1330262521000},"page":"297-311","source":"Crossref","is-referenced-by-count":2,"title":["LEMMA: A distributed shared memory with global and local garbage collection"],"prefix":"10.1007","author":[{"given":"David C. J.","family":"Matthews","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Sergent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel, John R. Ellis, and Kai Li. Real-time concurrent collection on stock multiprocessors. In ACM SIGPLAN'88 Conference on Programming Language Design and Implementation, pages 11\u201320, June 1988.","DOI":"10.1145\/53990.53992"},{"key":"12_CR2","first-page":"89","volume":"788","author":"B. Berthomieu","year":"1994","unstructured":"Bernard Berthomieu and Thierry Le Sergent. Programming with behaviors in an ML framework: the syntax and semantics of LCS In Programming Languages and Systems \u2014 ESOP'94, LNCS 788, pages 89\u2013104, April 1994","journal-title":"LNCS"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"John B. Carter, John K. Bennet, and Willy Zwaenepoel. Implementation and performance of Munin. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, pages 152\u2013164, October 1991.","DOI":"10.1145\/121132.121159"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Damien Doligez and Xavier Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML. In Proc. of the 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 113\u2013123, Charleston SC (USA), January 1993.","DOI":"10.1145\/158511.158611"},{"key":"12_CR5","unstructured":"Paulo Ferreira and Marc Shapiro. Garbage Collection and DSM Consistency. Proceedings of the First Symposium on Operating Systems Design and Implementation (OSDI), Monterey, California, USA, November 1994."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Alessandro Giacalone, Prateek Mishra, and Sanjiva Prasad. Facile: A symmetric integration of concurrent and functional programming. International Journal of Parallel Programming, pages 121\u2013160, 1989.","DOI":"10.1007\/BF01491213"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Robert H. Halstead Jr. Implementation of multilisp: Lisp on a multiprocessor. In 1984 ACM Symposium on LISP and Functional Programming, pages 9\u201317, August 1984.","DOI":"10.1145\/800055.802017"},{"key":"12_CR8","first-page":"179","volume":"637","author":"T. Sergent Le","year":"1992","unstructured":"Thierry Le Sergent and Bernard Berthomieu. Incremental Multi-threaded Garbage Collection on Virtually Shared Memory Architectures In Memory Management \u2014 IWMM'92, LNCS 637, pages 179\u2013199, September 1992.","journal-title":"LNCS"},{"key":"12_CR9","unstructured":"Thierry Le Sergent. M\u00e9thodes d'ex\u00e9cution, et machines virtuelles parall\u00e8les pour l'implantation distribu\u00e9e du langage de programmation parall\u00e8le LCS. Th\u00e8se de doctorat de l'Universit\u00e9 Paul Sabatier, Toulouse, F\u00e9vrier 1993."},{"issue":"4","key":"12_CR10","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/75104.75105","volume":"7","author":"K. Li","year":"1989","unstructured":"Kai Li and Paul Hudak. Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems, 7(4):321\u2013359, November 1989.","journal-title":"ACM Transactions on Computer Systems"},{"key":"12_CR11","unstructured":"Thierry Le Sergent and David C. J. Matthews. Actaptive selection of protocols for strict coherency in distributed shared memory. Report ECS-LFCS-94-306, LFCS, September 1994."},{"key":"12_CR12","unstructured":"David C. J. Matthews. Papers on Poly\/ML. Technical Report 161, Computer Laboratory, University of Cambridge, 1989"},{"key":"12_CR13","unstructured":"David C. J Matthews. A distributed concurrent implementation of Standard ML. In Proceedings of EurOpen Autumn 1991 Conference, Budapest, Hungary, September 1991. Also in LFCS Report Series ECS-LFCS-91-174."},{"key":"12_CR14","unstructured":"David C. J. Matthews and Thierry Le Sergent. LEMMA Interface Definition. Report ECS-LFCS-95-316, LFCS, January 1995."},{"key":"12_CR15","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, 1990."}],"container-title":["Lecture Notes in Computer Science","Memory Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60368-9_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:58:43Z","timestamp":1605628723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60368-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603689","9783540455110"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60368-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}