Product lines of theorems.

Benjamin Delaware, William R. Cook, Don S. Batory

Browse the full OOPSLA paper archive.