Ownership Types for Verification of Programs with Pointer Arithmetic.

Izumi Tanaka, Ken Sakayori, Naoki Kobayashi

Browse the full PEPM paper archive.