Анализ поведения программ

Смелянский Р.Л. - М.: Факультет Вычислительной математики и кибернетики МГУ, 2009. – 22 слайда. Содержание:
Природа программ.
О различных толкованиях поведения программы.
Оценка производительности.
Синтез структуры вычислителя.
WCET.
Верификация программ.
Отладка и тестирование программ.
Оптимизация, декомпиляция, планирование.