< ADD 2010: Отчет Глеба Тарасова
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
- Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)
По сравнению с первым прогоном на нашей демонстрации прогресс был просто огромный. Доклад прошел практически без накладок. Единственное, что Леша забыл рассказать, как структура Крипке разворачивается в бесконечное дерево, поэтому дальше народ немного перестал понимать суть, но те кто понял — прониклись. Недостатком было, что рассказывали про абстрактный «наш фреймворк» без ссылок, где он выложен в OpenSource. К SECR-у если его уже не выложим, будет совсем глупо.
