A Systematic Approach to Probabilistic Pointer Analysis

DOI10.1007/978-3-540-76637-7_23zbMath1137.68352OpenAlexW1933954171MaRDI QIDQ3498445

Chris Hankin, Alessandra Di Pierro, Herbert Wiklicky

Publication date: 15 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-76637-7_23

Mathematics Subject Classification ID

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

Related Items (4)

Probabilistic Analysis of Programs: A Weak Limit Approach ⋮ Semantics of Probabilistic Programs: A Weak Limit Approach ⋮ Relational Analysis and Precision via Probabilistic Abstract Interpretation ⋮ Probabilistic Semantics and Program Analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On Probabilistic Techniques for Data Flow Analysis
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• Abstract Interpretation for Worst and Average Case Analysis
• Advanced Linear Algebra
• Systematic design of program transformation frameworks by abstract interpretation

This page was built for publication: A Systematic Approach to Probabilistic Pointer Analysis