The paper introduces a notion of a context institution. The notion is explicitly illustrated by two standard examples. Morphism between context institutions are introduced, thus yielding a category of context institutions. Some expected constructions on context institutions are presented as functors from this category. The potential usefulness of these notions is illustrated by one such a construction, yielding a Hoare logic for an arbitrary small context institution satisfying mild extra assumptions.
CITATION STYLE
Pawłowski, W. (1996). Context institutions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1130, pp. 437–457). Springer Verlag. https://doi.org/10.1007/3-540-61629-2_57
Mendeley helps you to discover research relevant for your work.