Toggle navigation
Sign in
Sign up
conf.researchr.org
/
João Mota
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ISSTA/ECOOP 2024 profile
PLDI 2024 profile
SPLASH 2023 profile
Not registered as user yet
Name:
João Mota
Affiliation:
NOVA School of Science and Technology
Contributions
2024
ECOOP
Author of Behavioral up/down casting for statically typed languages within the Technical Papers-track
PLDI
Author of Coping with shared mutable state in a typestate-oriented concurrent language within the SRC-track
2023
ST
Author of Behavioural up/down casting for statically typed languages within the ST30-track
ECOOP
Author of On using VeriFast, VerCors, Plural, and KeY to check object usage within the Research Papers-track
Share
x
Thu 21 Nov 15:04