Reasoning About Program Transformations

Name: Reasoning About Program Transformations
Brand: Springer, Berlin
SKU: 9781441929815
Price: 19346 HUF
Availability: InStock

Imperative Programming and Flow of Data

Szerző: Jean-Francois Collard

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 346 Ft

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

Információk a könyvről

Szerző

Jean-Francois Collard

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

237

EAN

9781441929815

ISBN

1441929819

Enbook ID

01421702

Kiadó

Springer, Berlin

Súly

403

Méretek

155 x 235 x 13

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták