Электронная библиотека (репозиторий) Томского государственного университета
Сороковиков, Никита Викторович

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Система типов и алгоритм вывода для ассемблера x86_64: дипломная работа (проект) специалиста по направлению подготовки: 10.05.01 - Компьютерная безопасность
Authors: Сороковиков, Никита Викторович
Type: дипломная работа (проект) специалиста
Date: 2021
Add   Создание системы типов для семейства языков ассемблера
Authors: Сороковиков, Никита Викторович
Source: Прикладная дискретная математика. Приложение. 2018. № 11. С. 136-138
Type: статьи в журналах
Date: 2018
Description: Строится система типов для семейства языков ассемблера, в том числе формально определяются команды, программы и термы языка. Показывается разрешимость задач населённости и проверки типа для ассемблеро ... More
Add   Метод идентификации соглашений о вызове функций в бинарных приложениях
Authors: Станчин, Максим Андреевич | Сороковиков, Никита Викторович
Source: Прикладная дискретная математика. Приложение. 2017. № 10. С. 122-123
Type: статьи в журналах
Date: 2017
Description: Предлагается метод определения соглашений о вызове функций в бинарных приложениях.
  • «
  • ←
  • 1
  • →
  • »
^