Ditto
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 2.7/5 - 10 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О Ditto
Хотите написать структуру данных выполнения invariant проверить, чтобы найти ошибку, но не может выдержать замедление? То же самое поможет. Он автоматически оптимизирует такие проверки так, чтобы они запускаются в 10 раз быстрее и более. PLDI 2007 бумажный http://www.cs.berkeley.edu/~aj/cs/ditto.pdf