Relational Analysis and Precision via Probabilistic Abstract Interpretation

13 years 4 months ago

Download www.irisa.fr

istic Abstract Interpretation Alessandra Di Pierro1 Pascal Sotin2 Herbert Wiklicky3 Within the context of a quantitative generalisation of the well established framework of Abstract Interprei.e. Probabilistic Abstract Interpretation

Alessandra Di Pierro, Pascal Sotin, Herbert Wiklic

Real-time Traffic

Abstract Interpretation | Abstract Interpretation Alessandra | ENTCS 2008 | Relational Analysis |

claim paper

» A Systematic Approach to Probabilistic Pointer Analysis

» Precise interprocedural analysis using random interpretation

» Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distri...

» Computational Interpretations of Analysis via Products of Selection Functions

» Inferring Disjunctive Postconditions

» HigherPrecision Groundness Analysis

» Dynamic Enforcement of KnowledgeBased Security Policies

» A Probabilistic Relational Model for Characterizing Situations in Dynamic MultiAgent Syste...

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky

Comments (0)

Sciweavers

Relational Analysis and Precision via Probabilistic Abstract Interpretation

Abstract Interpretation | Abstract Interpretation Alessandra | ENTCS 2008 | Relational Analysis |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers