Ditto

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 2.7/5 - ‎10 ‎投票

バグを見つけるためにランタイムデータ構造の不変式チェックを書きたいが、減速に耐えられない?ディットは助けるでしょう。このツールは、10 倍速く実行されるように、自動的にこのようなチェックを最適化します。PLDI 2007紙http://www.cs.berkeley.edu/~aj/cs/ditto.pdf

バージョン履歴

  • バージョン N/A に転記 2011-08-05
  • バージョン ditto%200.1 に転記 2003-01-22
    いくつかの修正と更新

プログラムの詳細