Поиск утечек памяти в динамических структурах списочного типа путем применения 2SAT-задачи
| Опубликовано в: : | Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г. С. 154-171 |
|---|---|
| Главный автор: | |
| Другие авторы: | |
| Формат: | Статья в сборнике |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001151894 Перейти в каталог НБ ТГУ |
| Библиография: | Библиогр.: 12 назв. |
|---|---|
| ISBN: | 9785907890152 |