Samuel Z. Guyer Calvin Lin Error checking with client-driven pointer analysis. 83-114 2005 58 Sci. Comput. Program. 1-2 https://doi.org/10.1016/j.scico.2005.02.005 db/journals/scp/scp58.html#GuyerL05
