Relational Analysis and Precision via Probabilistic Abstract Interpretation

DOI10.1016/j.entcs.2008.11.017zbMath1286.68034OpenAlexW2151786888MaRDI QIDQ5415662

Herbert Wiklicky, Pascal Sotin, Alessandra Di Pierro

Publication date: 13 May 2014

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.2008.11.017

zbMATH Keywords

linear operatorsprobabilistic semanticsrelational analysisprobabilistic abstract interpretation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Probabilistic Analysis of Programs: A Weak Limit Approach ⋮ Semantics of Probabilistic Programs: A Weak Limit Approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Measuring the confinement of probabilistic systems
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Introduction to large truncated Toeplitz matrices
• On Probabilistic Techniques for Data Flow Analysis
• A Systematic Approach to Probabilistic Pointer Analysis

This page was built for publication: Relational Analysis and Precision via Probabilistic Abstract Interpretation