34 citations · 65 across the 10 of their papers we have counts for
1 paper · 1 filter
John Sarracino, Shraddha Barke, Hila Peleg +2
Programmers frequently maintain implicit data invariants, which are relations between different data structures in a program. Traditionally, such invariants are manually enforced a…