24 citations · 63 across the 13 of their papers we have counts for
1 paper · 1 filter
Bor-Yuh Evan Chang, Xavier Rival
The aim of static analysis is to infer invariants about programs that are precise enough to establish semantic properties, such as the absence of run-time errors. Broadly speaking,…