Formalizing Dijkstra's predicate transformer wp in weak second-order logic
From MaRDI portal
(Redirected from Publication:673132)
Recommendations
- Towards a calculus of predicate transformers
- A syntactic embedding of predicate logic into second-order propositional logic
- scientific article; zbMATH DE number 404251
- Predicate transformers and higher-order programs
- Computer Science Logic
- An algebraic construction of predicate transformers
- scientific article; zbMATH DE number 512951
- Combining logic programs and monadic second order logics by program transformation
- A general proof rule for procedures in predicate transformer semantics
- scientific article; zbMATH DE number 1973217
Cites work
- scientific article; zbMATH DE number 4172362 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3683035 (Why is no real title available?)
- scientific article; zbMATH DE number 194642 (Why is no real title available?)
- scientific article; zbMATH DE number 3206304 (Why is no real title available?)
- An axiomatic basis for computer programming
- Characterizations of certain classes of norms
- Guarded commands, nondeterminacy and formal derivation of programs
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Programming as a Discipline of Mathematical Nature
- Proving total correctness of nondeterministic programs in infinitary logic
Cited in
(3)
This page was built for publication: Formalizing Dijkstra's predicate transformer wp in weak second-order logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673132)