Data refinement with probability in mind

DOI10.1016/J.ENTCS.2009.12.023zbMATH Open1342.68096OpenAlexW2063045566MaRDI QIDQ2994495FDOQ2994495

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

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

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)

Cites Work

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

Cited In (5)

• Laws of data refinement
• Blaming the client: on data refinement in the presence of pointers
• Refining imprecise data by integrity constraints
• Title not available (Why is that?)
• Some proofs of data refinement

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)