Jflow: Practical mostly-static information flow (1999)

by A C Myers
Venue:In Proceedingsof the 26th ACM Symposium on Principles of Programming Languages (POPL ’99