Это написано в вики-записи Символического Выполнения , но я не могу найти для этого никакой ссылки. Кто-нибудь может показать мне указатель?
Недавно я заинтересовался общей проблемой оптимизации использования памяти в ситуации, когда доступно более одного вида памяти, и существует компромисс между емкостью данного сегмента памяти и скоростью доступа к нему. Знакомый пример - программа, решающая, когда читать / записывать в кэш...
Я пишу магистерскую диссертацию по CS и работаю с анализом псевдонимов. То, что меня интересует, - это внутрипроцедурный, чувствительный к потоку анализ обязательных и возможных псевдонимов для подобных Java языков. Я ищу тексты, которые подробно описывают основы этого предмета, но не смогли найти...
Сейчас я пытаюсь лучше понять, что такое «абстрактная интерпретация» в языках программирования. Я нашел хорошую главу книги, которая объясняет идею расширения области с помощью наименее фиксированного элемента, четырех аксиом, которые дают фиксированную точку для непрерывной функции, и так далее. Я...