Laws of data refinement

MaRDI QIDQ1113664zbMATH OpenFDO

Authors Joseph M. Morris

Publication date 1989

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

data refinementspecification languagedata types

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

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)