Reasoning About Program Transformations

Name: Reasoning About Program Transformations
Brand: Springer-Verlag New York Inc.
SKU: 9780387953915
Price: 51.73 EUR
Availability: InStock

Imperative Programming and Flow of Data

Автор: J.-F. Collard

Език:

Корици: С твърди корици

Издател: Springer-Verlag New York Inc.

Наличност: Външен склад

Изпращаме след 10-13 дни

51.73 € 101.18 лв

The book focuses on analyses that extract the flow of data, which imperative programming hides throu...

Информация за книгата

Автор

J.-F. Collard

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2002

страници

238

EAN

9780387953915

ISBN

0387953914

Enbook ID

01384384

Издател

Springer-Verlag New York Inc.

Теглоt

1210

Размери

155 x 235 x 19

Пълно описание

The book focuses on analyses that extract the flow of data, which imperative programming hides through its use and reuse of memory in computer systems and compilers. It details some program transformations that conserve this data flow and introduces a family of analyses, called reaching definition analyses, to do this task. In addition, it shows that correctness of program transformations is guaranteed by the conservation of data flow. Professionals and researchers in software engineering, computer engineering, program design analysis, and compiler design will benefit from its presentation of data-flow methods and memory optimization of compilers.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също