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.

Detalhes bibliográficos
Autor principal: Bacchiani, Lorenzo (author)
Outros Autores: Bravetti, Mario (author), Giunti, Marco (author), Mota, João (author), Ravara, António (author)
Formato: article
Idioma:eng
Publicado em: 2022
Assuntos:
Behavioral types
Object-oriented programming
Subtyping
Type-checking
Typestates
Software
Computational Theory and Mathematics
General Computer Science
SDG 9 - Industry, Innovation, and Infrastructure
Texto completo:http://hdl.handle.net/10362/145315
País:Portugal
Oai:oai:run.unl.pt:10362/145315

Texto Completo

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

Registos relacionados