scientific article; zbMATH DE number 512961
From MaRDI portal
Publication:4281676
Recommendations
- scientific article; zbMATH DE number 194642
- A calculus of propositional properties of programs
- scientific article; zbMATH DE number 3965414
- Predicate abstraction in a program logic calculus
- Predicate Abstraction in a Program Logic Calculus
- A refinement calculus for logic programs
- Calculability and logic programs
- A calculus for the construction of modular prolog programs
- A calculus of refinements for program derivations
- Automated Reasoning with Analytic Tableaux and Related Methods
Cited in
(21)- A calculus of refinements for program derivations
- Statement inversion and strongest postcondition
- Dijkstra-Scholten predicate calculus: Concepts and misconceptions
- Parallel composition and decomposition of specifications
- A core calculus for dynamic delta-oriented programming
- A relational calculus for program construction by parts
- Nondeterministic semantics of compound diagrams
- scientific article; zbMATH DE number 4016169 (Why is no real title available?)
- Towards a calculus of predicate transformers
- Predicative programming Part II
- scientific article; zbMATH DE number 3974258 (Why is no real title available?)
- Laws of programming
- scientific article; zbMATH DE number 4068249 (Why is no real title available?)
- A Weakest Precondition Semantics for Z
- scientific article; zbMATH DE number 194642 (Why is no real title available?)
- scientific article; zbMATH DE number 3999251 (Why is no real title available?)
- scientific article; zbMATH DE number 1390087 (Why is no real title available?)
- Composition of preimage condition construction in monotone Floyd-Hoare logics
- On the purpose of Event-B proof obligations
- Predicative specifications for functional programs describing communicating networks
- Kleene under a modal demonic star
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281676)
