Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
Сороковиков, Никита Викторович
Add to Quick Collection
Description
Size
Format
Создание системы типов для семейства языков ассемблера
536 KB
Adobe Acrobat PDF
View Details
Download
DOI Доступ к ресурсу на сайте издателя
10.17223/2226308X/11/42
Title
Создание системы типов для семейства языков ассемблера
Creator
Сороковиков, Никита Викторович
Subject
Ассемблер
статический анализ
семейства языков
программы
термы
Date
2018
DOI
10.17223/2226308X/11/42
Description
Строится система типов для семейства языков ассемблера, в том числе формально определяются команды, программы и термы языка. Показывается разрешимость задач населённости и проверки типа для ассемблеров с командами mov и jz.
Relationships
Show Relationship Browser for this Object
collection(s)
Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Identifier
vtls:000632787
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000632787
Type
статьи в журналах
Source
Прикладная дискретная математика. Приложение. 2018. № 11. С. 136-138
Language
rus
583 Visitors
508 Hits
89 Downloads
Preview
Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Создание системы типов для семейства языков ассемблера
^ DIV >