![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
В докладе представлено текущее исследование вопроса о возможности введения логико-термальной эквивалентности для программ с динамической памятью. Рассмотрены так называемые указательные термы, которые могут содержать в качестве подтермов указатели и ссылки.