Trending Bestseller

Reasoning About Program Transformations

Imperative Programming and Flow of Data

No reviews yet Write a Review
Hardback
16 October 2002
$115.93
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
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.

You Can Find This Title In

    Product Details
    ISBN-13
    9780387953915
    Author
    Jean-Francois Collard
    Publisher
    Springer Nature B.V.
    Published
    16 October 2002
    Format
    Hardback

    This product hasn't received any reviews yet. Be the first to review this product!

    $115.93
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Reasoning About Program Transformations

    $115.93

    Description

    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.

    You Can Find This Title In

      This Title Is Categorised As