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
(19)- Nondeterministic semantics of compound diagrams
- scientific article; zbMATH DE number 3974258 (Why is no real title available?)
- On the purpose of Event-B proof obligations
- scientific article; zbMATH DE number 194642 (Why is no real title available?)
- Statement inversion and strongest postcondition
- Kleene under a modal demonic star
- Predicative programming Part II
- Predicative specifications for functional programs describing communicating networks
- scientific article; zbMATH DE number 1390087 (Why is no real title available?)
- A core calculus for dynamic delta-oriented programming
- A calculus of refinements for program derivations
- scientific article; zbMATH DE number 3999251 (Why is no real title available?)
- Composition of preimage condition construction in monotone Floyd-Hoare logics
- Towards a calculus of predicate transformers
- scientific article; zbMATH DE number 4016169 (Why is no real title available?)
- scientific article; zbMATH DE number 4068249 (Why is no real title available?)
- Parallel composition and decomposition of specifications
- Laws of programming
- A Weakest Precondition Semantics for Z
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)
