| Найдено документов - 1 | Выборка докусментов | Версия для печати |
Сортировать по:
1. Статья
Лыгин Леонид Ильич.
Исчисления алиасов для Cи-подобных языков / Лыгин Леонид Ильич, Шилов Николай Вячеславович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 199-203. - Библиогр.: с. 202 (3 назв.).
Исчисления алиасов для Cи-подобных языков / Лыгин Леонид Ильич, Шилов Николай Вячеславович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 199-203. - Библиогр.: с. 202 (3 назв.).
Авторы: Лыгин Леонид Ильич, Шилов Николай Вячеславович
Ключевые слова: Модели памяти, Адресная арифметика, Исчисление алиасов, Проблема алиасинга, Арифметика Пресбургера
Ссылка на ресурс: http://megapro.tversu.ru/megaPro/UserEntry?Action=FindDocs&ids=5455324
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/151517t.pdf
Подробнее
Аннотация: В нашей работе мы представляем реализацию двух вариантов исчисления алиасов (синонимичных адресов) для языка с адресной арифметикой — варианта, описанного в работе [2], и нового «легкого» варианта для обнаружения утечек памяти. Разработка наших вариантов исчисления была вдохновлена исчислением алиасов для языка без адресной арифметики из работы.