Carte Reasoning About Program Transformations J.-F. Collard

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Autor: J.-F. Collard
Limbă: engleză
Legare: Copertă tare
Disponibilitate: În depozitul extern
Expediem în 10-13 zile
271.97 lei
The book focuses on analyses that extract the flow of data, which imperative programming hides throu...

Informații despre carte

Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2002
Pagini
238
EAN
9780387953915
ISBN
0387953914
Enbook ID
01384384
Greutate
1210
Dimensiuni
155 x 235 x 19

Descriere completă

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.

S-ar putea să te intereseze

465.38 lei
277.75 lei
277.75 lei

Debugging with GDB

RICHARD STALLMAN
184.28 lei
97.81 lei
72.29 lei
69.15 lei

Nemesis

Kincaid
97.60 lei

Lauri's Pocket Posh Journal, Mum

Andrews McMeel Publishing
41.71 lei
134.77 lei
164.84 lei
160.28 lei

Oman

Inc. IBP
386.29 lei

Clienții care au cumpărat această carte au mai cumpărat și

El Universo

Riaza Morales
133.04 lei

Вьюрки

Дарья Бобылева
142.16 lei
159.58 lei

Jours d'épreuve

Paul Margueritte
64.09 lei