ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.

John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi

Browse the full ESOP paper archive.