A logic for information flow analysis with an application to forward slicing of simple imperative programs.

Torben Amtoft Anindya Banerjee A logic for information flow analysis with an application to forward slicing of simple imperative programs. 3-28 2007 64 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/j.scico.2006.03.002 db/journals/scp/scp64.html#AmtoftB07