Автор(ы): | Сучков Д. В. |
Заглавие: | Статический верификатор корректности используемых GC-указателей в LLVM : выпускная квалификационная работа, научный руководитель Малявко Александр Антонович |
Выходные данные: | Новосибирск, 2018 |
Полный текст: |
перейти / скачать файл |
Тип: | выпускные квалификационные работы |
Кафедра/ подразделение-разработчик: |
каф. ВТ (факультет АВТФ) |