Modularisation, parameterisation, interpolation
Publication date
1988-01
Authors
Renardel de Lavalette, G.R.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
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.
Keywords
modularisation, parameterisation, logical semantics, interpolation, equational logic, inductive definitions, infinitary logic