Boniface Hicks, Dave King 0002, Patrick McDaniel. Jifclipse: development tools for security-typed languages. In Michael W. Hicks, editor, Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007. pages 1-10, ACM, 2007. [doi]
Abstract is missing.