17 citations · 48 across the 18 of their papers we have counts for
1 paper · 2 filters
Azadeh Farzan, Zachary Kincaid
The purpose of a program analysis is to compute an abstract meaning for a program which approximates its dynamic behaviour. A compositional program analysis accomplishes this task…