6 citations · 11 across the 3 of their papers we have counts for
1 paper · 1 filter
Bruno Marnette, Viktor Kuncak, Martin Rinard
Typestate systems ensure many desirable properties of imperative programs, including initialization of object fields and correct use of stateful library interfaces. Abstract sets w…