A logic for information flow in object-oriented programs (2006)

by T Amtoft, S Bandhakavi, A Banerjee
Venue:In POPL’06: the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages