Skip to main content
Conference Proceedings

Semantical analysis of specification logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1985) 193 LNCS 373-386
DOI: 10.1007/3-540-15648-8_28
5Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.
Get full text

Abstract

A new interpretation of the specification logic of J.C. Reynolds as an intuitionistic theory is presented. The main features are a functorial treatment of storage structure due to Reynolds and Oles, and the use of a topos-theoretic construction to interpret specification formulas.

Cite

CITATION STYLE

APA

Tennent, R. D. (1985). Semantical analysis of specification logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 193 LNCS, pp. 373–386). Springer Verlag. https://doi.org/10.1007/3-540-15648-8_28

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free