Reasoning About Program Transformations

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

Imperative Programming and Flow of Data

Szerző: J.-F. Collard

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag New York Inc.

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

Küldés 10-13 napon belül

17 857 Ft

The book focuses on analyses that extract the flow of data, which imperative programming hides throu...

Információk a könyvről

Szerző

J.-F. Collard

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2002

oldal

238

EAN

9780387953915

ISBN

0387953914

Enbook ID

01384384

Kiadó

Springer-Verlag New York Inc.

Súly

1210

Méretek

155 x 235 x 19

Teljes leírás

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.

É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