{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:28Z","timestamp":1772164048016,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,16]],"date-time":"2013-06-16T00:00:00Z","timestamp":1371340800000},"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":[[2013,6,16]]},"DOI":"10.1145\/2491956.2491976","type":"proceedings-article","created":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T12:03:50Z","timestamp":1370952230000},"page":"355-364","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":63,"title":["SPL\n                    <sup>LIFT<\/sup>"],"prefix":"10.1145","author":[{"given":"Eric","family":"Bodden","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}]},{"given":"T\u00e1rsis","family":"Tol\u00eado","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}]},{"given":"M\u00e1rcio","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Federal University of Alagoas, Macei\u00f3, Brazil"}]},{"given":"Claus","family":"Brabrand","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen, Copenhagen, Denmark"}]},{"given":"Paulo","family":"Borba","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}]},{"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}]}],"member":"320","published-online":{"date-parts":[[2013,6,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001442"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348255"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449792"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353189"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806805"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542431.1542443"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.63"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_20"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_36"},{"key":"e_1_3_2_1_11_1","first-page":"131","volume-title":"Precise interprocedural dataflow analysis with applications to constant propagation,\" in TAPSOFT'95","author":"Sagiv M.","year":"1996","unstructured":"M. Sagiv , T. Reps , and S. Horwitz , \" Precise interprocedural dataflow analysis with applications to constant propagation,\" in TAPSOFT'95 , 1996 , pp. 131 -- 170 . M. Sagiv, T. Reps, and S. Horwitz, \"Precise interprocedural dataflow analysis with applications to constant propagation,\" in TAPSOFT'95, 1996, pp. 131--170."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.6.c5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259051.2259052"},{"key":"e_1_3_2_1_15_1","first-page":"125","article-title":"Soot - a Java optimization framework","volume":"1999","author":"Vall\u00e9e-Rai R.","year":"1999","unstructured":"R. Vall\u00e9e-Rai , L. Hendren , V. Sundaresan , P. Lam , E. Gagnon , and P. Co , \" Soot - a Java optimization framework ,\" in Proceedings of CASCON 1999 , 1999 , pp. 125 -- 135 . {Online}. Available: www.sable.mcgill.ca\/publications\\BIBentrySTDinterwordspacing R. Vall\u00e9e-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co, \"Soot - a Java optimization framework,\" in Proceedings of CASCON 1999, 1999, pp. 125--135. {Online}. Available: www.sable.mcgill.ca\/publications\\BIBentrySTDinterwordspacing","journal-title":"Proceedings of CASCON"},{"key":"e_1_3_2_1_16_1","volume-title":"Universit\\\"at Magdeburg","author":"K\u00e4stner C.","year":"2010","unstructured":"C. K\u00e4stner , \"Virtual separation of concerns,\" Ph. D. dissertation , Universit\\\"at Magdeburg , 2010 . C. K\u00e4stner, \"Virtual separation of concerns,\" Ph.D. dissertation, Universit\\\"at Magdeburg, 2010."},{"key":"e_1_3_2_1_17_1","unstructured":"\"The Eclipse IDE \" http:\/\/eclipse.org\/.  \"The Eclipse IDE \" http:\/\/eclipse.org\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2336717.2336723"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960299"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2892-7","volume-title":"phBinary decision diagrams: theory and implementation Springer","author":"Drechsler R.","year":"1998","unstructured":"R. Drechsler and B. Becker , phBinary decision diagrams: theory and implementation Springer , 1998 . R. Drechsler and B. Becker, phBinary decision diagrams: theory and implementation Springer, 1998."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","first-page":"1075","volume-title":"Weighted pushdown systems and their application to interprocedural dataflow analysis,\" in Static Analysis","author":"Reps T.","year":"2003","unstructured":"T. Reps , S. Schwoon , and S. Jha , \" Weighted pushdown systems and their application to interprocedural dataflow analysis,\" in Static Analysis , ser. Lecture Notes in Computer Science , R. Cousot, Ed. Springer Berlin \/ Heidelberg , 2003 , vol. 2694 , pp. 1075 -- 1075 . T. Reps, S. Schwoon, and S. Jha, \"Weighted pushdown systems and their application to interprocedural dataflow analysis,\" in Static Analysis, ser. Lecture Notes in Computer Science, R. Cousot, Ed. Springer Berlin \/ Heidelberg, 2003, vol. 2694, pp. 1075--1075."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162052"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_27_1","unstructured":"\"Typechef analysis engine \" http:\/\/ckaestne.github.com\/TypeChef\/.  \"Typechef analysis engine \" http:\/\/ckaestne.github.com\/TypeChef\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.36"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.45"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939424"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960284"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_19"},{"key":"e_1_3_2_1_37_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-642-15579-6_16","volume-title":"Avoiding redundant testing in application engineering,\" in Software Product Lines: Going Beyond","author":"Stricker V.","year":"2010","unstructured":"V. Stricker , A. Metzger , and K. Pohl , \" Avoiding redundant testing in application engineering,\" in Software Product Lines: Going Beyond , ser. Lecture Notes in Computer Science , J. Bosch and J. Lee, Eds. Springer Berlin \/ Heidelberg , 2010 , vol. 6287 , pp. 226 -- 240 . V. Stricker, A. Metzger, and K. Pohl, \"Avoiding redundant testing in application engineering,\" in Software Product Lines: Going Beyond, ser. Lecture Notes in Computer Science, J. Bosch and J. Lee, Eds. Springer Berlin \/ Heidelberg, 2010, vol. 6287, pp. 226--240."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379690"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989451"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/277830.277874"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869545"}],"event":{"name":"PLDI '13: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Seattle Washington USA","acronym":"PLDI '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491956.2491976","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491956.2491976","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:10Z","timestamp":1750221550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491956.2491976"}},"subtitle":["statically analyzing software product lines in minutes instead of years"],"short-title":[],"issued":{"date-parts":[[2013,6,16]]},"references-count":41,"alternative-id":["10.1145\/2491956.2491976","10.1145\/2491956"],"URL":"https:\/\/doi.org\/10.1145\/2491956.2491976","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2499370.2491976","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,6,16]]},"assertion":[{"value":"2013-06-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}