サクサク読めて、アプリ限定の機能も多数!
terazzo のブックマーク 2011/07/10 23:39
Coqで分離論理(separation logic) - keigoiの日記[Coq]2011/07/10 23:39
このブックマークにはスターがありません。 最初のスターをつけてみよう!
keigoi.hatenadiary.org2011/07/10
分離論理は、ヒープ領域に関する論理結合子をもつ論理体系だ。ホーア論理の拡張であり、ヒープを使うプログラムの仕様を書いたり検証したりといったことに使える。 具体的には、 A ∧ B (AかつB) によく似た、 A *...
11 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
terazzo のブックマーク 2011/07/10 23:39
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Coqで分離論理(separation logic) - keigoiの日記
keigoi.hatenadiary.org2011/07/10
分離論理は、ヒープ領域に関する論理結合子をもつ論理体系だ。ホーア論理の拡張であり、ヒープを使うプログラムの仕様を書いたり検証したりといったことに使える。 具体的には、 A ∧ B (AかつB) によく似た、 A *...
11 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /