Data Refinement with Probability in Mind
From MaRDI portal
Publication:2994495
DOI10.1016/j.entcs.2009.12.023zbMath1342.68096OpenAlexW2063045566MaRDI QIDQ2994495
No author found.
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantic domains for combining probability and non-determinism
- Prespecification in data refinement
- A single complete rule for data refinement
- Probabilistic models for the guarded command language
- Laws of programming
- Abstraction, Refinement and Proof for Probabilistic Systems
- Data Refinement
- Programming as a Discipline of Mathematical Nature
- Distributing probability over non-determinism
- Partial correctness for probabilistic demonic programs
This page was built for publication: Data Refinement with Probability in Mind