Data refinement with probability in mind

DOI10.1016/J.ENTCS.2009.12.023MaRDI QIDQ2994495zbMATH OpenOpenAlexFDO

Authors

Publication date 1 August 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.12.023

zbMATH Keywords

simulationsprobabilityincompletenessdata refinement

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 3943003
• Data Refinement
• The lattice of data refinement
• scientific article; zbMATH DE number 2013581
• Some proofs of data refinement

Cites work

• scientific article; zbMATH DE number 512951 (Why is no real title available?)
• A single complete rule for data refinement
• Abstraction, Refinement and Proof for Probabilistic Systems
• Axioms for probability and nondeterminism
• Data Refinement
• Distributing probability over non-determinism
• Laws of programming
• Partial correctness for probabilistic demonic programs
• Prespecification in data refinement
• Probabilistic models for the guarded command language
• Programming as a Discipline of Mathematical Nature
• Semantic domains for combining probability and non-determinism
• Unifying theories for logic programming

Cited in

(5)

• scientific article; zbMATH DE number 1303997 (Why is no real title available?)
• Some proofs of data refinement
• Refining imprecise data by integrity constraints
• Laws of data refinement
• Blaming the client: on data refinement in the presence of pointers

This page was built for publication: Data refinement with probability in mind

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