Jflow: Practical Mostly-Static Information Flow Control. (1999)

by A C Myers
Venue:Proc. 26th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages,