|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Логико-термальная эквивалентность программ с динамической памятьюдоклад на конференции
- Авторы: Новикова Т.А., Захаров В.А.
- Международная Конференция : IX Международная конференция "Дискретные модели в теории управляющих систем"
- Даты проведения конференции: 20-22 мая 2015
- Дата доклада: 22 мая 2015
- Тип доклада: Устный
- Докладчик: Новикова Т.А.
- Место проведения: Москва и Подмосковье, Russia
-
Аннотация доклада:
В докладе представлено текущее исследование вопроса о возможности введения логико-термальной эквивалентности для программ с динамической памятью. Рассмотрены так называемые указательные термы, которые могут содержать в качестве подтермов указатели и ссылки.
- Добавил в систему: Новикова Татьяна Анатольевна