The following pages link to (Q4421876):
Displayed 11 items.
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- Semantic Abstraction and Quantum Computation (Q2870205) (← links)
- On Probabilistic Techniques for Data Flow Analysis (Q2870284) (← links)
- Semantics of Probabilistic Programs: A Weak Limit Approach (Q2937792) (← links)
- A Type Theory for Probabilistic $$\lambda $$–calculus (Q3297838) (← links)
- Probabilistic Analysis of Programs: A Weak Limit Approach (Q3460504) (← links)
- A Systematic Approach to Probabilistic Pointer Analysis (Q3498445) (← links)
- Probabilistic Semantics and Program Analysis (Q3575027) (← links)
- Computing Abstract Distances in Logic Programs (Q5097625) (← links)
- Relational Analysis and Precision via Probabilistic Abstract Interpretation (Q5415662) (← links)