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
OpenLink Lite JDBC Drivers for ODBC 4 Mar 16
Microchip USB2534 COM Port Driver for Windows 7 18 Dec 15
eMbedded Visual C++ 4.0 Service Pack 2 (SP2) 21 Sep 15
Batch Plot DWG (2008) 14 Feb 15
Acer Aspire V5-552P Broadcom Bluetooth Driver for Windows 10 64-bit 26 Dec 15
Convert Excel to Pdf 27 May 15
TSM Console Manager (32-Bit) 3 May 15
netCheckPost Family Internet Safety 23 Jan 15
WISE-FTP 15 Apr 15
Bleach 1 Mar 15
Popular software
Java + information flow 3 Jun 15
Top Interpreters & Compilers for Stephen Chong, Andrew Myers and K. Vik...
Last Viewed Software
OpenLink Lite JDBC Drivers for ODBC 4 Mar 16
Microchip USB2534 COM Port Driver for Windows 7 18 Dec 15
eMbedded Visual C++ 4.0 Service Pack 2 (SP2) 21 Sep 15
Batch Plot DWG (2008) 14 Feb 15
Acer Aspire V5-552P Broadcom Bluetooth Driver for Windows 10 64-bit 26 Dec 15
Convert Excel to Pdf 27 May 15
TSM Console Manager (32-Bit) 3 May 15
netCheckPost Family Internet Safety 23 Jan 15
WISE-FTP 15 Apr 15
Bleach 1 Mar 15
Popular software
Java + information flow 3 Jun 15