Some proofs of data refinement

DOI10.1016/0020-0190(90)90157-SMaRDI QIDQ911246zbMATH OpenOpenAlexFDO

Authors Earlin Lutz

Publication date 1990

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(90)90157-s

zbMATH Keywords

program correctnessprogram transformationdata refinement

Mathematics Subject Classification ID

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

Recommendations

• Data Refinement
• Data Refinement
• An algebraic formulation for data refinement
• Data refinement in Isabelle/HOL
• The lattice of data refinement
• Data refinement and algebraic structure
• Refining imprecise data by integrity constraints
• Data refinement with probability in mind
• Laws of data refinement
• scientific article; zbMATH DE number 910716

Cites work

• Data refinement by calculation
• Laws of data refinement

Cited in

(18)

• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• Programming Languages and Systems
• Invariant diagrams with data refinement
• A method of iterative data refinement and its applications
• Refining imprecise data by integrity constraints
• Data refinement of invariant based programs
• Data refinement with probability in mind
• Laws of data refinement
• Proofs as programs
• Checking Z Data Refinements Using Traces Refinement
• Data refinement of remote procedures
• A single complete rule for data refinement
• Encoding, decoding and data refinement
• A proof of the determinacy property of the data flow schema
• Auxiliary variables in data refinement
• Data refinement by calculation
• Data refinement and singleton failures refinement are not equivalent
• Prespecification in data refinement

This page was built for publication: Some proofs of data refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911246)