Java + การไหลของข้อมูล (Jif ในระยะสั้น) เป็นภาษาโปรแกรมรักษาความปลอดภัยที่ขยายพิมพ์ Java ด้วยการสนับสนุนสำหรับการควบคุมการไหลของข้อมูลและการควบคุมการเข้าถึงทั้งที่รวบรวมเวลาและในเวลาทำงานรหัสที่มาสำหรับคอมไพเลอร์ Jif...
- หน้าแรก
- Stephen Chong, Andrew Myers and K. Vik...
- เครื่องมือสำหรับนักพัฒนา