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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Compilers & interpreters

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:

Hardback
$151.99
RRP:
$170.95 save $18.96
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 $38.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Description

The book focuses on analyses that extract the flow of data, which imperative programming hides through its use and reuse of memory in computer systems and compilers. It details some programme transformations that conserve this data flow and introduces a family of analyses, called reaching definition analyses, to do this task. In addition, it shows that correctness of programme transformations is guaranteed by the conservation of data flow. Professionals and researchers in software engineering, computer engineering, program design analysis, and compiler design should benefit from its presentation of data-flow methods and memory optimization of compilers.
Release date Australia
October 16th, 2002
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Edition
2003 ed.
Illustrations
XVIII, 238 p.
Pages
238
Dimensions
156x234x15
ISBN-13
9780387953915
Product ID
2844295

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 by Jean-Francois Collard
$146.99
Reasoning About Program Transformations
by Jean-Francois Collard ~ Paperback / softback
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 >
Compilers & interpreters
Books >
Computers & Internet >
Computer Programming >
Programming languages
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