A Java typestate checker supporting inheritance
Under a Creative Commons license
open access
Keywords
Behavioral types
Object-oriented programming
Subtyping
Type-checking
Typestates
Cited by (0)
The code (and data) in this article has been certified as Reproducible by Code Ocean: https://codeocean.com/. More information on the Reproducibility Badge Initiative is available at https://www.elsevier.com/physical-sciences-and-engineering/computer-science/journals.
© 2022 The Authors. Published by Elsevier B.V.