Jifclipse: development tools for security-typed languages.

Boniface Hicks, Dave King, Patrick D. McDaniel

Browse the full PLDI paper archive.