Login / Signup
A logic for information flow analysis with an application to forward slicing of simple imperative programs.
Torben Amtoft
Anindya Banerjee
Published in:
Sci. Comput. Program. (2007)
Keyphrases
</>
flow analysis
information flow
keywords
information sources
general purpose
partial order