Jan Midtgaard, Claus Brabrand, Andrzej Wasowski. Systematic derivation of static analyses for software product lines. In Walter Binder, Erik Ernst, Achille Peternier, Robert Hirschfeld, editors, 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014. pages 181-192, ACM, 2014. [doi]
Abstract is missing.