José Sánchez, Gary T. Leavens. Reasoning tradeoffs in languages with enhanced modularity features. In Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki, editors, Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, Málaga, Spain, March 14 - 18, 2016. pages 13-24, ACM, 2016. [doi]
Abstract is missing.