The following pages link to (Q2722069):
Displaying 19 items.
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
- Towards a semantics-based information theory (Q1179806) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
- Abstract interpretation of programs as Markov decision processes (Q2568451) (← links)
- Least upper bounds for probability measures and their applications to abstractions (Q2637319) (← links)
- (Q2763684) (← links)
- \(\lambda\)-calculus and quantitative program analysis (extended abstract) (Q2849843) (← links)
- On probabilistic techniques for data flow analysis (Q2870284) (← links)
- Stochastic modelling of communication protocols from source code (Q2870288) (← links)
- Probabilistic -calculus and Quantitative Program Analysis (Q3025332) (← links)
- Probabilistic Interpretations of Predicates (Q3305429) (← links)
- Understanding Probabilistic Programs (Q3449623) (← links)
- (Q3757895) (← links)
- (Q4255557) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- Relational Analysis and Precision via Probabilistic Abstract Interpretation (Q5415662) (← links)
- Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (Q5415663) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
