{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:10:00Z","timestamp":1736104200937,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611431"},{"type":"electronic","value":"9783540683322"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/bfb0023057","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:32:44Z","timestamp":1132381964000},"page":"108-127","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A debugging scheme for fine-grain threads on massively parallel processors with a small amount of log information \u2014Replay and race detection\u2014"],"prefix":"10.1007","author":[{"given":"Tomio","family":"Kamada","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,10]]},"reference":[{"key":"5_CR1","first-page":"60","volume":"489","author":"P. America","year":"1990","unstructured":"P. America. Designing an Object-Oriented Programming Language with Behavioural Subtyping. In Proc. of REX\/FOOL, volume 489 of LNCS, pages 60\u201390, 1990.","journal-title":"LNCS"},{"doi-asserted-by":"crossref","unstructured":"D. Callahan and J Subhlok. Static analysis of low-level synchronization. In Proc. of Workshop on Parallel and Distributed Debugging, pages 100\u2013111. ACM, 1988.","key":"5_CR2","DOI":"10.1145\/68210.69225"},{"issue":"4","key":"5_CR3","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/115372.115324","volume":"13","author":"J. D. Choi","year":"1991","unstructured":"J. D. Choi, B. P. Miller, and R. B. Netzer. Techniques for debugging parallel programs with flowback analysis. ACM Transaction on Programming Languages and Systems, 13(4):491\u2013530, 1991.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/69215.69233","volume":"2","author":"C. J. Fidge","year":"1989","unstructured":"C. J. Fidge. Partial orders for parallel debugging. In Workshop on Parallel and Distributed Debugging, volume 2 of SIGPLAN NOTICE, pages 183\u2013194, 1989.","journal-title":"SIGPLAN NOTICE"},{"issue":"6","key":"5_CR5","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1002\/spe.4380150603","volume":"15","author":"J. Gait","year":"1985","unstructured":"J. Gait. A debugger for concurrent programs. Softw. Pract. Exper., 15(6):539\u2013554, 1985.","journal-title":"Softw. Pract. Exper."},{"issue":"3","key":"5_CR6","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. H. Halstead Jr.","year":"1985","unstructured":"R. H. Halstead Jr.. Multilisp: A Language for Concurrent Symbolic Computation. ACM Transactions on Programming Languages and Systems, 7(3):501\u2013538, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR7","first-page":"183","volume":"748","author":"R. H. Halstead Jr.","year":"1992","unstructured":"R. H. Halstead Jr., D. A. Kranz, and P. G. Sobalvarro. MulTVision: A tool for visualizing parallel program executions. In Proc. of Parallel Symbolic Computing: Languages, Systems, and Applications, volume 748 of LNCS, pages 183\u2013204, 1992.","journal-title":"LNCS"},{"doi-asserted-by":"crossref","unstructured":"L. Lamport. Time, clocks and the ordering of events in a distributed system. CACM, 1978.","key":"5_CR8","DOI":"10.1145\/359545.359563"},{"issue":"4","key":"5_CR9","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"36","author":"T.J. Leblanc","year":"1987","unstructured":"T.J. Leblanc and J.M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Transactions on Computers. 36(4):471\u2013482, April 1987.","journal-title":"IEEE Transactions on Computers"},{"doi-asserted-by":"crossref","unstructured":"B.P. Miller and Choi J, D. A mechanism for efficient debugging of parallel programs. In Proc. of PLDI, pages 135\u2013144, June 1988.","key":"5_CR10","DOI":"10.1145\/960116.54004"},{"doi-asserted-by":"crossref","unstructured":"R. B. Netzer and B. P. Miller. Optimal tracing and replay for debugging message-passing parallel programs. In Proc. of Suprecomputing, pages 502\u2013511, 1992.","key":"5_CR11","DOI":"10.1109\/SUPERC.1992.236654"},{"doi-asserted-by":"crossref","unstructured":"R. B. Netzer and Jian Xu. Adaptive message logging for incremental replay of message-passing programs. In Proc. of Suprecomputing, pages 840\u2013849, 1993.","key":"5_CR12","DOI":"10.1145\/169627.169850"},{"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 Proc. of PPOPP, pages 218\u2013228, 1993.","key":"5_CR13","DOI":"10.1145\/173284.155355"},{"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 Proc. of the DIMACS workshop on Specification of Parallel Algorithms, number 18 in DIMACS, pages 275\u2013292. American Mathematical Society, 1994.","key":"5_CR14","DOI":"10.1090\/dimacs\/018\/18"},{"unstructured":"Kenjiro Taura and Akinori Yonezawa. Irregular numerics in concurrent objectoriented language ABCL\/f\u2014 a case study in FEM and Nbody. In Proc. of SWoPP, Beppu, Japan, 1995.","key":"5_CR15"}],"container-title":["Lecture Notes in Computer Science","Parallel Symbolic Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T18:54:30Z","timestamp":1736103270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611431","9783540683322"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0023057","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}