{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:21:21Z","timestamp":1771698081034,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T00:00:00Z","timestamp":1421107200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["251413"],"award-info":[{"award-number":["251413"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,1,13]]},"DOI":"10.1145\/2678015.2682538","type":"proceedings-article","created":{"date-parts":[[2014,12,19]],"date-time":"2014-12-19T13:51:05Z","timestamp":1418997065000},"page":"115-126","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Static Backward Demand-Driven Slicing"],"prefix":"10.1145","author":[{"given":"Bj\u00f6rn","family":"Lisper","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Abu Naser","family":"Masud","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Husni","family":"Khanfar","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2015,1,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"SWEET home page 2011. URL http:\/\/www.mrtc.mdh.se\/projects\/wcet\/sweet\/.  SWEET home page 2011. URL http:\/\/www.mrtc.mdh.se\/projects\/wcet\/sweet\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178456"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1749608.1749612"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646902.710193"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158694"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/176454.176473"},{"key":"e_1_3_2_1_7_1","first-page":"44","volume-title":"Proc. International Conference on Software Maintenance, ICSM '03","author":"Binkley D.","unstructured":"D. Binkley and M. Harman . A large-scale empirical study of forward and backward static slice size and context sensitivity . In Proc. International Conference on Software Maintenance, ICSM '03 , pages 44 --, Washington, DC, USA, 2003. IEEE Computer Society. D. Binkley and M. Harman. A large-scale empirical study of forward and backward static slice size and context sensitivity. In Proc. International Conference on Software Maintenance, ICSM '03, pages 44--, Washington, DC, USA, 2003. IEEE Computer Society."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)62003-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/201055.201056"},{"key":"e_1_3_2_1_10_1","volume-title":"Dec.","author":"Canfora G.","year":"1998","unstructured":"G. Canfora . Conditioned program slicing. Information and Software Technology, 40(11--12):595--607 , Dec. 1998 . G. Canfora. Conditioned program slicing. Information and Software Technology, 40(11--12):595--607, Dec. 1998."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183438"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET2007)","author":"Ermedahl A.","year":"2007","unstructured":"A. Ermedahl , C. Sandberg , J. Gustafsson , S. Bygde , and B. Lisper . Loop bound analysis based on a combination of program slicing, abstract interpretation, and invariant analysis . In Proc. Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET2007) , July 2007 . A. Ermedahl, C. Sandberg, J. Gustafsson, S. Bygde, and B. Lisper. Loop bound analysis based on a combination of program slicing, abstract interpretation, and invariant analysis. In Proc. Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET2007), July 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1992.242531"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. 9th International Workshop on Worst-Case Execution Time Analysis (WCET09)","author":"Gustafsson J.","year":"2009","unstructured":"J. Gustafsson , A. Ermedahl , B. Lisper , C. Sandberg , and L. Kallberg . ALF - a language for WCET flow analysis. In N. Holsti, editor , Proc. 9th International Workshop on Worst-Case Execution Time Analysis (WCET09) . OCG, June 2009 . J. Gustafsson, A. Ermedahl, B. Lisper, C. Sandberg, and L. Kallberg. ALF - a language for WCET flow analysis. In N. Holsti, editor, Proc. 9th International Workshop on Worst-Case Execution Time Analysis (WCET09). OCG, June 2009."},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. 10th International Workshop on Worst-Case Execution Time Analysis","author":"Gustafsson J.","year":"2010","unstructured":"J. Gustafsson , A. Betts , A. Ermedahl , and B. Lisper . The M\u00e4lardalen WCET benchmarks - past, present and future . In Proc. 10th International Workshop on Worst-Case Execution Time Analysis , July 2010 . URL http:\/\/www.es.mdh.se\/publications\/1895-. J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper. The M\u00e4lardalen WCET benchmarks - past, present and future. In Proc. 10th International Workshop on Worst-Case Execution Time Analysis, July 2010. URL http:\/\/www.es.mdh.se\/publications\/1895-."},{"key":"e_1_3_2_1_19_1","volume-title":"Oct.","author":"Gustafsson J.","year":"2011","unstructured":"J. Gustafsson , A. Ermedahl , and B. Lisper . ALF (ARTIST2 language for flow analysis) specification. Technical report , Oct. 2011 . URL http:\/\/www.es.mdh.se\/publications\/1138-. J. Gustafsson, A. Ermedahl, and B. Lisper. ALF (ARTIST2 language for flow analysis) specification. Technical report, Oct. 2011. URL http:\/\/www.es.mdh.se\/publications\/1138-."},{"key":"e_1_3_2_1_20_1","first-page":"70","volume-title":"Software Focus","author":"Harman M.","year":"1997","unstructured":"M. Harman , D. Binkley , and S. Danicic . Amorphous program slicing . In Software Focus , pages 70 -- 79 . IEEE Computer Society Press , 1997 . M. Harman, D. Binkley, and S. Danicic. Amorphous program slicing. In Software Focus, pages 70--79. IEEE Computer Society Press, 1997."},{"key":"e_1_3_2_1_21_1","volume-title":"Theory and algorithms for slicing unstructured programs. Information and Software Technology, (7):549--565","author":"Harman M.","year":"2006","unstructured":"M. Harman , A. Lakhotia , and D. Binkley . Theory and algorithms for slicing unstructured programs. Information and Software Technology, (7):549--565 , 2006 . M. Harman, A. Lakhotia, and D. Binkley. Theory and algorithms for slicing unstructured programs. Information and Software Technology, (7):549--565, 2006."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233147"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.53994"},{"key":"e_1_3_2_1_24_1","first-page":"220","volume-title":"Proc. 12th Annual International Computer Software and Applications Conference, COMPSAC'88","author":"Hawang C. R. C. J. C.","year":"1988","unstructured":"C. R. C. J. C. Hawang , M. W. Du . Finding program slices for recursive procedures . In Proc. 12th Annual International Computer Software and Applications Conference, COMPSAC'88 , pages 220 -- 227 , Chicago , 1988 . C. R. C. J. C. Hawang, M. W. Du. Finding program slices for recursive procedures. In Proc. 12th Annual International Computer Software and Applications Conference, COMPSAC'88, pages 220--227, Chicago, 1988."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195281"},{"key":"e_1_3_2_1_26_1","first-page":"182","volume-title":"Proceedings, Conference on Software Maintenance","author":"Jiang J.","year":"1991","unstructured":"J. Jiang , X. Zhou , and D. J. Robson . Program slicing for C -- the problems in implementation . In Proceedings, Conference on Software Maintenance 1991 , pages 182 -- 190 , Sorrento, Italy, Oct . 15--17, 1991. IEEE Computer Society Press . J. Jiang, X. Zhou, and D. J. Robson. Program slicing for C -- the problems in implementation. In Proceedings, Conference on Software Maintenance 1991, pages 182--190, Sorrento, Italy, Oct. 15--17, 1991. IEEE Computer Society Press."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/645370.651304"},{"key":"e_1_3_2_1_30_1","volume-title":"Using tracing and dynamic slicing to tune compilers. Technical report","author":"Larus J. R.","year":"1993","unstructured":"J. R. Larus , S. Ch , and R. Y. Using tracing and dynamic slicing to tune compilers. Technical report , University of Wisconsin Computer Sciences Department , 1993 . J. R. Larus, S. Ch, and R. Y. Using tracing and dynamic slicing to tune compilers. Technical report, University of Wisconsin Computer Sciences Department, 1993."},{"key":"e_1_3_2_1_31_1","first-page":"77","volume-title":"Proc. Third International Workshop on Worst-Case Execution Time (WCET) Analysis","author":"Lisper B.","year":"2003","unstructured":"B. Lisper . Fully automatic , parametric worst-case execution time analysis. In J. Gustafsson, editor , Proc. Third International Workshop on Worst-Case Execution Time (WCET) Analysis , pages 77 -- 80 , July 2003 . B. Lisper. Fully automatic, parametric worst-case execution time analysis. In J. Gustafsson, editor, Proc. Third International Workshop on Worst-Case Execution Time (WCET) Analysis, pages 77--80, July 2003."},{"key":"e_1_3_2_1_32_1","first-page":"482","volume-title":"Proc. 6th International Symposium on Leveraging Applications of Formal Methods (ISOLA'14)","author":"Lisper B.","year":"2014","unstructured":"B. Lisper . SWEET -- a tool for WCET flow analysis. In B. Steffen, editor , Proc. 6th International Symposium on Leveraging Applications of Formal Methods (ISOLA'14) , lncs, pages 482 -- 485 , Korfu, Greece, oct 2014 . Springer-Verlag. B. Lisper. SWEET -- a tool for WCET flow analysis. In B. Steffen, editor, Proc. 6th International Symposium on Leveraging Applications of Formal Methods (ISOLA'14), lncs, pages 482--485, Korfu, Greece, oct 2014. Springer-Verlag."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"Nielson F.","year":"1999","unstructured":"F. Nielson , H. R. Nielson , and C. Hankin . Principles of Program Analysis . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 1999 . ISBN 3540654100. F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1999. ISBN 3540654100."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/390011.808263"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460299.1460314"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93900-9_24"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195287"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134650.1134666"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_42_1","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip F.","year":"1995","unstructured":"F. Tip . A survey of program slicing techniques . Journal of Programming Languages , 3 : 121 -- 189 , 1995 . F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3:121--189, 1995.","journal-title":"Journal of Programming Languages"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113455"},{"key":"e_1_3_2_1_44_1","first-page":"439","volume-title":"Proc. 5th International Conference on Software Engineering, ICSE '81","author":"Weiser M.","year":"1981","unstructured":"M. Weiser . Program slicing. In Proc. 5th International Conference on Software Engineering, ICSE '81 , pages 439 -- 449 , Piscataway, NJ, USA , 1981 . IEEE Press. M. Weiser. Program slicing. In Proc. 5th International Conference on Software Engineering, ICSE '81, pages 439--449, Piscataway, NJ, USA, 1981. IEEE Press."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(83)90052-2"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1050849.1050865"}],"event":{"name":"POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Mumbai India","acronym":"POPL '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2678015.2682538","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2678015.2682538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:52Z","timestamp":1750227172000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2678015.2682538"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,13]]},"references-count":46,"alternative-id":["10.1145\/2678015.2682538","10.1145\/2678015"],"URL":"https:\/\/doi.org\/10.1145\/2678015.2682538","relation":{},"subject":[],"published":{"date-parts":[[2015,1,13]]},"assertion":[{"value":"2015-01-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}