Bäst Tolkar och kompilatorer För Stephen Chong, Andrew Myers and K. Vik...

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...