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 (14)
- Semantics of probabilistic programs: a weak limit approach
- Title not available (Why is that?)
- Probabilistic semantics and program analysis
- Title not available (Why is that?)
- Probabilistic analysis of 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?)
- Relational Analysis and Precision via Probabilistic Abstract Interpretation
- Automatic analysis of pointer aliasing for untyped programs
- Languages and Compilers for Parallel Computing
- Abstraction refinement guided by a learnt probabilistic model
- 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)
