Modularisation, parameterisation, interpolation

DSpace/Manakin Repository

Modularisation, parameterisation, interpolation
 
Renardel de Lavalette, G.R.
(1988) Logic Group Preprint Series, volume 32
(Preprint)
Abstract
We consider modularisation and parameterisation, two important structuring principles used in software design. Closer study of the logical semantics of these principle leads to the Interpolation Theorem.
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: modularisation, parameterisation, logical semantics, interpolation, equational logic, inductive definitions, infinitary logic
 
 
See more statistics about this item