Semantical analysis of specification logic. II

DOI10.1006/INCO.1993.1060MaRDI QIDQ1317433zbMATH OpenOpenAlexFDO

Authors Peter W. O'Hearn, Robert D. Tennent

Publication date 17 April 1994

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1993.1060

zbMATH Keywords

partial-correctness programssemantics of non- interferencespecification logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3936506
• Semantical analysis of specification logic
• Programming Languages and Systems
• scientific article; zbMATH DE number 3900131
• scientific article; zbMATH DE number 1058947

Cited in

(17)

• Monoidal indeterminates and categories of possible worlds
• Semantical analysis of specification logic
• scientific article; zbMATH DE number 3900131 (Why is no real title available?)
• A theory of indirection via approximation
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• scientific article; zbMATH DE number 3878342 (Why is no real title available?)
• scientific article; zbMATH DE number 2090133 (Why is no real title available?)
• Monoidal indeterminates and categories of possible worlds
• scientific article; zbMATH DE number 2172805 (Why is no real title available?)
• Programming Languages and Systems
• scientific article; zbMATH DE number 2087445 (Why is no real title available?)
• scientific article; zbMATH DE number 4058826 (Why is no real title available?)
• scientific article; zbMATH DE number 3936506 (Why is no real title available?)
• Semantics and reasoning with free procedures
• Semantic properties of monotone Floyd-Hoare logics
• scientific article; zbMATH DE number 3938560 (Why is no real title available?)
• Programming Languages and Systems

This page was built for publication: Semantical analysis of specification logic. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1317433)