Interpolation in computing science: the semantics of modularization

Gerard R. Renardel de Lavalette. Interpolation in computing science: the semantics of modularization. Synthese, 164(3):437-450, 2008. [doi]

Abstract

Abstract is missing.