{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T12:25:57Z","timestamp":1772022357357,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SCI CHINA SER F"],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1007\/s11432-007-0061-2","type":"journal-article","created":{"date-parts":[[2007,9,20]],"date-time":"2007-09-20T01:33:41Z","timestamp":1190252021000},"page":"657-670","source":"Crossref","is-referenced-by-count":10,"title":["A novel formal approach to program slicing"],"prefix":"10.1007","volume":"50","author":[{"given":"YingZhou","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"61_CR1","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip F. A survey of program slicing techniques. J Progr Lang, 1995, 3(3): 121\u2013189","journal-title":"J Progr Lang"},{"key":"61_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0065-2458(08)60641-5","volume":"43","author":"D. Binkley","year":"1996","unstructured":"Binkley D, Gallagher K B. Program slicing. Advan Comput, 1996, 43: 1\u201350","journal-title":"Advan Comput"},{"issue":"3","key":"61_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1002\/swf.41","volume":"2","author":"M. Harman","year":"2001","unstructured":"Harman M, Hierons R M. An overview of program slicing. Software Focus, 2001, 2(3): 85\u201392","journal-title":"Software Focus"},{"issue":"3","key":"61_CR4","first-page":"284","volume":"37","author":"B. X. Li","year":"2000","unstructured":"Li B X, Zheng G L, et al. An approach to analyzing and understanding program \u2014 program slicing. J Comput Res Develop (in Chinese), 2000, 37(3): 284\u2013291","journal-title":"J Comput Res Develop (in Chinese)"},{"issue":"3","key":"61_CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0164-1212(94)00099-9","volume":"31","author":"M. Kamkar","year":"1995","unstructured":"Kamkar M. An overview and comparative classification of program slicing techniques. J Syst Software, 1995, 31(3): 197\u2013214","journal-title":"J Syst Software"},{"key":"61_CR6","volume-title":"Technical research on program slicing based on dependence analysis (in Chinese)","author":"Z.-Q. Chen","year":"2002","unstructured":"Chen Z-Q. Technical research on program slicing based on dependence analysis (in Chinese). Dissertation for the Doctoral Degree. Nanjing: Southeast University, 2002"},{"issue":"5","key":"61_CR7","first-page":"498","volume":"16","author":"M. Weiser","year":"1984","unstructured":"Weiser M. Program slicing. IEEE T Software Eng, 1984, 16(5): 498\u2013509","journal-title":"IEEE T Software Eng"},{"issue":"5","key":"61_CR8","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/390011.808263","volume":"19","author":"K. J. Ottenstein","year":"1984","unstructured":"Ottenstein K J, Ottenstein L M. The program dependence graph in a software development environment. ACM SIGPLAN Not, 1984, 19(5): 177\u2013184","journal-title":"ACM SIGPLAN Not"},{"key":"61_CR9","first-page":"120","volume-title":"International Conference on Computer Languages","author":"J. C. Hwang","year":"1988","unstructured":"Hwang J C, Du M W, Chou C R. The influence of language semantics on program slices. In: International Conference on Computer Languages. Florida: IEEE CS Press, 1988. 120\u2013127"},{"key":"61_CR10","first-page":"486","volume-title":"22th Annual Hawaii International Conference on System Sciences","author":"P. A. Hausler","year":"1989","unstructured":"Hausler P A. Denotational program slicing. In: 22th Annual Hawaii International Conference on System Sciences. Hawaii: IEEE CS Press, 1989. 486\u2013495"},{"key":"61_CR11","first-page":"181","volume-title":"9th IEEE Working Conference on Reverse Engineering","author":"L. Ouarbya","year":"2002","unstructured":"Ouarbya L, Danicic S, Daoudi M, et al. A denotational interprocedural program slicer. In: Aiken P, ed. 9th IEEE Working Conference on Reverse Engineering, Virginia: IEEE CS Press, 2002. 181\u2013189"},{"issue":"6","key":"61_CR12","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/113446.113455","volume":"26","author":"G. A. Venkatesh","year":"1991","unstructured":"Venkatesh G A. The semantic approach to program slicing. ACM SIGPLAN Not, 1991, 26(6): 107\u2013119","journal-title":"ACM SIGPLAN Not"},{"key":"61_CR13","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi E. Notions of computation and monads. Inform Comput, 1991, 93: 55\u201392","journal-title":"Inform Comput"},{"key":"61_CR14","first-page":"404","volume-title":"2nd. International Workshop on Rewriting Logic and its Applications. ENTCS 15","author":"P. D. Mosses","year":"1998","unstructured":"Mosses P D. Semantics, modularity, and rewriting logic. In: Kirchner C, Kirchner H, eds. 2nd. International Workshop on Rewriting Logic and its Applications. ENTCS 15. Netherlands: Elsevier Press, 1998. 404\u2013421"},{"issue":"3","key":"61_CR15","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/981009.981013","volume":"39","author":"Y. Z. Zhang","year":"2004","unstructured":"Zhang Y Z, Xu B W. A survey of semantic description frameworks for programming languages. ACM SIGPLAN Not, 2004, 39(3): 14\u201330","journal-title":"ACM SIGPLAN Not"},{"key":"61_CR16","unstructured":"Moggi E. An abstract view of programming languages. LFCS Report, ECS-LFCS-90-113. University of Edinburgh, 1989"},{"key":"61_CR17","volume-title":"Semantic Lego","author":"D. Espinosa","year":"1995","unstructured":"Espinosa D. Semantic Lego. Ph.D. Thesis. Columbia: Columbia University, 1995"},{"key":"61_CR18","volume-title":"Modular monadic semantics and compilation","author":"S. Liang","year":"1998","unstructured":"Liang S. Modular monadic semantics and compilation. Ph.D. Thesis. Yale: University of Yale, 1998"},{"key":"61_CR19","first-page":"61","volume-title":"ACM Conference on Lisp and Functional Programming","author":"P. Wadler","year":"1990","unstructured":"Wadler P. Comprehending monads. In: Kahn G, ed. ACM Conference on Lisp and Functional Programming. Nice, France: ACM Press, 1990. 61\u201378"},{"key":"61_CR20","first-page":"1","volume-title":"19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Wadler","year":"1992","unstructured":"Wadler P. The essence of functional programming. In: Sethi R, ed. 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New Mexico: ACM Press, 1992. 1\u201314"},{"key":"61_CR21","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-59451-5_2","volume-title":"Lecture Notes on Advanced Functional Programming Techniques","author":"P. Wadler","year":"1995","unstructured":"Wadler P. Monads for functional programming. Lecture Notes on Advanced Functional Programming Techniques. LNCS 925. Berlin: Springer-Verlag, 1995. 24\u201352"},{"key":"61_CR22","volume-title":"A modular monadic action semantics","author":"K. Wansbrough","year":"1997","unstructured":"Wansbrough K. A modular monadic action semantics. Master Thesis. Auckland: University of Auckland, 1997"},{"key":"61_CR23","unstructured":"Labra J E, Luengo M C, Cueva J M, et al. A language prototyping system using modular monadic semantics. Workshop on Language Definitions, Tools and Applications, LDTA\u201901, Netherlands, 2001"},{"issue":"5","key":"61_CR24","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/1149982.1149986","volume":"41","author":"Y. Z. Zhang","year":"2006","unstructured":"Zhang Y Z, Labra J E, del Rio A C. A monadic program slicer. ACM SIGPLAN Not, 2006, 41(5): 30\u201338","journal-title":"ACM SIGPLAN Not"},{"key":"61_CR25","unstructured":"Zhang Y Z, Xu B W, Labra J E. A formal method for program slicing. The 16th Australian Software Engineering Conference, ASWEC 2005, Brisbane, Australia, 2005, 140\u2013148"},{"issue":"3","key":"61_CR26","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/65979.65980","volume":"11","author":"S. Horwitz","year":"1989","unstructured":"Horwitz S, Prins J, Reps T. Integrating non-interfering versions of programs. ACM Trans Program Language System, 1989, 11(3): 345\u2013387","journal-title":"ACM Trans Program Language System"},{"issue":"11\/12","key":"61_CR27","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/S0950-5849(98)00086-X","volume":"40","author":"G. Canfora","year":"1998","unstructured":"Canfora G, Cimitile A, De Lucia A. Conditioned program slicing. Inform Software Tech, 1998, 40(11\/12): 595\u2013607","journal-title":"Inform Software Tech"},{"issue":"1","key":"61_CR28","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/S0164-1212(02)00135-8","volume":"68","author":"M. Harman","year":"2003","unstructured":"Harman M, Binkley D, Danicic S. Amorphous program slicing. J Syst Software, 2003, 68(1): 45\u201364","journal-title":"J Syst Software"},{"key":"61_CR29","first-page":"66","volume-title":"28th Annual International Computer Software and Applications Conference, COMPSAC\u201904","author":"Y. Z. Zhang","year":"2004","unstructured":"Zhang Y Z, Xu B W, Shi L, et al. Modular monadic program slicing. In: Yau S, Cheung P, eds. 28th Annual International Computer Software and Applications Conference, COMPSAC\u201904. Hong Kong: IEEE CS Press, 2004. 66\u201371"},{"key":"61_CR30","unstructured":"Papaspyrou N S. A resumption monad transformer and its applications in the semantics of concurrency. Technical Report CSD-SW-TR-2-01, National Technical University of Athens, 2001"},{"key":"61_CR31","series-title":"LNCS","first-page":"748","volume-title":"6th International Conference on Computational Science","author":"Z. Q. Wu","year":"2006","unstructured":"Wu Z Q, Zhang Y Z, Xu B W. Modular Monadic Slicing in the Presence of Pointers. In: Alexandrov V N, Albada G D, Sloot P M, et al., eds. 6th International Conference on Computational Science. LNCS 3994. Reading UK: Springer-Verlag, 2006. 748\u2013756"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0061-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-007-0061-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0061-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:35:53Z","timestamp":1559403353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-007-0061-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":31,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,10]]}},"alternative-id":["61"],"URL":"https:\/\/doi.org\/10.1007\/s11432-007-0061-2","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10]]}}}