102 citations · 226 across the 18 of their papers we have counts for
1 paper · 2 filters
Silvia Crafa, Luca Padovani
Typestate-oriented programming is an extension of the OO paradigm in which objects are modeled not just in terms of interfaces but also in terms of their usage protocols, describin…