Bits and pieces of the theory of institutions
Proceedings of a tutorial and workshop on Category theory and computer programming
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Structuring theories on consequence
Lecture notes in Computer Science on Recent trends in data type specification
Journal of the ACM (JACM)
Higher-order functions considered unnecessary for higher-order programming
Research topics in functional programming
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
On a generalized modularization theorem
Information Processing Letters - Special issue analytical theory of fuzzy control with applications
Generalized interpolation in CASL
Information Processing Letters
Logical systems for structured specifications
Theoretical Computer Science
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Category Theory and Computer Science
Axiomatizability in inclusive equational logics
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Interpolation in Grothendieck institutions
Theoretical Computer Science
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
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
A semantic account for modularity in multi-language modelling of search problems
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Comorphisms of structured institutions
Information Processing Letters
Parameterisation for abstract structured specifications
Theoretical Computer Science
Hi-index | 5.23 |
In this paper we develop an axiomatic approach to structured specifications in which both the underlying logical system and corresponding institution of the structured specifications are treated as abstract institutions, which means two levels of institution independence. This abstract axiomatic approach provides a uniform framework for the study of structured specifications independently from any actual choice of specification building operators, and moreover it unifies the theory and the model oriented approaches. Within this framework we develop concepts and results about 'abstract structured specifications' such as co-limits, model amalgamation, compactness, interpolation, sound and complete proof theory, and pushout-style parameterization with sharing, all of them in a top down manner dictated by the upper level of institution independence.