Bits and pieces of the theory of institutions
Proceedings of a tutorial and workshop on Category theory and computer programming
Models and equality for logical programming
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Journal of the ACM (JACM)
Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories
Theoretical Computer Science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
On pushout consistency, modularity and interpolation for logical specifications
Information Processing Letters
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
On a generalized modularization theorem
Information Processing Letters - Special issue analytical theory of fuzzy control with applications
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generalized interpolation in CASL
Information Processing Letters
Logical systems for structured specifications
Theoretical Computer Science
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Category-based constraint logic
Mathematical Structures in Computer Science
Interpolation in Grothendieck institutions
Theoretical Computer Science
Herbrand theorems in arbitrary institutions
Information Processing Letters
Elementary Diagrams in Institutions
Journal of Logic and Computation
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Institution-independent Model Theory
Institution-independent Model Theory
Theorem proving with structured theories
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
State of the union: type inference via Craig interpolation
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Applications of craig interpolants in model checking
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |
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.