research
∙
02/18/2020
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
We present ConSORT, a type system for safety verification in the presenc...
share
research
∙
12/21/2018
