Reasoning About Program Transformations

Name: Reasoning About Program Transformations
Brand: Springer, Berlin
SKU: 9781441929815
Price: 271.62 RON
Availability: InStock

Imperative Programming and Flow of Data

Autor: Jean-Francois Collard

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

271.62 lei

The text contains a detailed and current presentation of the program analyses and transformations th...

Informații despre carte

Autor

Jean-Francois Collard

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2010

Pagini

237

EAN

9781441929815

ISBN

1441929819

Enbook ID

01421702

Editura

Springer, Berlin

Greutate

403

Dimensiuni

155 x 235 x 13

Descriere completă

The text contains a detailed and current presentation of the program analyses and transformations that extract the flow of data in computer memory systems. The emphasis is on a framework for the optimization of code for imperative programs and greater computer systems efficiency. In addition, the author 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