Article contents
Interpolation for predefined types
Published online by Cambridge University Press: 31 August 2011
Abstract
We give a logic-independent semantics for predefined (data) types within the categorical abstract model theoretic framework of the theory of institutions. We develop a generic interpolation result for this semantics, which can be easily applied to various concrete situations from the theory and practice of specification and programming. Our study of interpolation is motivated by a number of important applications to computing science, especially in the area of structured specifications.
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2011
References
- 6
- Cited by