Product lines of theorems

Benjamin Delaware, William R. Cook, Don S. Batory. Product lines of theorems. In Cristina Videira Lopes, Kathleen Fisher, editors, Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011. pages 595-608, ACM, 2011. [doi]

Abstract

Abstract is missing.