Ownership in Low-Level Intermediate Representation.

Siddharth Priya, Arie Gurfinkel

Browse the full FMCAD paper archive.