Relational Analysis and Precision via Probabilistic Abstract Interpretation

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

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky
• Keywords: Abstract Interpretation, Abstract Interpretation Alessandra, ENTCS 2008, Relational Analysis