のJava +情報の流れ(短期でJIF)は、コンパイル時と実行時の両方で、情報フロー制御とアクセス制御をサポートしてJavaを拡張し、セキュリティ型付けプログラミング言語です。JIFコンパイラとランタイムシステムのソースコードがダウンロードできるようになりました。...
- ホームページ
- Stephen Chong, Andrew Myers and K. Vik...
最近閲覧ソフト
-
Freqq 15 Apr 15
-
PLT Export for IntelliCAD 10 Jul 15
-
CPP Indexer 30 Oct 15
人気のソフトウェア
-
Java + information flow 3 Jun 15
ベスト ソフトウェア のために Stephen Chong, Andrew Myers and K. Vik...
最近閲覧ソフト
-
Freqq 15 Apr 15
-
PLT Export for IntelliCAD 10 Jul 15
-
CPP Indexer 30 Oct 15
人気のソフトウェア
-
Java + information flow 3 Jun 15