21 citations · 33 across the 6 of their papers we have counts for
1 paper · 1 filter
Anders Miltner, Saswat Padhi, Todd Millstein +1
A representation invariant is a property that holds of all values of abstract type produced by a module. Representation invariants play important roles in software engineering and…