книги Компьютеры и Интернет Устройство компьютера, “железо”

Abstract Interpretation

Код 958215

Нет в продаже

Аннотация к книге "Abstract Interpretation"

In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g. control structure, flow of information) without performing all the calculations. Its main concrete application is formal static analysis, the automatic extraction of information about the possible...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1307-6603-0
Объём: 88 страниц
Масса: 153 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают