Relational Analysis and Precision via Probabilistic Abstract Interpretation

DOI10.1016/J.ENTCS.2008.11.017MaRDI QIDQ5415662zbMATH OpenOpenAlexFDO

Authors Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky

Publication date 13 May 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2008.11.017

zbMATH Keywords

linear operatorsprobabilistic abstract interpretationprobabilistic semanticsrelational analysis

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)

Recommendations

• Probabilistic abstract interpretation
• scientific article; zbMATH DE number 3938547
• scientific article; zbMATH DE number 1617330
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• Disjunctive relational abstract interpretation for interprocedural program analysis
• Relational reasoning via probabilistic coupling
• On probabilistic inference in relational conditional logics
• On the complexity of inference about probabilistic relational models
• Probabilistic logic programming for hybrid relational domains

Cites work

• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• A Systematic Approach to Probabilistic Pointer Analysis
• scientific article; zbMATH DE number 3735091 (Why is no real title available?)
• scientific article; zbMATH DE number 47995 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1074568 (Why is no real title available?)
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• scientific article; zbMATH DE number 1846959 (Why is no real title available?)
• scientific article; zbMATH DE number 3255204 (Why is no real title available?)
• Introduction to large truncated Toeplitz matrices
• Measuring the confinement of probabilistic systems
• On probabilistic techniques for data flow analysis

Cited in

(5)

• Semantics of probabilistic programs: a weak limit approach
• Relaxed Abduction
• Probabilistic analysis of programs: a weak limit approach
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415662)