Reasoning About Program Transformations

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

Imperative Programming and Flow of Data

Autor: J.-F. Collard

Jazyk:

Väzba: Pevná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

54.21 €

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

Informácie o knihe

Autor

J.-F. Collard

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2002

Stránok

238

EAN

9780387953915

ISBN

0387953914

Enbook ID

01384384

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

1210

Rozmery

155 x 235 x 19

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež