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

Viktor Pavlu

Shape-Based Alias Analysis. Computing Alias Sets from Shape Graphs to Evaluate the Precision of Shape Analyses

Код 916821

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Shape-Based Alias Analysis. Computing Alias Sets from Shape Graphs to Evaluate the Precision of Shape Analyses"

Shape analysis is a static code analysis technique for discovering properties of heap-allocated data structures. Such information is crucial to find software bugs at compile-time or to verify high-level correctness properties. Various analyses have been introduced but their relation in terms of precision often remains unclear as analyses cannot be compared directly due to different representations of analysis results. The aim of our work is to compare the precision of shape analyses by...

Оставить замечание о найденной опечатке Версия для печати

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

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

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6392-4965-1
Объём: 132 страниц
Масса: 221 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

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

Психиатрия детского возраста. Руководство для врачей
Психиатрия детского возраста. Руководство для... бумажная книга
Игорь Макаров
29.96 USD
В корзину
Большая книга огня
Большая книга огня бумажная книга
Наталья Степанова
Нет в продаже
#Мой малой. Как не потерять связь с детьми, когда они взрослеют
#Мой малой. Как не потерять связь с детьми,... бумажная книга
Алексей Владимирович...
Нет в продаже
Дары несовершенства: Как полюбить себя таким, какой ты есть
Дары несовершенства: Как полюбить себя таким,... бумажная книга
Брене Браун
Нет в продаже
21 предмет, который Ванга велела в доме иметь
21 предмет, который Ванга велела в доме иметь бумажная книга
Нет в продаже
Театр. Актер. Режиссер: Краткий словарь терминов и понятий
Театр. Актер. Режиссер: Краткий словарь... бумажная книга
Анастасия Савина
Нет в продаже

Просмотренные товары

Просмотренные категории

Анекдоты, юмор Мемуары, биографии Шитье