Extending Developer Tools for Security-typed Languages

Description

This work seeks to extend our work in the JifClipse developer tools for Jif--a robust, powerful security-typed language.  Our initial work has demonstrated the viability of the security-typed IDE, we have not yet exploited the ability of the system to provide developers with expert guidance and automated code generation.  The second year of this project will concentrate on the study and development of these expert interfaces and tools, as well as garner additional experience with industrial developers.