Francisco Ferreira, Sung-Shik Jongmans. Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 1511-1514, ACM, 2023. [doi]
Abstract is missing.