Elizaveta Vasilenko, Niki Vazou, Gilles Barthe. OBRA: Oracle-Based, Relational, Algorithmic Type Verification. In Oleg Kiselyov, editor, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. Volume 15194 of Lecture Notes in Computer Science, pages 283-302, Springer, 2024. [doi]
Abstract is missing.