Laws of data refinement
From MaRDI portal
Publication:1113664
zbMATH Open0661.68018MaRDI QIDQ1113664FDOQ1113664
Authors: Joseph M. Morris
Publication date: 1989
Published in: Acta Informatica (Search for Journal in Brave)
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
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (26)
- Refinement and retrenchment for programming language data types
- Title not available (Why is that?)
- Model-based specification
- Data refinement, call by value and higher order programs
- Soundness of data refinement for a higher-order imperative language
- Data refinement by calculation
- Encoding, decoding and data refinement
- Title not available (Why is that?)
- Title not available (Why is that?)
- Auxiliary variables in data refinement
- Title not available (Why is that?)
- Mechanizing some advanced refinement concepts
- A Practical Single Refinement Method for B
- Data refinement of predicate transformers
- Program refinement in fair transition systems
- Correct Hardware Design and Verification Methods
- A method of elimination of data structures based on formula rewriting systems
- Some proofs of data refinement
- External and internal choice with event groups in Event-B
- Metaphorisms in programming
- Composition and refinement of specifications of parameterized data types
- Derivation of efficient parallel programs: An example from genetic sequence analysis
- The lattice of data refinement
- Prespecification in data refinement
- A single complete rule for data refinement
- A single complete refinement rule for Z
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)