A Java typestate checker supporting inheritance

This work was partially supported by the EU H2020 RISE programme under the Marie Skłodowska-Curie grant agreement No. 778233 (BehAPI) and by NOVA LINCS UIDB/04516/2020/TRA/BIM/07 ) via the Portuguese Fundação para a Ciência e a Tecnologia. Publisher Copyright: © 2022 Elsevier B.V.

Bibliographic Details
Main Author: Bacchiani, Lorenzo (author)
Other Authors: Bravetti, Mario (author), Giunti, Marco (author), Mota, João (author), Ravara, António (author)
Format: article
Language:eng
Published: 2022
Subjects:
Behavioral types
Object-oriented programming
Subtyping
Type-checking
Typestates
Software
Computational Theory and Mathematics
General Computer Science
SDG 9 - Industry, Innovation, and Infrastructure
Online Access:http://hdl.handle.net/10362/145315
Country:Portugal
Oai:oai:run.unl.pt:10362/145315

Internet

http://hdl.handle.net/10362/145315

Similar Items