Semantical analysis of specification logic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3650529 (Why is no real title available?)
- scientific article; zbMATH DE number 3888900 (Why is no real title available?)
- scientific article; zbMATH DE number 3890703 (Why is no real title available?)
- scientific article; zbMATH DE number 3900131 (Why is no real title available?)
- scientific article; zbMATH DE number 3936506 (Why is no real title available?)
- scientific article; zbMATH DE number 3949678 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3707731 (Why is no real title available?)
- scientific article; zbMATH DE number 3748394 (Why is no real title available?)
- scientific article; zbMATH DE number 194122 (Why is no real title available?)
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 1028821 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3303661 (Why is no real title available?)
- scientific article; zbMATH DE number 3351184 (Why is no real title available?)
- A New Incompleteness Result for Hoare's System
- An application of lattice theory to knowledge representation
- An axiomatic basis for computer programming
- Assignment and Procedure Call Proof Rules
- Axiomatising the logic of computer programming
- Consistent and complementary formal theories of the semantics of programming languages
- Expressiveness and the completeness of Hoare's logic
- Logic and structure.
- Non-standard algorithmic and dynamic logic
- On the completeness of the inductive assertion method
- Program proving: KJumps and functions
- Proof of correctness of data representations
- Semantics of the Domain of Flow Diagrams
- Soundness and Completeness of an Axiom System for Program Verification
- Topoi. The categorial analysis of logic
- Undecidability and intuitionistic incompleteness
Cited in
(22)- Automata-theoretic semantics of idealized Algol with passive expressions
- scientific article; zbMATH DE number 4003496 (Why is no real title available?)
- Monoidal indeterminates and categories of possible worlds
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
- An observationally complete program logic for imperative higher-order functions
- scientific article; zbMATH DE number 3878342 (Why is no real title available?)
- A system-level game semantics
- Monoidal indeterminates and categories of possible worlds
- Objects and classes in Algol-like languages
- Universal Properties in Quantum Theory
- Semantical analysis of specification logic. II
- Effect algebras, presheaves, non-locality and contextuality
- scientific article; zbMATH DE number 177268 (Why is no real title available?)
- Continuations in possible-world semantics
- Programming Languages and Systems
- Full abstraction for the second order subset of an Algol-like language
- Note on Algol and conservatively extending functional programming
- scientific article; zbMATH DE number 3936506 (Why is no real title available?)
- A set-theoretic semantics for Clear
- scientific article; zbMATH DE number 3938560 (Why is no real title available?)
- A model for syntactic control of interference
- Predicate transformers and higher-order programs
This page was built for publication: Semantical analysis of specification logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q913527)
