Pages that link to "Item:Q672318"
From MaRDI portal
The following pages link to Predicate transformers and higher-order programs (Q672318):
Displaying 19 items.
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
- A general proof rule for procedures in predicate transformer semantics (Q797986) (← links)
- Inductive data types for predicate transformers (Q1199549) (← links)
- A recursion theorem for predicate transformers on inductive data types (Q1330667) (← links)
- A predicate transformer for the progress property `to-always' (Q1377323) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Generic transformations of predicate encodings: constructions and applications (Q1675716) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- Higher-Order UTP for a Theory of Methods (Q3455652) (← links)
- (Q3560843) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)
- Predicative programming Part II (Q3723676) (← links)
- Programs, Recursion and Unbounded Choice (Q4023579) (← links)
- (Q4281666) (← links)
- (Q4490763) (← links)
- Building PMCFG Parsers as Datalog Program Transformations (Q4981264) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Computer Science Logic (Q5311250) (← links)