most citedConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs

16 citations · 16 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2020★ 16 cited

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

John Toman, Ren Siqi, Kohei Suenaga +2

We present ConSORT, a type system for safety verification in the presence of mutability and aliasing. Mutability requires strong updates to model changing invariants during program…