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