Cited By
View all- Jakobsen MRavier ADardha O(2021)Papaya: Global Typestate Analysis of Aliased ObjectsProceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming10.1145/3479394.3479414(1-13)Online publication date: 6-Sep-2021
- Golovanov IHüttel HJakobsen MKettunen MCok D(2021)Behavioural separation with parallel usagesProceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3464971.3468424(51-58)Online publication date: 13-Jul-2021
- Bravetti MFrancalanza AGolovanov IHüttel HJakobsen MKettunen MRavara A(2020)Behavioural Types for Memory and Method Safety in a Core Object-Oriented LanguageProgramming Languages and Systems10.1007/978-3-030-64437-6_6(105-124)Online publication date: 24-Nov-2020
- Show More Cited By