Error checking with client-driven pointer analysis

Samuel Z. Guyer, Calvin Lin. Error checking with client-driven pointer analysis. Science of Computer Programming, 58(1-2):83-114, 2005. [doi]

Abstract

Abstract is missing.