Följ
João Mota
João Mota
NOVA School of Science and Technology, Portugal
Verifierad e-postadress på campus.fct.unl.pt
Titel
Citeras av
Citeras av
År
Java typestate checker
J Mota, M Giunti, A Ravara
International Conference on Coordination Languages and Models, 121-133, 2021
162021
Coping with the reality: adding crucial features to a typestate-oriented language
JD da Luz Mota
NOVA School of Science and Technology, 2021
7*2021
Typestates to Automata and back: a tool
A Trindade, J Mota, A Ravara
arXiv preprint arXiv:2009.08769, 2020
72020
A Java typestate checker supporting inheritance
L Bacchiani, M Bravetti, M Giunti, J Mota, A Ravara
Science of Computer Programming 221, 102844, 2022
52022
On using VeriFast, VerCors, Plural, and KeY to check object usage
J Mota, M Giunti, A Ravara
arXiv preprint arXiv:2209.05136, 2022
22022
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper)
J Mota, M Giunti, A Ravara
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
2023
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–6