TY - RPRT TI - Lifting Datalog-Based Analyses to Software Product Lines AU - Ramy Shahin AU - Marsha Chechik AU - Rick Salay PY - 2019 DO - 10.1145/3338906.3338928 UR - https://arxiv.org/abs/1907.02192 ID - 1907.02192 ER -