Lightweight Typestate through Paragon – [..] to achieve typestate-like properties for java

Potential supervisors: 
Research groups/keywords: 
Description: 

Full title: Lightweight Typestate through Paragon – investigating the possibilities of using the paragon language to achieve typestate-like properties for java

For details, please see attached file.

Date range: 
November, 2018 to November, 2023