TY  - RPRT
TI  - ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
AU  - John Toman
AU  - Ren Siqi
AU  - Kohei Suenaga
AU  - Atsushi Igarashi
AU  - Naoki Kobayashi
PY  - 2026
DO  - 10.1007/978-3-030-44914-8_25
UR  - https://arxiv.org/abs/2002.07770
ID  - 2002.07770
ER  -