Ownership Refinement Types for Pointer Arithmetic and Nested Arrays.

Yusuke Fujiwara, Yusuke Matsushita, Kohei Suenaga, Atsushi Igarashi

Browse the full ECOOP paper archive.