F* における検証されたプログラミング

テクノロジーカテゴリーの変更を依頼記事元:

fstar-ja.metasepi.org

7 usersがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

F* における検証されたプログラミング

(訳注: この日本語マニュアルは Verified programming in F* の翻訳です。翻訳に参加するには翻訳リポ... (訳注: この日本語マニュアルは Verified programming in F* の翻訳です。翻訳に参加するには翻訳リポジトリを参照してください。) 1. イントロダクション F* は検証指向のプログラミング言語で、Microsoft Research, MSR-Inria, Inria によって開発されています。それは、型付で正格な関数型プログラミング言語である ML 族の言語の伝統を受け継いでいます。けれども、その型システムは ML のそれよりも著しく豊かで、表明されて半自動的に検査される関数的な正確さの仕様を許します。このチュートリアルは F* における検証されたプログラミングの最初の体験を提供します。論文とテクニカルレポートを含む F* に関するより多くの情報が F* ウェブサイトで見つかります。もし ML 族の関数型プログラミング言語 (例: OCaml,

ブックマークしたユーザー

azyobuzin2017/10/24
aetos3822017/10/24
emonkak2016/08/11
horikoshijiro2016/07/25
siburu2016/07/25
mickn2016/07/24

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx