Reasoning About Program Transformations Image close
Reasoning About Program Transformations by Jean-Francois Collard
Reasoning About Program Transformations by Jean-Francois Collard
Show Hide Adult Content
Reasoning About Program Transformations close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Programming languages

Reasoning About Program Transformations

Imperative Programming and Flow of Data
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$146.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $36.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

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.
Release date Australia
December 3rd, 2010
Audience
  • Professional & Vocational
Edition
Softcover reprint of the original 1st ed. 2003
Illustrations
XVIII, 238 p.
Pages
238
Dimensions
156x234x13
ISBN-13
9781441929815
Product ID
8939017

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Jean-Francois Collard

See all books by this author

Reasoning About Program Transformations on Hardback by Jean-Francois Collard Save $18
$151.99
$170.95
Reasoning About Program Transformations
by Jean-Francois Collard ~ Hardback
Available - Usually ships in 3-4 weeks
Hands-On Data Analysis in R for Finance on Hardback by Jean-Francois Collard
$164.99
Hands-On Data Analysis in R for Finance
by Jean-Francois Collard ~ Hardback
Available - Usually ships in 2-3 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer Programming >
Compilers & interpreters
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general