The following pages link to Laws of data refinement (Q1113664):
Displaying 21 items.
- Prespecification in data refinement (Q578901) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- Some proofs of data refinement (Q911246) (← links)
- Data refinement by calculation (Q913482) (← links)
- Derivation of efficient parallel programs: An example from genetic sequence analysis (Q916411) (← links)
- Auxiliary variables in data refinement (Q1114384) (← links)
- Data refinement of predicate transformers (Q1177155) (← links)
- Mechanizing some advanced refinement concepts (Q1309250) (← links)
- Program refinement in fair transition systems (Q1323314) (← links)
- The lattice of data refinement (Q1323380) (← links)
- Sound and complete rules for data reification (Q1373852) (← links)
- Data refinement of mixed specifications: A generalization of UNITY (Q1386404) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Model-based specification (Q1607085) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- External and internal choice with event groups in Event-B (Q1941871) (← links)
- Refinement and retrenchment for programming language data types (Q2432217) (← links)
- Composition and refinement of specifications of parameterized data types (Q2844826) (← links)
- (Q4301161) (← links)
- A single complete refinement rule for Z (Q4522331) (← links)
- Encoding, decoding and data refinement (Q5944217) (← links)