|
|
libcats.org
Variations on Constants: Flow Analysis of Sequential and Parallel ProgramsMarkus Müller-OlmProgram analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results. This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered, it combines techniques from different areas such as linear algebra, computable ring theory, abstract interpretation, program verification, complexity theory, etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study. After a general overview, the monograph consists of three essentially self-contained parts that can be read independently of each other. These parts study: a hierarchy of constants in sequential programs, inherent limits of flow analysis of parallel programs, and how to overcome these limits by abandoning a classic atomic execution assumption.
Скачать книгу бесплатно (pdf, 1.12 Mb)
Читать «Variations on Constants: Flow Analysis of Sequential and Parallel Programs» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Геометрия. Учебное пособие для 6-10 классовАвтор: Погорелов А.В.Категория: Mathematic
Размер книги: 5.51 Mb
The Life You Were Born to Live: A Guide to Finding Your Life PurposeАвтор: Dan Millman
Размер книги: 2.13 Mb
Climate Change, Ethics and Human SecurityАвтор: Karen O'Brien, Автор: Asuncion Lera St. Clair, Автор: Berit Kristoffersen
Размер книги: 1.13 Mb
Protecting Human Security in a Post 9 11 World: Critical and Global InsightsАвтор: Giorgio Shani, Автор: Makoto Sato, Автор: Mustapha Kamal Pasha
Размер книги: 981 Kb
Die Flieger von Antares. 8. Roman der Saga von Dray PrescotАвтор: Alan Burt Akers
Размер книги: 1.22 Mb
Global Environmental Change and Human SecurityАвтор: Richard A. Matthew, Автор: Jon Barnett, Автор: Bryan McDonald, Автор: Karen L. O'Brien, Автор: Geoffrey D. Dabelko
Размер книги: 1.27 Mb
The systems librarian: designing roles, defining skillsАвтор: Thomas Carl Wilson
Размер книги: 380 Kb
|
|
|