Semantical analysis of specification logic
- 1 April 1990
- journal article
- Published by Elsevier in Information and Computation
- Vol. 85 (2) , 135-162
- https://doi.org/10.1016/0890-5401(90)90045-j
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Non-standard algorithmic and dynamic logicJournal of Symbolic Computation, 1986
- Expressiveness and the completeness of Hoare's logicJournal of Computer and System Sciences, 1982
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- Proof rules for gotosActa Informatica, 1979
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- A New Incompleteness Result for Hoare's SystemJournal of the ACM, 1978
- Semantics of the Domain of Flow DiagramsJournal of the ACM, 1977
- On the completeness of the inductive assertion methodJournal of Computer and System Sciences, 1975
- Consistent and complementary formal theories of the semantics of programming languagesActa Informatica, 1974
- An axiomatic basis for computer programmingCommunications of the ACM, 1969