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