バグを見つけるためにランタイムデータ構造の不変式チェックを書きたいが、減速に耐えられない?ディットは助けるでしょう。このツールは、10 倍速く実行されるように、自動的にこのようなチェックを最適化します。PLDI 2007紙http://www.cs.berkeley.edu/~aj/cs/ditto.pdf
バージョン履歴
- バージョン N/A に転記 2011-08-05
- バージョン ditto%200.1 に転記 2003-01-22
いくつかの修正と更新
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: ditto-java.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows