サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
衆院選
www.cs.utexas.edu/~bendy
Core Featherweight Java (cFJ) is a variant of Featherweight Java without casts. This Coq development is meant to demonstrate how to design mechanized metatheory definitions and proofs in an extensible way. There are a number of different features that can be added to uFJ to build new variants of the language. These proofs were checked with Coq version version 8.3pl2. Earlier versions of Coq might
このページを最初にブックマークしてみませんか?
『www.cs.utexas.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く