48 citations · 129 across the 13 of their papers we have counts for
1 paper · 1 filter
David Darais, David Van Horn
Calculational abstract interpretation, long advocated by Cousot, is a technique for deriving correct-by-construction abstract interpreters from the formal semantics of programming…