Reasoning about program transformations: imperative programming and flow of data

Jean-Francois Collard9780387953915, 0-387-95391-4

This new book provides a detailed, current, and pragmatic presentation of the program analyses and transformations that extract the flow of data in computer memory systems. Professionals, practitioners, and researchers in software engineering, computer engineering, program design analysis, and compiler design will benefit from its presentation of data-flow and memory optimization techniques and tools.

---

Table of contents :
ReasoningAboutProgramTransf1047_f.jpg……Page 1
1.pdf……Page 2
2.pdf……Page 18
3.pdf……Page 33
4.pdf……Page 34
5.pdf……Page 51
6.pdf……Page 70
7.pdf……Page 71
8.pdf……Page 89
9.pdf……Page 135
10.pdf……Page 155
11.pdf……Page 175
12.pdf……Page 176
13.pdf……Page 206
14.pdf……Page 222
15.pdf……Page 234
16.pdf……Page 239