Andrew C. Myers
JFlow: Practical Mostly-Static Information Flow Control
POPL, 1999.
@inproceedings{POPL-1999-Myers, author = "Andrew C. Myers", booktitle = "{Proceedings of the 26th Symposium on Principles of Programming Languages}", doi = "10.1145/292540.292561", editor = "Andrew W. Appel and Alex Aiken", isbn = "1-58113-095-3", pages = "228--241", publisher = "{ACM}", title = "{JFlow: Practical Mostly-Static Information Flow Control}", year = 1999, }