F*

F*

F *は、プログラムの検証を目的としたMLに似た関数型プログラミング言語です。F *は、機能の正確さのプロパティなど、プログラムの正確な仕様を表現できます。F *で書かれたプログラムは、実行のためにOCamlまたはF＃に変換できます。
F *（Fスターと発音）は、プログラムの検証を目的としたMLに似た関数型プログラミング言語です。型システムには、多型、依存型、単項効果、洗練型、および最も弱い前提条件計算が含まれます。これらの機能を組み合わせることで、機能の正確性プロパティなど、プログラムの正確でコンパクトな仕様を表現できます。F *型チェッカーは、SMT解法と手動校正の組み合わせを使用して、プログラムが仕様を満たしていることを証明することを目的としています。F *で書かれたプログラムは、実行のためにOCamlまたはF＃に変換できます。
f-

ウェブサイト:

特徴

カテゴリー

AndroidのF*の代替

Hi Security

Hi Security

こんにちはセキュリティは、すべてのウイルス攻撃からあなたのAndroid携帯電話を保護する世界クラスの無料アンチウイルスです。
get2clouds

get2clouds

RC4暗号化を使用してデータを2回暗号化し、セキュアソケットレイヤー（https）を介して送信します。このエンドツーエンド（E2E）暗号化により、ユーザー以外によるデータの傍受またはアクセスが不可能になります。