Reasoning About Program Transformations

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

Imperative Programming and Flow of Data

Autor: J.-F. Collard

Limbă:

Legare: Copertă tare

Editura: Springer-Verlag New York Inc.

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

Autor

J.-F. Collard

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2002

Pagini

238

EAN

9780387953915

ISBN

0387953914

Enbook ID

01384384

Editura

Springer-Verlag New York Inc.

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

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

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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