A logic for information flow in object-oriented programs.

Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee

Browse the full POPL paper archive.