{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T16:57:40Z","timestamp":1772038660224,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:00:00Z","timestamp":1565568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011322","name":"General Motors of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100011322","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,12]]},"DOI":"10.1145\/3338906.3338928","type":"proceedings-article","created":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T12:21:03Z","timestamp":1565353263000},"page":"39-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Lifting Datalog-based analyses to software product lines"],"prefix":"10.1145","author":[{"given":"Ramy","family":"Shahin","sequence":"first","affiliation":[{"name":"University of Toronto, Canada"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]},{"given":"Rick","family":"Salay","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]}],"member":"320","published-online":{"date-parts":[[2019,8,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1926458.1926471"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273923"},{"key":"e_1_3_2_1_3_1","unstructured":"Nikolaj Bj\u00f8rner Arie Gurfinkel Ken McMillan and Andrey Rybalchenko. 2015.  Nikolaj Bj\u00f8rner Arie Gurfinkel Ken McMillan and Andrey Rybalchenko. 2015."},{"key":"e_1_3_2_1_4_1","unstructured":"Horn Clause Solvers for Program Verification. Springer International Publishing Cham 24\u201351. 3- 319- 23534- 9_2  Horn Clause Solvers for Program Verification. Springer International Publishing Cham 24\u201351. 3- 319- 23534- 9_2"},{"key":"e_1_3_2_1_5_1","unstructured":"Eric Bodden T\u00e1rsis Tol\u00eado M\u00e1rcio Ribeiro Claus Brabrand Paulo Borba and Mira Mezini. 2013.  Eric Bodden T\u00e1rsis Tol\u00eado M\u00e1rcio Ribeiro Claus Brabrand Paulo Borba and Mira Mezini. 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491976"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162052"},{"key":"e_1_3_2_1_8_1","unstructured":"Martin Bravenboer and Yannis Smaragdakis. 2009.  Martin Bravenboer and Yannis Smaragdakis. 2009."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_12_1","unstructured":"10\n   .1109\/TSE.2012.86  10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_14_1","volume-title":"Warren","author":"Dawson Steven","year":"1996","unstructured":"Steven Dawson , C. R. Ramakrishnan , and David S . Warren . 1996 . Steven Dawson, C. R. Ramakrishnan, and David S. Warren. 1996."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231399"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254103"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133926"},{"key":"e_1_3_2_1_18_1","unstructured":"Sergio Greco and Cristian Molinaro. 2016.  Sergio Greco and Cristian Molinaro. 2016."},{"key":"e_1_3_2_1_19_1","unstructured":"Datalog and Logic Databases. Morgan & Claypool.  Datalog and Logic Databases. Morgan & Claypool."},{"key":"e_1_3_2_1_20_1","unstructured":"Michael Huth and Mark Ryan. 2004.  Michael Huth and Mark Ryan. 2004."},{"key":"e_1_3_2_1_21_1","volume-title":"Logic in Computer Science","unstructured":"Logic in Computer Science ( 2 nd ed.). Cambridge University Press . Logic in Computer Science (2nd ed.). Cambridge University Press.","edition":"2"},{"key":"e_1_3_2_1_22_1","volume-title":"Souffl\u00e9: On Synthesis of Program Analyzers","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan , Bernhard Scholz , and Pavle Suboti\u0107 . 2016 . Souffl\u00e9: On Synthesis of Program Analyzers . In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing , Cham , 422\u2013430. Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. 2016. Souffl\u00e9: On Synthesis of Program Analyzers. In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing, Cham, 422\u2013430."},{"key":"e_1_3_2_1_23_1","unstructured":"Christian K\u00e4stner Sven Apel Thomas Th\u00fcm and Gunter Saake. 2012.  Christian K\u00e4stner Sven Apel Thomas Th\u00fcm and Gunter Saake. 2012."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_25_1","volume-title":"Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach","author":"K\u00e4stner Christian","unstructured":"Christian K\u00e4stner , Sven Apel , Salvador Trujillo , Martin Kuhlemann , and Don Batory . 2009. Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach . In Objects, Components, Models and Patterns, Manuel Oriol and Bertrand Meyer (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 175\u2013194. Christian K\u00e4stner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, and Don Batory. 2009. Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. In Objects, Components, Models and Patterns, Manuel Oriol and Bertrand Meyer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 175\u2013194."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.04.005"},{"key":"e_1_3_2_1_31_1","unstructured":"Thomas Reps Susan Horwitz and Mooly Sagiv. 1995.  Thomas Reps Susan Horwitz and Mooly Sagiv. 1995."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568267"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"},{"issue":"2","key":"e_1_3_2_1_35_1","first-page":"0","article-title":"CUDD","volume":"2","author":"Somenzi Fabio","year":"1998","unstructured":"Fabio Somenzi . 1998 . CUDD : CU Decision Diagram Package Release 2 . 2 . 0 . (06 1998). Fabio Somenzi. 1998. CUDD: CU Decision Diagram Package Release 2.2.0. (06 1998).","journal-title":"CU Decision Diagram Package Release"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"}],"event":{"name":"ESEC\/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Tallinn Estonia","acronym":"ESEC\/FSE '19","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338928","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3338928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:20Z","timestamp":1750206380000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,12]]},"references-count":36,"alternative-id":["10.1145\/3338906.3338928","10.1145\/3338906"],"URL":"https:\/\/doi.org\/10.1145\/3338906.3338928","relation":{},"subject":[],"published":{"date-parts":[[2019,8,12]]},"assertion":[{"value":"2019-08-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}