 | dk可能性のある不変量の動的検出の実装。 |
| 今すぐダウンロード | |
dk ランキングとまとめ
広告
- ライセンス:
- Open Software License
- 価格:
- FREE
- 出版社名:
- Michael Ernst
- 出版社のWebサイト:
- http://pag.csail.mit.edu/daikon/
dk タグ
dk 説明
可能性のある不変量の動的検出の実装 Daikonは、不変性の動的な検出の実装です。 Invariantはプロパティです（ "x = 2 * y 5"や "this.next.prev =このリリースの新機能によって並べ替えられています。 ・Kvasirのx86-64ホストとC ++プログラムのサポートが改善されました。
dk 関連ソフトウェア
