|
|
libcats.org
Static AnalysisManuel Hermenegildo, German PueblaThis book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002. The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, sematics and abstract verification, and termination analysis.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Bump in The NightАвтор: Robb J. D., Автор: Blayney Mary, Автор: Langan Ruth Ryan, Автор: Mccomas Mary KayКатегория: Триллер
Размер книги: 676 Kb
Только там, где движутся светилаАвтор: Кубатиев АланКатегория: Научная Фантастика
Размер книги: 46 Kb
Physik fuer IngenieureАвтор: Ekbert Hering, Автор: Rolf Martin, Автор: Martin Stohrer, Автор: W. Schulz, Автор: G. KurzКатегория: Physics, General courses
Размер книги: 10.35 Mb
Серия 1.050.1-2 Сборные железобетонные марши, площадки и проступи для..Автор: ГОССТРОЙ СССРКатегория: Нормативная литература
Размер книги: 4.23 Mb
Water Footprint and Virtual Water Trade in Spain: Policy Implications (Natural Resource Management and Policy)Автор: Alberto Garrido, Автор: M. Ramon Llamas, Автор: Consuelo Varela-Ortega, Автор: Paula Novo, Автор: Roberto Rodriguez-Casado, Автор: Maite M. AldayaКатегория: Общественные науки прочие, Политика
Размер книги: 5.23 Mb
Оптические солитоны. От волоконных световодов до фотонных кристалловАвтор: Кившарь Ю. С, Автор: Агравал Г. П.
Размер книги: 16.58 Mb
|
|
|