Cart
  • Free Shipping on all orders in Australia
  • Over 7 million books in stock
  • Proud to be B-Corp
  • We aim to be carbon neutral by 2022
  • Over 120,000 Trustpilot reviews
Item 1 of 0
Reasoning About Program Transformations By Jean-Francois Collard

Reasoning About Program Transformations by Jean-Francois Collard

Condition - New
$144.59
Only 2 left

Summary

The text contains a detailed and current presentation of the program analyses and transformations that extract the flow of data in computer memory systems.

This book will be specially printed for your order, which means it may take a little longer to arrive (5 days). We do this to cut down on waste & to help protect our planet.

Reasoning About Program Transformations Summary

Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard

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.

Table of Contents

* Introduction * Describing program executions * Labels * Revisiting some classical compiler concepts * Reaching defintion analysis * Applications of reaching definition analysis * Some classical compiler concepts, part II * Single assignment forms * Maximal static expansion * Parallel languages * Toward algorithm recognition * References * Index

Additional information

NLS9781441929815
9781441929815
1441929819
Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard
New
Paperback
Springer-Verlag New York Inc.
2010-12-03
238
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - Reasoning About Program Transformations