A Systematic Approach to Probabilistic Pointer Analysis

DOI10.1007/978-3-540-76637-7_23MaRDI QIDQ3498445zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1975596
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• Probabilistic semantics and program analysis
• Probabilistic abstract interpretation
• On probabilistic techniques for data flow analysis

Cites work

• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• scientific article; zbMATH DE number 3246773 (Why is no real title available?)
• Abstract Interpretation for Worst and Average Case Analysis
• Advanced Linear Algebra
• On probabilistic techniques for data flow analysis
• Systematic design of program transformation frameworks by abstract interpretation
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC

Cited in

(14)

• Relational Analysis and Precision via Probabilistic Abstract Interpretation
• Probabilistic analysis of programs: a weak limit approach
• Probabilistic semantics and program analysis
• Languages and Compilers for Parallel Computing
• scientific article; zbMATH DE number 1693487 (Why is no real title available?)
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
• Generalized probabilistic perturbation method for static analysis
• Automatic analysis of pointer aliasing for untyped programs
• Abstraction refinement guided by a learnt probabilistic model
• scientific article; zbMATH DE number 1940313 (Why is no real title available?)
• Evaluating the effectiveness of pointer alias analyses
• Static Analysis
• Semantics of probabilistic programs: a weak limit approach
• scientific article; zbMATH DE number 1975596 (Why is no real title available?)

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)