Measuring the precision of abstract interpretations

DOI10.1007/3-540-45142-0_9MaRDI QIDQ4421876zbMATH OpenFDO

Authors Alessandra Di Pierro, Herbert Wiklicky

Publication date 1 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2042/20420147.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Abstract interpretation of probabilistic semantics
• Abstract Interpretation Frameworks
• Relational Analysis and Precision via Probabilistic Abstract Interpretation
• Probabilistic abstract interpretation
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression

Cited in

(16)

• Towards a semantics-based information theory
• Maximizing theory accuracy through selective reinterpretation
• Completeness of string analysis for dynamic languages
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• Semantic abstraction and quantum computation
• On probabilistic techniques for data flow analysis
• Semantics of probabilistic programs: a weak limit approach
• A Type Theory for Probabilistic \lambda –calculus
• Probabilistic analysis of programs: a weak limit approach
• A Systematic Approach to Probabilistic Pointer Analysis
• Probabilistic semantics and program analysis
• Computing abstract distances in logic programs
• Injecting abstract interpretations into linear cost models
• Relational Analysis and Precision via Probabilistic Abstract Interpretation
• Measuring the confinement of probabilistic systems
• Abstract Lipschitz continuity. Combining semantic and quantitative approximations

This page was built for publication: Measuring the precision of abstract interpretations

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