{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T16:40:23Z","timestamp":1719679223307},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,12,1]],"date-time":"2017-12-01T00:00:00Z","timestamp":1512086400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11704-017-6189-3","type":"journal-article","created":{"date-parts":[[2017,12,11]],"date-time":"2017-12-11T11:13:01Z","timestamp":1512990781000},"page":"971-986","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Precise slicing of interprocedural concurrent programs"],"prefix":"10.1007","volume":"11","author":[{"given":"Xiaofang","family":"Qi","sequence":"first","affiliation":[]},{"given":"Zhenliang","family":"Jiang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,12]]},"reference":[{"key":"6189_CR1","volume-title":"Real-Time Systems and Programming Languages: Ada, Real-Time Java and C\/Real-Time POSIX","author":"A Burns","year":"2009","unstructured":"Burns A, Wellings A. Real-Time Systems and Programming Languages: Ada, Real-Time Java and C\/Real-Time POSIX. 4th Ed. Boston: Addison Wesley Longman, 2009","edition":"4"},{"issue":"2","key":"6189_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1050849.1050865","volume":"30","author":"B W Xu","year":"2005","unstructured":"Xu B W, Qian J, Zhang X F, Wu Z Q, Chen L. A brief survey of program slicing. ACM SIGSOFT Software Engineering Notes, 2005, 30(2): 1\u201336","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"3","key":"6189_CR3","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/2187671.2187674","volume":"44","author":"J Silva","year":"2012","unstructured":"Silva J. A vocabulary of program slicing-based techniques. ACM Computing Surveys, 2012, 44(3): 12","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"6189_CR4","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1145\/989393.989419","volume":"39","author":"S Horwitz","year":"2004","unstructured":"Horwitz S, Reps T, Binkley D. Inter-procedural slicing using dependence graphs. ACM SIGPLAN Notices, 2004, 39(4): 229\u2013243.","journal-title":"ACM SIGPLAN Notices"},{"issue":"5","key":"6189_CR5","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1145\/949952.940096","volume":"28","author":"J Krinke","year":"2003","unstructured":"Krinke J. Context-sensitive slicing of concurrent programs. ACM SIGSOFT Software Engineering Notes, 2003, 28(5): 178\u2013187","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"6","key":"6189_CR6","doi-asserted-by":"crossref","first-page":"1088","DOI":"10.1145\/1186632.1186636","volume":"28","author":"M G Nanda","year":"2006","unstructured":"Nanda M G, Ramesh S. Inter-procedural slicing of multithreaded programs with applications to Java. ACM Transaction on Programming Language Systems, 2006, 28(6): 1088\u20131144","journal-title":"ACM Transaction on Programming Language Systems"},{"issue":"2","key":"6189_CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/s10515-009-0048-x","volume":"16","author":"D Giffhorn","year":"2009","unstructured":"Giffhorn D, Hammer C. Precise slicing of concurrent programs. Journal of Automated Software Engineering, 2009, 16(2): 197\u2013234","journal-title":"Journal of Automated Software Engineering"},{"issue":"2","key":"6189_CR8","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s11219-010-9114-7","volume":"19","author":"D Giffhorn","year":"2011","unstructured":"Giffhorn D. Advanced chopping of sequential and concurrent programs. Software Quality Journal, 2011, 19(2): 239\u2013294","journal-title":"Software Quality Journal"},{"key":"6189_CR9","volume-title":"Slicing of concurrent programs and its application to Information flow control","author":"D Giffhorn","year":"2012","unstructured":"Giffhorn D. Slicing of concurrent programs and its application to Information flow control. Dissertation for the Doctoral Degree. Karlsruhe: University of Karlsruhe, 2012"},{"issue":"4","key":"6189_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/375431.375420","volume":"36","author":"Z Q Chen","year":"2001","unstructured":"Chen Z Q, Xu BW. Slicing concurrent Java programs. ACMSIGPLAN Notices, 2001, 36(4): 41\u201347","journal-title":"ACMSIGPLAN Notices"},{"key":"6189_CR11","first-page":"248","volume-title":"Proceedings of the 10th International Conference on Quality Software","author":"X F Qi","year":"2010","unstructured":"Qi X F, Zhou X Y, Xu X J, Zhang Y Z. Slicing concurrent programs based on program reachability graph. In: Proceedings of the 10th International Conference on Quality Software. 2010, 248\u2013253"},{"issue":"2","key":"6189_CR12","first-page":"287","volume":"35","author":"X F Qi","year":"2007","unstructured":"Qi X F, Xu B W, Zhou X Y. An approach to analyzing dependence of concurrent programs based on program reachability graphs. Acta Electronica Sinica, 2007, 35(2): 287\u2013291","journal-title":"Acta Electronica Sinica"},{"issue":"3","key":"6189_CR13","first-page":"568","volume":"37","author":"X F Qi","year":"2014","unstructured":"Qi X F, Xu X J, Jiang Z L, Wang P. Slicing concurrent programs based on program reachability graphs with partial-order reduction. Chinese Journal of Computer, 2014, 37(3): 568\u2013579","journal-title":"Chinese Journal of Computer"},{"key":"6189_CR14","first-page":"293","volume-title":"Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering","author":"X F Qi","year":"2012","unstructured":"Qi X F, Xu X J, Wang P. Slicing concurrent inter-procedural programs based on program reachability graphs. In: Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering. 2012, 293\u2013298"},{"issue":"2","key":"6189_CR15","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/210134.210180","volume":"4","author":"M Pezze","year":"1995","unstructured":"Pezze M, Taylor R N, Young M. Graph models for reachability analysis of concurrent programs. ACM Transaction on Software Engineering and Methodology, 1995, 4(2): 171\u2013213","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"key":"6189_CR16","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"2015","unstructured":"Nielson F, Nielson H R, Hankin C. Principles of Program Analysis. Berlin: Springer, 2015"},{"issue":"7","key":"6189_CR17","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1109\/32.538606","volume":"22","author":"P Godefroid","year":"1996","unstructured":"Godefroid P, Peled D, Staskauskas M. Using partial-order methods in the formal validation of industrial concurrent programs. IEEE Transaction on Software Engineering, 1996, 22(7): 496\u2013507","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"1","key":"6189_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s00236-009-0111-x","volume":"47","author":"M M Jaghoori","year":"2010","unstructured":"Jaghoori M M, Sirjani M, Mousavi M R, Khamespanah E, Movaghar A. Symmetry and partial order reduction techniques in model checking Rebeca. Acta Information, 2010, 47(1): 33\u201366","journal-title":"Acta Information"},{"key":"6189_CR19","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/PDSE.1999.779735","volume-title":"Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems","author":"J J Zhao","year":"1999","unstructured":"Zhao J J. Multithreaded dependence graphs for concurrent Java programs. In: Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems. 1999, 13\u201323"},{"key":"6189_CR20","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/269629.269637","volume-title":"Proceedings of ACM TRI-Ada International Conference","author":"J Cheng","year":"1997","unstructured":"Cheng J. Task dependence nets for concurrent systems with Ada 95 and its applications. In: Proceedings of ACM TRI-Ada International Conference. 1997, 67\u201378"},{"key":"6189_CR21","first-page":"1","volume-title":"Proceedings of International Symposium on Static Analysis","author":"J Hatcliff","year":"1999","unstructured":"Hatcliff J. A formal study of slicing for multi-threaded programs with JVM concurrency primitives. In: Proceedings of International Symposium on Static Analysis. 1999, 1\u201318"},{"issue":"4","key":"6189_CR22","first-page":"481","volume":"41","author":"J Zhang","year":"2003","unstructured":"Zhang J, Jin C Z. Control-flow-based static slicing algorithm of threaded programs. Journal of Jilin University, 2003, 41(4): 481\u2013486","journal-title":"Journal of Jilin University"},{"key":"6189_CR23","volume-title":"Research on program slicing techniques based on modular monadic semantics","author":"Y Z Zhang","year":"2006","unstructured":"Zhang Y Z. Research on program slicing techniques based on modular monadic semantics. Dissertation for the Doctoral Degree. Nanjing: Southeast University, 2006"},{"issue":"2","key":"6189_CR24","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1145\/349214.349241","volume":"22","author":"G Ramalingam","year":"2000","unstructured":"Ramalingam G. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Transactions on Programming Language Systems, 2000, 22(2): 416\u2013430","journal-title":"ACM Transactions on Programming Language Systems"},{"key":"6189_CR25","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1016\/j.ic.2012.02.005","volume":"214","author":"M Leuschel","year":"2012","unstructured":"Leuschel M, Llorensb M, Oliver J, Silva J, Tamarit S. Static slicing of explicitly synchronized languages. Information and Computation, 2012, 214: 10\u201346","journal-title":"Information and Computation"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-017-6189-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-017-6189-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-017-6189-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T16:08:24Z","timestamp":1719677304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-017-6189-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":25,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["6189"],"URL":"https:\/\/doi.org\/10.1007\/s11704-017-6189-3","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12]]}}}