[HTML][HTML] A Java typestate checker supporting inheritance
Detecting programming errors in software is increasingly important, and building tools that
help developers with this task is a crucial area of investigation on which the industry …
help developers with this task is a crucial area of investigation on which the industry …
Deciding Subtyping for Asynchronous Multiparty Sessions
E Li, F Stutz, T Wies - European Symposium on Programming, 2024 - Springer
Multiparty session types (MSTs) are a type-based approach to verifying communication
protocols, represented as global types in the framework. We present a precise subtyping …
protocols, represented as global types in the framework. We present a precise subtyping …
On the Preciseness of Subtyping in Session Types: 10 Years Later
TC Chen, M Dezani-Ciancaglini… - Proceedings of the 26th …, 2024 - dl.acm.org
On the Preciseness of Subtyping in Session Types: 10 Years Later Page 1 On the Preciseness of
Subtyping in Session Types: 10 Years Later Tzu-Chun Chen Microsoft, Germany …
Subtyping in Session Types: 10 Years Later Tzu-Chun Chen Microsoft, Germany …