サクサク読めて、アプリ限定の機能も多数!
実用性は把握していないけど Isabell/HOL もコード抽出ができるみたい "Code generation from Isabelle/HOL theories" 。検証フレームワークを体系的に学ぶのではなく言語レベルでの制約(Rust のメモリ安全等)がこれから流行るのではと思う
kirakking のブックマーク 2021/03/25 13:55
形式手法はなぜ流行っていないのか - Qiita[formal method][programming]実用性は把握していないけど Isabell/HOL もコード抽出ができるみたい "Code generation from Isabelle/HOL theories" 。検証フレームワークを体系的に学ぶのではなく言語レベルでの制約(Rust のメモリ安全等)がこれから流行るのではと思う2021/03/25 13:55
実用性は把握していないけど Isabell/HOL もコード抽出ができるみたい "Code generation from Isabelle/HOL theories" 。検証フレームワークを体系的に学ぶのではなく言語レベルでの制約(Rust のメモリ安全等)がこれから流行るのではと思う
このブックマークにはスターがありません。 最初のスターをつけてみよう!
qiita.com/autotaker19842021/03/25
はじめに みなさん形式手法をご存知でしょうか? 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されている...
264 人がブックマーク・34 件のコメント
\ コメントが サクサク読める アプリです /
実用性は把握していないけど Isabell/HOL もコード抽出ができるみたい "Code generation from Isabelle/HOL theories" 。検証フレームワークを体系的に学ぶのではなく言語レベルでの制約(Rust のメモリ安全等)がこれから流行るのではと思う
このブックマークにはスターがありません。
最初のスターをつけてみよう!
形式手法はなぜ流行っていないのか - Qiita
はじめに みなさん形式手法をご存知でしょうか? 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されている...
264 人がブックマーク・34 件のコメント
\ コメントが サクサク読める アプリです /