{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T21:01:38Z","timestamp":1762376498073,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T00:00:00Z","timestamp":1550275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,2,16]]},"DOI":"10.1145\/3302516.3307345","type":"proceedings-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T19:37:34Z","timestamp":1550173054000},"page":"53-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A static slicing method for functional programs and its incremental version"],"prefix":"10.1145","author":[{"given":"Prasanna Kumar","family":"K.","sequence":"first","affiliation":[{"name":"IIT Bombay, India"}]},{"given":"Amitabha","family":"Sanyal","sequence":"additional","affiliation":[{"name":"IIT Bombay, India"}]},{"given":"Amey","family":"Karkare","sequence":"additional","affiliation":[{"name":"IIT Kanpur, India"}]},{"given":"Saswat","family":"Padhi","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,2,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A survey of empirical results on program slicing. Advances in Computers 62","author":"Binkley David","year":"2004","unstructured":"David Binkley and Mark Harman . 2004. A survey of empirical results on program slicing. Advances in Computers 62 ( 2004 ). David Binkley and Mark Harman. 2004. A survey of empirical results on program slicing. Advances in Computers 62 (2004)."},{"key":"e_1_3_2_1_2_1","unstructured":"Sandip Kumar Biswas. 1997.  Sandip Kumar Biswas. 1997."},{"volume-title":"University of Pennsylvania","author":"der Programming Languages Dynamic Slicing","key":"e_1_3_2_1_3_1","unstructured":"Dynamic Slicing in Higher-or der Programming Languages . Ph.D. Dissertation . University of Pennsylvania , Philadelphia, PA, USA . Dynamic Slicing in Higher-order Programming Languages. Ph.D. Dissertation. University of Pennsylvania, Philadelphia, PA, USA."},{"key":"e_1_3_2_1_4_1","first-page":"29","article-title":"The Principal Type-Scheme of an Object in Combinatory","volume":"146","author":"Hindley R.","year":"1969","unstructured":"R. Hindley . 1969 . The Principal Type-Scheme of an Object in Combinatory Logic. Trans. Amer. Math. Soc. 146 (1969), 29 \u2013 60 . http:\/\/www.jstor.org\/stable\/1995158 R. Hindley. 1969. The Principal Type-Scheme of an Object in Combinatory Logic. Trans. Amer. Math. Soc. 146 (1969), 29\u201360. http:\/\/www.jstor.org\/stable\/1995158","journal-title":"Logic. Trans. Amer. Math. Soc."},{"key":"e_1_3_2_1_5_1","unstructured":"Prasanna Kumar K. 2019.  Prasanna Kumar K. 2019."},{"key":"e_1_3_2_1_6_1","unstructured":"Dependence Analysis of Functional Programs and its Applications. Ph.D. Dissertation. Indian Institute of Technology Bombay Mumbai India.  Dependence Analysis of Functional Programs and its Applications. Ph.D. Dissertation. Indian Institute of Technology Bombay Mumbai India."},{"key":"e_1_3_2_1_7_1","unstructured":"Amey Karkare Uday Khedker and Amitabha Sanyal. 2007.  Amey Karkare Uday Khedker and Amitabha Sanyal. 2007."},{"volume-title":"Heap Data for Functional Programs. In Heap Analysis and Verification Workshop.","author":"Liveness","key":"e_1_3_2_1_8_1","unstructured":"Liveness of Heap Data for Functional Programs. In Heap Analysis and Verification Workshop. Liveness of Heap Data for Functional Programs. In Heap Analysis and Verification Workshop."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00134-X"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596641"},{"volume-title":"Robustness in Language and Speech Technology","author":"Mohri Mehryar","key":"e_1_3_2_1_12_1","unstructured":"Mehryar Mohri and Mark-Jan Nederhof . 2000. Regular Approximation of Context-Free Grammars through Transformation . In Robustness in Language and Speech Technology . Kluwer Academic Publishers . Mehryar Mohri and Mark-Jan Nederhof. 2000. Regular Approximation of Context-Free Grammars through Transformation. In Robustness in Language and Speech Technology. Kluwer Academic Publishers."},{"key":"e_1_3_2_1_13_1","unstructured":"NoFib. 2019.  NoFib. 2019."},{"key":"e_1_3_2_1_14_1","unstructured":"Haskell Benchmark Suite. http:\/\/git.haskell.org\/nofib.git. (Last accessed).  Haskell Benchmark Suite. http:\/\/git.haskell.org\/nofib.git. (Last accessed)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-008-9023-7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364579"},{"key":"e_1_3_2_1_17_1","unstructured":"Simon L. Peyton-Jones. 1987.  Simon L. Peyton-Jones. 1987."},{"key":"e_1_3_2_1_18_1","unstructured":"The Implementation of Functional Programming Languages. Prentice-Hall.  The Implementation of Functional Programming Languages. Prentice-Hall."},{"key":"e_1_3_2_1_19_1","unstructured":"Benjamin C. Pierce. 2002.  Benjamin C. Pierce. 2002."},{"edition":"1","volume-title":"Types and Programming Languages","key":"e_1_3_2_1_20_1","unstructured":"Types and Programming Languages ( 1 st ed.). The MIT Press . Types and Programming Languages (1st ed.). The MIT Press."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345137"},{"key":"e_1_3_2_1_22_1","volume-title":"Reps and Todd Turnidge","author":"Thomas","year":"1996","unstructured":"Thomas W. Reps and Todd Turnidge . 1996 . Program Specialization via Program Slicing. In Partial Evaluation, International Seminar, Dagstuhl Castle, Germany . Thomas W. Reps and Todd Turnidge. 1996. Program Specialization via Program Slicing. In Partial Evaluation, International Seminar, Dagstuhl Castle, Germany."},{"key":"e_1_3_2_1_23_1","volume-title":"Barbosa","author":"Rodrigues Nuno F.","year":"2006","unstructured":"Nuno F. Rodrigues and Luis S . Barbosa . 2006 . Component Identification Through Program Slicing. Electronic Notes in Theoretical Computer Science 160 (2006). Nuno F. Rodrigues and Luis S. Barbosa. 2006. Component Identification Through Program Slicing. Electronic Notes in Theoretical Computer Science 160 (2006)."},{"key":"e_1_3_2_1_24_1","volume-title":"Barbosa","author":"Rodrigues Nuno F.","year":"2006","unstructured":"Nuno F. Rodrigues and Luis S . Barbosa . 2006 . Program Slicing by Calculation. Journal of Universal Computer Science ( 2006). Nuno F. Rodrigues and Luis S. Barbosa. 2006. Program Slicing by Calculation. Journal of Universal Computer Science (2006)."},{"key":"e_1_3_2_1_25_1","unstructured":"Amr Sabry and Matthias Felleisen. 1992.  Amr Sabry and Matthias Felleisen. 1992."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/141478.141563"},{"key":"e_1_3_2_1_27_1","unstructured":"Josep Silva. 2012.  Josep Silva. 2012."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187674"},{"key":"e_1_3_2_1_29_1","unstructured":"Josep Silva Salvador Tamarit and C\u00e9sar Tom\u00e1s. 2012.  Josep Silva Salvador Tamarit and C\u00e9sar Tom\u00e1s. 2012."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_33"},{"key":"e_1_3_2_1_31_1","volume-title":"A Survey of Program Slicing Techniques. Journal of Programming Languages 3","author":"Tip Frank","year":"1995","unstructured":"Frank Tip . 1995. A Survey of Program Slicing Techniques. Journal of Programming Languages 3 ( 1995 ). Frank Tip. 1995. A Survey of Program Slicing Techniques. Journal of Programming Languages 3 (1995)."}],"event":{"name":"CC '19: 28th International Conference on Compiler Construction","acronym":"CC '19","location":"Washington DC USA"},"container-title":["Proceedings of the 28th International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302516.3307345","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302516.3307345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:55Z","timestamp":1750204435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302516.3307345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,16]]},"references-count":31,"alternative-id":["10.1145\/3302516.3307345","10.1145\/3302516"],"URL":"https:\/\/doi.org\/10.1145\/3302516.3307345","relation":{},"subject":[],"published":{"date-parts":[[2019,2,16]]},"assertion":[{"value":"2019-02-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}