16 citations · 27 across the 17 of their papers we have counts for
1 paper · 2 filters
Ranjit Jhala, Niki Vazou
Refinement types enrich a language's type system with logical predicates that circumscribe the set of values described by the type, thereby providing software developers a tunable…