Laws of data refinement
From MaRDI portal
Publication:1113664
Recommendations
- The lattice of data refinement
- A single complete rule for data refinement
- Some proofs of data refinement
- scientific article; zbMATH DE number 910716
- Sound and complete rules for data reification
- Refining imprecise data by integrity constraints
- Data refinement and algebraic structure
- Data refinement with probability in mind
- An algebraic formulation for data refinement
Cited in
(26)- scientific article; zbMATH DE number 3943003 (Why is no real title available?)
- Refinement and retrenchment for programming language data types
- The lattice of data refinement
- Mechanizing some advanced refinement concepts
- A single complete refinement rule for Z
- scientific article; zbMATH DE number 1612491 (Why is no real title available?)
- Derivation of efficient parallel programs: An example from genetic sequence analysis
- scientific article; zbMATH DE number 139814 (Why is no real title available?)
- Program refinement in fair transition systems
- A Practical Single Refinement Method for B
- Some proofs of data refinement
- External and internal choice with event groups in Event-B
- Soundness of data refinement for a higher-order imperative language
- scientific article; zbMATH DE number 605806 (Why is no real title available?)
- Data refinement of predicate transformers
- A single complete rule for data refinement
- Encoding, decoding and data refinement
- Correct Hardware Design and Verification Methods
- Model-based specification
- A method of elimination of data structures based on formula rewriting systems
- Auxiliary variables in data refinement
- Metaphorisms in programming
- Data refinement by calculation
- Composition and refinement of specifications of parameterized data types
- Prespecification in data refinement
- Data refinement, call by value and higher order programs
This page was built for publication: Laws of data refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1113664)