Stock image for illustration purposes only - book cover, edition or condition may vary.
Reasoning About Program Transformations
Jean-Francois Collard
€ 68.53
FREE Delivery in Ireland
Description for Reasoning About Program Transformations
Hardback. A presentation of the program analyses and transformations that extract the flow of data in computer memory systems. It emphasises on a framework for the optimization of code for imperative programs and greater computer systems efficiency. It shows that correctness of program transformations is guaranteed by the conservation of data flow. Num Pages: 238 pages, biography. BIC Classification: UMC; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1210.
Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines—frameworks we inherited from designs made ... Read more
Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines—frameworks we inherited from designs made ... Read more
Product Details
Format
Hardback
Publication date
2002
Publisher
Springer-Verlag New York Inc. United States
Number of pages
238
Condition
New
Number of Pages
238
Place of Publication
New York, NY, United States
ISBN
9780387953915
SKU
V9780387953915
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Reasoning About Program Transformations