Path-Oriented Program Analysis

Huang J. C. (EN)
Рейтинг 0
  • Понравилось: 0
  • В библиотеках: 0
  • 37
  • 0
  • 0

Скачать книгу в формате:

Аннотация

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms. This method enables us to divide and conquer the complexity involved in understanding the computation performed by a program by decomposing it into a set of subprograms and then simplifying them to the furthest extent possible. The resulting simplified subprograms are generally more understandable than the original program as a whole. The method may also be used to simplify a piece of source code by following the path-oriented method of decomposition, simplification, and recomposition. The analysis may be carried out in such a way that the derivation of the analysis result constitutes a correctness proof. The method can be applied to any source code (or portion thereof) that prescribes the computation to be performed in terms of assignment statements, conditional statements, and loop constructs, regardless of the language or paradigm used.

ЕЩЕ



Отзывы

Популярные книги

Приветствуем тебя, неведомый ценитель литературы. Если ты читаешь этот текст, то книга "Path-Oriented Program Analysis" Huang J. C. (EN) небезосновательно привлекла твое внимание. Темы любви и ненависти, добра и зла, дружбы и вражды, в какое бы время они не затрагивались, всегда остаются актуальными и насущными. Произведение пронизано тонким юмором, и этот юмор, будучи одной из форм, способствует лучшему пониманию и восприятию происходящего. Отличительной чертой следовало бы обозначить попытку выйти за рамки основной идеи и существенно расширить круг проблем и взаимоотношений. Портрет главного героя подобран очень удачно, с первых строк проникаешься к нему симпатией, сопереживаешь ему, радуешься его успехам, огорчаешься неудачами. На первый взгляд сочетание любви и дружбы кажется обыденным и приевшимся, но впоследствии приходишь к выводу очевидности выбранной проблематики. Одну из важнейших ролей в описании окружающего мира играет цвет, он ощутимо изменяется во время смены сюжетов. Несмотря на изумительную и своеобразную композицию, развязка потрясающе проста и гениальна, с проблесками исключительной поэтической силы. По мере приближения к исходу, важным становится более великое и красивое, ловко спрятанное, нежели то, что казалось на первый взгляд. Гармоничное взаимодоплонение конфликтных эпизодов с внешней окружающей реальностью, лишний раз подтверждают талант и мастерство литературного гения. Благодаря динамичному и увлекательному сюжету, книга держит читателя в напряжении от начала до конца. "Path-Oriented Program Analysis" Huang J. C. (EN) читать бесплатно онлайн можно неограниченное количество раз, здесь есть и философия, и история, и психология, и трагедия, и юмор…

Читать Path-Oriented Program Analysis

Новинки

Твой ребёнок будет моим
  • 15
  • 0
  • 0

Аннотация:

.   — Ты подвозил сегодня кого-то?Он замирает на третьей ступени, оборачивается через пле...

Полный текст — 56 стр.

.   — Ты подвозил сегодня кого-то?Он замирает на третьей ступени, оборачивается через пле...

Ртутные сердца
  • 9
  • 0
  • 0

Аннотация:

Венеция на закате магии и в расцвете науки. Молодой ученый Валентино ди Комето влюблен в Софи, дочь ...

Полный текст — 62 стр.

Венеция на закате магии и в расцвете науки. Молодой ученый Валентино ди Комето влюблен в Софи, дочь ...

Творец. Книга первая
  • 17
  • 0
  • 0

Аннотация:

Мария – начинающий талантливый художник. По странному стечению обстоятельств её незавершённая раб...

Полный текст — 26 стр.

Мария – начинающий талантливый художник. По странному стечению обстоятельств её незавершённая раб...

Харам
  • 38
  • 0
  • 0

Жанр: Разное

Аннотация:

Андрей пытается начать все с чистого листа. Оставить в прошлом долги, коллекторов и бывшую жену. ...

Полный текст — 107 стр.

Андрей пытается начать все с чистого листа. Оставить в прошлом долги, коллекторов и бывшую жену. ...

Верхний мир. Книга 1. Дети Кроноса
  • 11
  • 0
  • 0

Аннотация:

В Минске вместе с обычными людьми живут иноморфы – монстры из белорусской мифологии. В узде их держа...

Полный текст — 82 стр.

В Минске вместе с обычными людьми живут иноморфы – монстры из белорусской мифологии. В узде их держа...

Шторм ярости и мести
  • 23
  • 0
  • 0

Аннотация:

Единственный способ выжить в королевстве монстров — это самому стать одним из них. Предначерт...

Полный текст — 206 стр.

Единственный способ выжить в королевстве монстров — это самому стать одним из них. Предначерт...

Мажор. Крошка, будешь моей.
  • 121
  • 1
  • 0

Аннотация:

— Не вмешивайся в моё общение. Не угрожай людям. Не говори им, что я занята тобой. Я сама решаю, с к...

Полный текст — 85 стр.

— Не вмешивайся в моё общение. Не угрожай людям. Не говори им, что я занята тобой. Я сама решаю, с к...