Borrowable Fractional Ownership Types for Verification.

Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi

Browse the full VMCAI paper archive.