Вопросы с тегом «program-analysis»

Это написано в вики-записи Символического Выполнения , но я не могу найти для этого никакой ссылки. Кто-нибудь может показать мне указатель? Спасибо.

15 reference-request  lo.logic  program-analysis 

Недавно я заинтересовался общей проблемой оптимизации использования памяти в ситуации, когда доступно более одного вида памяти, и существует компромисс между емкостью данного сегмента памяти и скоростью доступа к нему. Знакомый пример - программа, решающая, когда читать / записывать в кэш процессора, ОЗУ и жесткий диск (через виртуальную память). Меня особенно …

14 optimization  program-analysis 

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

10 reference-request  pl.programming-languages  compilers  program-analysis 

Сейчас я пытаюсь лучше понять, что такое «абстрактная интерпретация» в языках программирования. Я нашел хорошую главу книги, которая объясняет идею расширения области с помощью наименее фиксированного элемента, четырех аксиом, которые дают фиксированную точку для непрерывной функции, и так далее. Я понимаю эти технические детали (хотя я не совсем уверен, что …

9 pl.programming-languages  program-analysis