Kniha Reasoning About Program Transformations J.-F. Collard

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Autor: J.-F. Collard
Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-13 dní
49.06
The book focuses on analyses that extract the flow of data, which imperative programming hides throu...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2002
Stránok
238
EAN
9780387953915
ISBN
0387953914
Enbook ID
01384384
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ť

50.14
50.14

Debugging with GDB

RICHARD STALLMAN
31.79
16.18
12.45
11.87

Nemesis

Kincaid
17.56

Lauri's Pocket Posh Journal, Mum

Andrews McMeel Publishing
7.06
25.61
29.24
27.67

Oman

Inc. IBP
73.50

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

El Universo

Riaza Morales
25.31

Вьюрки

Дарья Бобылева
26.98
30.32

Jours d'épreuve

Paul Margueritte
10.98