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
FileCommander 3 Jun 15
Unreal Tournament 2004 CTF The Decadence map 27 Oct 15
NETGEAR FA310TX Fast Ethernet PCI Adapter 6 Dec 15
Duplicate File Finder 29 Oct 15
Consolas Font Pack for Microsoft Visual Studio 2005 21 Sep 15
XTractor 21 Jan 15
SysInfoTools Access Password Recovery 16 Apr 15
ShortcutPathViewer 15 Apr 15
Python Fraction Calculator (64 bit) 11 Apr 15
Net Encoder Pro 29 Oct 15
Popular software
Java + information flow 3 Jun 15
Best Interpreters & Compilers for Stephen Chong, Andrew Myers and K. Vik...
Last Viewed Software
FileCommander 3 Jun 15
Unreal Tournament 2004 CTF The Decadence map 27 Oct 15
NETGEAR FA310TX Fast Ethernet PCI Adapter 6 Dec 15
Duplicate File Finder 29 Oct 15
Consolas Font Pack for Microsoft Visual Studio 2005 21 Sep 15
XTractor 21 Jan 15
SysInfoTools Access Password Recovery 16 Apr 15
ShortcutPathViewer 15 Apr 15
Python Fraction Calculator (64 bit) 11 Apr 15
Net Encoder Pro 29 Oct 15
Popular software
Java + information flow 3 Jun 15