Some proofs of data refinement
From MaRDI portal
Publication:911246
DOI10.1016/0020-0190(90)90157-SzbMATH Open0696.68028OpenAlexW2019378774MaRDI QIDQ911246FDOQ911246
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
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
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
Cited In (18)
- Laws of data refinement
- Data refinement by calculation
- Proofs as programs
- Invariant diagrams with data refinement
- Checking Z Data Refinements Using Traces Refinement
- Refining imprecise data by integrity constraints
- Encoding, decoding and data refinement
- Data refinement of remote procedures
- Auxiliary variables in data refinement
- Title not available (Why is that?)
- Data refinement and singleton failures refinement are not equivalent
- A method of iterative data refinement and its applications
- A proof of the determinacy property of the data flow schema
- Data refinement with probability in mind
- Prespecification in data refinement
- Programming Languages and Systems
- Data refinement of invariant based programs
- A single complete rule for 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)
