Java + informationsflödet (Jif kort) är ett programmeringsspråk säkerhets skrivit som sträcker Java med stöd för informationsflödeskontroll och tillträdeskontroll, både vid kompileringen och vid körning.Källkoden för Jif kompilator och körtids Systemet är...
- Hem
- Stephen Chong, Andrew Myers and K. Vik...
- Utvecklingsverktyg