Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Alice Ravier"'
Publikováno v:
PPDP
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef3e85a12eaf5216ed1046acb3fcb572
https://doi.org/10.1145/3479394.3479414
https://doi.org/10.1145/3479394.3479414
