Measuring the Precision of Abstract Interpretations

Logic Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/3-540-45142-0_9 ◽

2001 ◽

pp. 147-164 ◽

Author(s):

Alessandra Di Pierro ◽

Herbert Wiklicky

Download Full-text