Takashi Nakayama, Yusuke Matsushita 0002, Ken Sakayori, Ryosuke Sato 0001, Naoki Kobayashi 0001. Borrowable Fractional Ownership Types for Verification. In Rayna Dimitrova, Ori Lahav 0001, Sebastian Wolff 0001, editors, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II. Volume 14500 of Lecture Notes in Computer Science, pages 224-246, Springer, 2024. [doi]
Abstract is missing.