2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Mathias Jakobsen, Alice Ravier, Ornela Dardha
Typestates are state machines used in object-oriented programming to specify and verify correct order of method calls on an object. To avoid inconsistent object states, typestates…