85 citations · 103 across the 13 of their papers we have counts for
1 paper · 2 filters
Arnaud Spiwack
This article shows a correspondence between abstract interpretation of imperative programs and the refinement calculus: in the refinement calculus, an abstract interpretation of a…