Запитання з тегом «program-analysis»


1
Який стан теорії алгоритму кешу?
Нещодавно я зацікавився загальною проблемою оптимізації використання пам’яті в ситуації, коли доступно більше одного виду пам’яті, і існує компроміс між ємністю певного сегмента пам’яті та швидкістю доступу до неї. Знайомий приклад - програма, яка вирішує, коли читати з / запису в кеш процесора, оперативної пам’яті та жорсткого диска (через віртуальну …

1
Література з аналізу псевдонімів
Я пишу магістерську роботу в КС і працюю з аналізом псевдонімів. Мене цікавить те, що це внутрішньопроцедурний, чутливий до потоку аналіз обов'язкових і псевдонімів для язиків, схожих на Java. Я шукаю тексти, які детально описують основи цієї теми, але не змогли знайти нічого, що насправді підходить. Я пережив низку підручників …

2
Яка мета абстрактного тлумачення в мовах програмування?
Зараз я намагаюся краще зрозуміти, що таке "абстрактне тлумачення" в мовах програмування. Я знайшов хорошу главу книги, яка пояснює ідею розширення домену найменш фіксованим елементом, чотирма аксіомами, які дають фіксовану точку для безперервної функції тощо. Я розумію ці технічні деталі (хоча я не зовсім впевнений, на що саме йдеться "абстрактна …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.