Semantical analysis of specification logic
type: Item
instance of: scholarly article
title: Semantical analysis of specification logic
zbMATH Open document ID: 0699.68110
DOI: 10.1016/0890-5401(90)90045-J
published in: Information and Computation
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 4147556
zbMATH Keywords: programming logic
zbMATH Keywords: verification
zbMATH Keywords: specification
author: Robert D. Tennent
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
cites work: On the completeness of the inductive assertion method
cites work: Q3899466
cites work: Q4342084
cites work: Expressiveness and the completeness of Hoare's logic
cites work: Program proving: KJumps and functions
cites work: Soundness and Completeness of an Axiom System for Program Verification
cites work: Logic and structure.
cites work: Q4133603
cites work: Axiomatising the logic of computer programming
cites work: Topoi. The categorial analysis of logic
cites work: Assignment and Procedure Call Proof Rules
cites work: An axiomatic basis for computer programming
cites work: Q5626277
cites work: Proof of correctness of data representations
cites work: Consistent and complementary formal theories of the semantics of programming languages
cites work: Q5509675
cites work: Q3727946
cites work: Undecidability and intuitionistic incompleteness
cites work: Q3221388
cites work: An application of lattice theory to knowledge representation
cites work: Q3719794
cites work: Non-standard algorithmic and dynamic logic
cites work: Semantics of the Domain of Flow Diagrams
cites work: Q5585029
cites work: Q3932278
cites work: Q3208629
cites work: Q3678649
cites work: Q4040912
cites work: Q3707398
cites work: Q3347263
cites work: A New Incompleteness Result for Hoare's System
full work available at URL: 0890-5401(90)90045-j
OpenAlex ID: W2099487986
description: scientific article; zbMATH DE number 4147556