Izumi Tanaka, Ken Sakayori, Naoki Kobayashi 0001. Ownership Types for Verification of Programs with Pointer Arithmetic. In Gabriele Keller, Meng Wang 0002, editors, Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024. pages 94-106, ACM, 2024. [doi]
Abstract is missing.