A Systematic Approach to Probabilistic Pointer Analysis
From MaRDI portal
Publication:3498445
DOI10.1007/978-3-540-76637-7_23zbMATH Open1137.68352OpenAlexW1933954171MaRDI QIDQ3498445FDOQ3498445
Authors: Alessandra Di Pierro, Chris Hankin, 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
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Systematic design of program transformation frameworks by abstract interpretation
- Advanced Linear Algebra
- Title not available (Why is that?)
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
- Abstract Interpretation for Worst and Average Case Analysis
- On probabilistic techniques for data flow analysis
Cited In (13)
- Title not available (Why is that?)
- Probabilistic semantics and program analysis
- Title not available (Why is that?)
- Semantics of Probabilistic Programs: A Weak Limit Approach
- Generalized probabilistic perturbation method for static analysis
- Evaluating the effectiveness of pointer alias analyses
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
- Title not available (Why is that?)
- Probabilistic Analysis of Programs: A Weak Limit Approach
- Relational Analysis and Precision via Probabilistic Abstract Interpretation
- Automatic analysis of pointer aliasing for untyped programs
- Languages and Compilers for Parallel Computing
- Static Analysis
This page was built for publication: A Systematic Approach to Probabilistic Pointer Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498445)
