The following pages link to Some proofs of data refinement (Q911246):
Displaying 17 items.
- Invariant diagrams with data refinement (Q432148) (← links)
- Prespecification in data refinement (Q578901) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- A proof of the determinacy property of the data flow schema (Q796973) (← links)
- Data refinement by calculation (Q913482) (← links)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- Laws of data refinement (Q1113664) (← links)
- Auxiliary variables in data refinement (Q1114384) (← links)
- Program refinement in fair transition systems (Q1323314) (← links)
- The lattice of data refinement (Q1323380) (← links)
- Data Refinement of Invariant Based Programs (Q2994494) (← links)
- Data Refinement with Probability in Mind (Q2994495) (← links)
- Refining imprecise data by integrity constraints (Q4307633) (← links)
- Checking Z Data Refinements Using Traces Refinement (Q5179359) (← links)
- A method of iterative data refinement and its applications (Q5187117) (← links)
- Data refinement of remote procedures (Q5930074) (← links)
- Encoding, decoding and data refinement (Q5944217) (← links)