54 citations · 255 across the 28 of their papers we have counts for
1 paper · 2 filters
Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko
We present Hindley-Milner-Cousots (HMC), an algorithm that allows any interprocedural analysis for first-order imperative programs to be used to verify safety properties of typed h…