Abstracting Pointers for a Verifying Compiler.

Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide

Browse the full SEW paper archive.