Название: Lecture Notes on Static Analysis Автор: Michael I. Schwartzbach Издательство: University of Aarhus Год: 2015 Формат: pdf Страниц: 58 Размер: 0.3 mb. Язык: English
These notes present principles and applications of static analysis of programs. We cover type analysis, lattice theory, control flow graphs, dataflow analysis, fixed-point algorithms, narrowing and widening, interprocedural analysis, control flow analysis, and pointer analysis. A tiny imperative programming language with heap pointers and function pointers is subjected to numerous different static analyses illustrating the techniques that are presented.
The style of presentation is intended to be precise but not overly formal. The readers are assumed to be familiar with advanced programming language concepts and the basics of compiler construction.
Data Structures and Algorithm Analysis in Java Название: Data Structures and Algorithm Analysis in Java Автор: Mark A. Weiss Издательство: Pearson Год: 2011 Формат: PDF Страниц: 648 Для сайта:...
Exploratory Data Analysis with R Название: Exploratory Data Analysis with R Автор: Roger D. Peng Издательство: Leanpub Год: 2015 Страниц: 125 Формат: True PDF Размер: 10 Mb Язык:...
Навигация
Вход на сайт
Реклама
Lecture Notes on Static Analysis 
