5 citations · 13 across the 8 of their papers we have counts for
1 paper · 1 filter
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…