Хотите написать структуру данных выполнения invariant проверить, чтобы найти ошибку, но не может выдержать замедление? То же самое поможет. Он автоматически оптимизирует такие проверки так, чтобы они запускаются в 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