General correctness: A unification of partial and total correctness
From MaRDI portal
Publication:2265798
Recommendations
- Unifying Recursion in Partial, Total and General Correctness
- Partial, total and general correctness
- Formalising general correctness
- Total correctness in nonstandard logics of programs
- General correctness algebra
- scientific article; zbMATH DE number 1531378
- An elementary and unified approach to program correctness
- Junctive compositions of specifications in total and general correctness
- Partial correctness: The term-wise approach
- Some general incompleteness results for partial correctness logics
Cites work
- scientific article; zbMATH DE number 3662551 (Why is no real title available?)
- scientific article; zbMATH DE number 3740740 (Why is no real title available?)
- scientific article; zbMATH DE number 3757681 (Why is no real title available?)
- scientific article; zbMATH DE number 3532506 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- A Powerdomain Construction
- A characterization of weakest preconditions
- A logic covering undefinedness in program proofs
- A simple relation between relational and predicate transformer semantics for nondeterministic programs
- Consistent and complementary formal theories of the semantics of programming languages
- General correctness: A unification of partial and total correctness
- Nondeterministic Algorithms
- On the total correctness of nondeterministic programs
- Predicative programming Part I
- Some Properties of Predicate Transformers
Cited in
(33)- Lifting General Correctness into Partial Correctness is ok
- scientific article; zbMATH DE number 1531378 (Why is no real title available?)
- Multirelations with infinite computations
- scientific article; zbMATH DE number 2052653 (Why is no real title available?)
- Fixpoints for general correctness
- Partial correctness for probabilistic demonic programs
- Combining angels, demons and miracles in program specifications
- Predicate transformers as power operations
- Towards reasoning about Hoare relations
- Relational mathematics for relative correctness
- Algebras for iteration and infinite computations
- An Inductive Theorem on the Correctness of General Recursive Programs
- A calculus of refinements for program derivations
- General correctness algebra
- Partial, total and general correctness
- Reasoning about loops in total and general correctness
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Unifying correctness statements
- Correctness of the formal generalized net project of the connections between procedural program functions
- General correctness: A unification of partial and total correctness
- Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm
- Unifying theories of programming that distinguish nontermination and abort
- Junctive compositions of specifications in total and general correctness
- Of wlp and CSP
- Infinite executions of lazy and strict computations
- scientific article; zbMATH DE number 3902002 (Why is no real title available?)
- Partial correctness: The term-wise approach
- Formalising general correctness
- Dual unbounded nondeterminacy, recursion, and fixpoints
- scientific article; zbMATH DE number 3921953 (Why is no real title available?)
- Predicate-transformer semantics of general recursion
- Unifying Recursion in Partial, Total and General Correctness
- Abstract commands: A uniform notation for specification and implementation
This page was built for publication: General correctness: A unification of partial and total correctness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2265798)
