{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:08:27Z","timestamp":1763467707124},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540296393"},{"type":"electronic","value":"9783540321071"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11573937_15","type":"book-chapter","created":{"date-parts":[[2005,10,15]],"date-time":"2005-10-15T07:19:03Z","timestamp":1129360743000},"page":"121-130","source":"Crossref","is-referenced-by-count":2,"title":["Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs"],"prefix":"10.1007","author":[{"given":"Jianyu","family":"Xiao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deyun","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiquan","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0065-2458(03)62003-6","volume":"62","author":"D.W. Binkley","year":"2004","unstructured":"Binkley, D.W., Harman, M.: A survey of empirical results on program slicing [J]. Advances in Computers\u00a062, 105\u2013178 (2004)","journal-title":"Advances in Computers"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/3-540-48153-2_22","volume-title":"Correct Hardware Design and Verification Methods","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Fujita, M., Rajan, S.P., Reps, T., Shankar, S., Teitelbaum, T.: Program slicing for VHDL [A]. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 298\u2013313. Springer, Heidelberg (1999)"},{"issue":"4","key":"15_CR3","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s100090050041","volume":"2","author":"L. Millett","year":"2000","unstructured":"Millett, L., Teitelbaum, T.: Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation. [J]. STTT\u00a02(4), 343\u2013349 (2000)","journal-title":"[J]. STTT"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Prins, J., Reps, T.: On the adequacy of program dependence graphs for representing programs [A]. In: Proceedings of Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pp. 146\u2013157 (1988)","DOI":"10.1145\/73560.73573"},{"issue":"8","key":"15_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/596992.597003","volume":"37","author":"Z. Chen","year":"2002","unstructured":"Chen, Z., Xu, B., Zhao, J.: An overview of methods for dependence analysis of concurrent programs [J]. SIGPLAN Notices\u00a037(8), 45\u201352 (2002)","journal-title":"SIGPLAN Notices"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019411","volume-title":"Automated and Algorithmic Debugging","author":"J. Cheng","year":"1993","unstructured":"Cheng, J.: Slicing Concurrent Programs - A Graph-Theoretical Approach [A]. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol.\u00a0749. Springer, Heidelberg (1993)"},{"key":"15_CR7","unstructured":"Zhao, J.: Slicing concurrent Java programs [A]. In: Proceedings of the 7th IEEE International Workshop on Program Comprehension, pp. 126\u2013133 (1999)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Chen, Z., Xu, B., Yang, H., et al.: An Approach to Analyzing Dependency of Concurrent Programs [A]. In: Proceedings of the The First Asia-Pacific Conference on Quality Software, pp. 39\u201343 (2000)","DOI":"10.1109\/APAQ.2000.883776"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Context-sensitive slicing of concurrent programs [A]. In: Proceedings ESEC\/FSE, pp. 178\u2013187 (2003)","DOI":"10.1145\/949952.940096"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Static slicing of threaded programs [A]. In: Proc. ACM SIGPLAN\/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998), pp. 35\u201342 (1998)","DOI":"10.1145\/277631.277638"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Muller-Olm, M., Seidl, H.: On optimal slicing of parallel programs [A]. In: 33th ACM Symposium on Theory of Computing, pp. 647\u2013656 (2001)","DOI":"10.1145\/380752.380864"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11573937_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:56:41Z","timestamp":1605625001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11573937_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540296393","9783540321071"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11573937_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}