{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:15:33Z","timestamp":1778249733075,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664598","type":"print"},{"value":"9783540482949","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48294-6_1","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:16:02Z","timestamp":1186157762000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives"],"prefix":"10.1007","author":[{"given":"John","family":"Hatcliff","sequence":"first","affiliation":[]},{"given":"James","family":"Corbett","sequence":"additional","affiliation":[]},{"given":"Matthew","family":"Dwyer","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Sokolowski","sequence":"additional","affiliation":[]},{"given":"Hongjun","family":"Zheng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,1]]},"reference":[{"key":"1_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BFb0019411","volume-title":"Proceedings of the First International Workshop on Automated and Algoritmic Debugging","author":"J. Cheng","year":"1993","unstructured":"Jingde Cheng. Slicing concurrent programs\u2013a graph-theoretical approach. In Proceedings of the First International Workshop on Automated and Algoritmic Debugging, number 749 in LNCS, pages 223\u2013240, 1993."},{"key":"1_CR2","unstructured":"E.M. Clarke, M. Fujita, S.P. Rajan, T. Reps, S. Shankar, and T. Teitelbaum. Program slicing for design automation: An automatic technique for speeding-up hardware design, simulation, testing, and verification. Technical report, 1999."},{"key":"1_CR3","unstructured":"Matthew Dwyer and John Hatcliff. Slicing software for model construction. In Olivier Danvy, editor, Proceedings of the 1999 ACM Workshop on Partial Evaluation and Program Manipulation (PEPM\u201999), January 1999. BRICS Notes Series NS-99-1."},{"key":"1_CR4","unstructured":"Matthew B. Dwyer, James C. Corbett, John Hatcliff, Stefan Sokolowski, and Hongjun Zheng. Slicing multi-threaded java programs: A case study. Technical Report 99-7, Kansas State University, Department of Computing and Information Sciences, March 1999."},{"issue":"5","key":"1_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5):279\u2013294, May 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR6","unstructured":"Lynette I. Millett and Tim Teitelbaum. Slicing promela and its applications to model checking, simulation, and protocol understanding. In Proceedings of the 4th International SPIN Workshop, 1998."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Jens Krinke. Static slicing of threaded programs. In Proc. ACM SIG-PLAN\/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE\u201998), pages 35\u201342, 1998.","DOI":"10.1145\/277631.277638"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1997.","DOI":"10.1016\/S1353-4858(97)83033-4"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"1_CR10","unstructured":"Robin Milner. Communication and Concurrecy. Prentice Hall, 1989."},{"key":"1_CR11","unstructured":"S.S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997."},{"key":"1_CR12","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"F. Tip. A survey of program slicing techniques. Journal of programming languages, 3:121\u2013189, 1995.","journal-title":"Journal of programming languages"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Mark Weiser. Program slicing. IEEE Transaction on Software Engineering, 1984.","DOI":"10.1109\/TSE.1984.5010248"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Jianjun Zhao. Slicing concurrent java programs. In Proceedings of the Seventh IEEE International Workshop on Program Comprehension, pages 126\u2013133, may 1999.","DOI":"10.1109\/WPC.1999.777751"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48294-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:46:38Z","timestamp":1778247998000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-48294-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664598","9783540482949"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48294-6_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"1 October 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}