Reusable specification modules for type analysis

Uwe Kastens, William M. Waite. Reusable specification modules for type analysis. Software: Practice and Experience, 39(9):833-864, 2009. [doi]

Abstract

Abstract is missing.