{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:00:02Z","timestamp":1725732002276},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388552"},{"type":"electronic","value":"9783642388569"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38856-9_15","type":"book-chapter","created":{"date-parts":[[2013,6,15]],"date-time":"2013-06-15T00:05:28Z","timestamp":1371254728000},"page":"259-282","source":"Crossref","is-referenced-by-count":3,"title":["Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Raghavan","family":"Komondoor","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s00165-011-0196-1","volume":"24","author":"J. Barros","year":"2012","unstructured":"Barros, J., da Cruz, D., Henriques, P., Pinto, J.: Assertion-based slicing and slice graphs. Formal Aspects of Computing\u00a024(2), 217\u2013248 (2012)","journal-title":"Formal Aspects of Computing"},{"issue":"11","key":"15_CR2","doi-asserted-by":"publisher","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. Information and Software Technology\u00a040(11), 595\u2013607 (1998)","journal-title":"Information and Software Technology"},{"issue":"3","key":"15_CR3","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/169683.174155","volume":"15","author":"C. Consel","year":"1993","unstructured":"Consel, C., Khoo, S.: Parameterized partial evaluation. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a015(3), 463\u2013493 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. ACM Symp. on Principles of Programming Languages (POPL), pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Field, J., Ramalingam, G., Tip, F.: Parametric program slicing. In: Proc. Int. Symp. on Principles of Prog. Langs. (POPL), pp. 379\u2013392 (1995)","DOI":"10.1145\/199448.199534"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: Parameterizing non-interference by abstract interpretation. In: Proc. ACM Symp. on Principles of Programming Languages (POPL), pp. 186\u2013197 (2004)","DOI":"10.1145\/982962.964017"},{"key":"15_CR7","unstructured":"Harman, M., Danicic, S.: Amorphous program slicing. In: Proc. Int. Workshop on Program Comprehension, pp. 70\u201379 (1997)"},{"key":"15_CR8","unstructured":"Harman, M., Hierons, R., Fox, C., Danicic, S., Howroyd, J.: Pre\/post conditioned slicing. In: Proc. Int. Conf. on Software Maintenance (ICSM), pp. 138\u2013147 (2001)"},{"key":"15_CR9","unstructured":"Hong, H., Lee, I., Sokolsky, O.: Abstract slicing: A new approach to program slicing based on abstract interpretation and model checking. In: IEEE Int. Workshop on Source Code Analysis and Manipulation (SCAM), pp. 25\u201334 (2005)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-642-33125-1_17","volume-title":"Static Analysis","author":"J. Jaffar","year":"2012","unstructured":"Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.: Path-sensitive backward slicing. In: Min\u00e9, A., Schmidt, D. (eds.) SAS 2012. LNCS, vol.\u00a07460, pp. 231\u2013247. Springer, Heidelberg (2012)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Komondoor, R.: Precise slicing in imperative programs via term-rewriting and abstract interpretation (2013), \n                  \n                    http:\/\/www.csa.iisc.ernet.in\/~raghavan\/slicing-loops-TR2013.pdf","DOI":"10.1007\/978-3-642-38856-9_15"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/11823230_8","volume-title":"Static Analysis","author":"G. Puebla","year":"2006","unstructured":"Puebla, G., Albert, E., Hermenegildo, M.V.: Abstract interpretation with specialized definitions. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 107\u2013126. Springer, Heidelberg (2006)"},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"S. Sagiv","year":"1998","unstructured":"Sagiv, S., Reps, T.W., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. ACM Trans. Program. Lang. Syst.\u00a020(1), 1\u201350 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"15_CR14","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/1178625.1178628","volume":"15","author":"G. Snelting","year":"2006","unstructured":"Snelting, G., Robschink, T., Krinke, J.: Efficient path conditions in dependence graphs for software safety analysis. ACM Trans. Softw. Eng. Methodol.\u00a015(4), 410\u2013457 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"15_CR15","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of programming languages\u00a03(3), 121\u2013189 (1995)","journal-title":"Journal of programming languages"},{"key":"15_CR16","unstructured":"Weiser, M.: Program slicing. In: Proc. Int. Conf. on Software Engg (ICSE), pp. 439\u2013449 (1981)"},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1050849.1050865","volume":"30","author":"B. Xu","year":"2005","unstructured":"Xu, B., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. SIGSOFT Softw. Eng. Notes\u00a030(2), 1\u201336 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Zanardini, D.: The semantics of abstract program slicing. In: IEEE Int. Working Conf. on Source Code Analysis and Manipulation (SCAM), pp. 89\u201398 (2008)","DOI":"10.1109\/SCAM.2008.19"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38856-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T00:56:26Z","timestamp":1557795386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38856-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388552","9783642388569"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38856-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}