Литература по анализу псевдонимов

10

Я пишу магистерскую диссертацию по CS и работаю с анализом псевдонимов. То, что меня интересует, - это внутрипроцедурный, чувствительный к потоку анализ обязательных и возможных псевдонимов для подобных Java языков.

Я ищу тексты, которые подробно описывают основы этого предмета, но не смогли найти ничего действительно подходящего.

Я пережил много учебников по компиляторам и статическому анализу, но ничего там не нашел.

Я нашел много работ, в которых используется анализ псевдонимов, но большинство из них посвящены проблеме, к которой применяется анализ псевдонимов, и не описывают алгоритмы анализа псевдонимов в деталях. Другие сосредотачиваются на C, который не подходит из-за дополнительной сложности общих указателей.

Лучший текст, который я нашел, - это статья « Составной указатель и анализ побега для программ Java » Уэйли и Ринарда. Это блестящая статья и хорошая отправная точка, но в ней специально не обсуждается анализ псевдонимов.

Проблема кажется настолько общей, что я ожидал, что для ее решения будут доступны некоторые канонические алгоритмы.

У кого-нибудь есть ссылки на тексты на эту тему?

Lii
источник

Ответы:

9

Недавно был опубликован обзорный документ по анализу псевдонимов для объектно-ориентированных программ .

Он будет опубликован в апреле в современном выпуске LNCS (необоснованное рекламное предупреждение): алиасинг в объектно-ориентированном программировании : типы, анализ и проверка. Конспект лекций в области компьютерных наук, том. 7850. Дейв Кларк, Тобиас Вригстад, Джеймс Нобл (ред.)

Дэйв Кларк
источник
Это кажется интересным, спасибо. Подход, который они описывают, кажется, не подходит для моих нужд, но статья может привести меня к чему-то еще.
Lii