Java + information flow (Jif in short) is a security-typed programming language that extends Java with support for information flow control and access control, both at compile time and at run time.The source code for the Jif compiler and run-time system...
- Home
- Stephen Chong, Andrew Myers and K. Vik...
- Developer Tools
- Interpreters & Compilers
Last Viewed Software
Word-to-HTML Converter 21 Sep 15
ShellFTP 23 Sep 15
Convert Pdf to Swf 26 May 15
dotConnect for SQLite Professional 26 Jul 16
Jleeker 21 Sep 15
The Elder Scrolls IV: Oblivion Dwarf mod 24 Sep 15
Biostar Hi-Fi B150S1 Ver. 6.x Realtek LAN Driver for Windows 10 14 Dec 15
Integrating Inventory Data with a Catalog System Book 21 Sep 15
Network:Intel (R) PRO/100 VE Network C... Driver Version A02 27 Oct 15
Bprotected 2003 29 Oct 15
Popular software
Java + information flow 3 Jun 15
Must have Interpreters & Compilers for Stephen Chong, Andrew Myers and K. Vik...
Last Viewed Software
Word-to-HTML Converter 21 Sep 15
ShellFTP 23 Sep 15
Convert Pdf to Swf 26 May 15
dotConnect for SQLite Professional 26 Jul 16
Jleeker 21 Sep 15
The Elder Scrolls IV: Oblivion Dwarf mod 24 Sep 15
Biostar Hi-Fi B150S1 Ver. 6.x Realtek LAN Driver for Windows 10 14 Dec 15
Integrating Inventory Data with a Catalog System Book 21 Sep 15
Network:Intel (R) PRO/100 VE Network C... Driver Version A02 27 Oct 15
Bprotected 2003 29 Oct 15
Popular software
Java + information flow 3 Jun 15