Java + informatiestroom (Jif in het kort) is een security-getypeerde programmeertaal Java verlengt met ondersteuning voor informatie flow control en toegangscontrole, zowel tijdens het compileren en tijdens runtime.De broncode voor de Jif compiler en...
- Startpagina
- Stephen Chong, Andrew Myers and K. Vik...
- Ontwikkeltools