Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ravier, Alice"'
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 enforce linear typing, which eliminates - or at best limits - aliasing
Externí odkaz:
http://arxiv.org/abs/2107.13101