Searching for "Semantics of Probabilistic Programs" – sorted by Relevance.
-
Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation
- for approximating the semantics of probabilistic programs to the purpose of constructing semantics -based analyses
- Cited by 15 (7 self) – Add To MetaCart
-
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
- -study in the eld of metric semantics for probabilistic programming. Both an operational and a denotational
- Add To MetaCart
-
On probabilistic program equivalence and refinement
- game semantics of probabilistic programs and relating it to probabilistic finite automata. For terms
- Cited by 1 (1 self) – Add To MetaCart
-
H.: Operator algebras and the operational semantics of probabilistic languages
- of linear operators representing the semantics of probabilistic programming languages expressed via
- Cited by 2 (0 self) – Add To MetaCart
-
Probabilistic Concurrent Constraint Programming: Towards a fully abstract model
- approaches towards the semantics of probabilistic programming languages [12, 9, 8], probabilistic predicate
- Cited by 10 (7 self) – Add To MetaCart
-
Cost Analysis of Games, Using Program Logic
- 2001 Abstract Recent work in programming semantics has provided a relatively simple probablistic
- Cited by 3 (3 self) – Add To MetaCart
-
intuitionism and truthknowledge duality: Concepts and foundations,” http://www.cs.umd.edu/∼ zoran
- -worlds based semantics of probabilistic programs; other strategies are rather approximations for such pure
- Cited by 1 (0 self) – Add To MetaCart
-
Probabilities in Action Systems
- . Figure 2. The weakest precondition semantics for probabilistic program The following expression can
- Cited by 2 (1 self) – Add To MetaCart
-
Probabilistic guarded commands mechanized in HOL. Available at http://www.cl.cam.ac.uk/∼jeh1004
- Another approach to the semantics of probabilistic programs [8] leaves out demonic nondeterminism
- Cited by 2 (1 self) – Add To MetaCart
-
Backwards abstract interpretation of probabilistic programs
- interpretation. We first introduce an adjoint semantics for probabilistic programs using “weight functions
- Cited by 2 (1 self) – Add To MetaCart

