Reasoning About Program Transformations and over one million other books are available for Amazon Kindle. Learn more

Quantity:


	Amazon Prime Free Trial required. Sign up when you check out. Learn More

More Buying Choices

Have one to sell? Sell yours here

Share your own customer images

Search inside this book

Start reading Reasoning About Program Transformations on your Kindle in under a minute.

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Reasoning About Program Transformations [Hardcover]

Jean-Francois Collard (Author)

Price:	$79.95 & this item ships for FREE with Super Saver Shipping. Details
Deal Price:
	Special Offers Available
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Only 1 left in stock--order soon (more on the way).

Want it delivered Tuesday, January 31? Choose One-Day Shipping at checkout. Details

FREE Two-Day Shipping for Students. Learn more

Formats	Amazon Price	New from	Used from
Kindle Edition	$63.96	--	--
Hardcover	$79.95	--	--
Paperback	$64.09	--	--

Book Description

ISBN-10: 0387953914 | ISBN-13: 978-0387953915 | Publication Date: October 16, 2002 | Edition: 1

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.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } 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.

Special Offers and Product Promotions

Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)

Product Details

Hardcover: 256 pages
Publisher: Springer; 1 edition (October 16, 2002)
Language: English
ISBN-10: 0387953914
ISBN-13: 978-0387953915
Product Dimensions: 9.4 x 6.2 x 0.7 inches
Shipping Weight: 1 pounds (View shipping rates and policies)
Amazon Best Sellers Rank: #4,222,844 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

More About the Author

› Visit Amazon's Jean-François Collard Page

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

Front Cover | Table of Contents | First Pages | Index | Surprise Me!

Inside This Book (learn more)

First Sentence:
Algorithms were invented thousands of years ago, when the only thinkable machine to do computations were human beings' own gray cells. Read the first page

Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
maximal static expansion, instancewise reaching definition, reaching definition analyses, reaching definition analysis, affine programs, array single assignment, possible reaching definition, reaching definition problem, reaching definitions, definition reaching, definitions reaching, program snippet, ith instance, iteration domain, symbolic solvers, scalar replacement, polytope model, mapping write, definition transducer, same array element, control automaton, par construct, transformed program, systolic array design, simple recursive procedure

New!
Books on Related Topics | Concordance | Text Stats

Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!

Citations (learn more)

This book cites 7 books:

The Science of Programming (Monographs in Computer Science) by David Gries on page
Dependence Analysis (Loop Transformation for Restructuring Compilers) by Utpal Banerjee on page
Scheduling and Automatic Parallelization by Alain Darte on page
Dependence Analysis for Supercomputing (The Springer International Series in Engineering and Computer Science) by Utpal Banerjee on page
Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science) by Harold Abelson on page

See all 7 books this book cites

6 books cite this book:

Practical Model-Based Testing: A Tools Approach by Mark Utting on page 57, and Back Matter
Software and Compilers for Embedded Systems: 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings (Lecture Notes in Computer Science) by Andreas Krall on page 116
Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement by Jeff Tian in Back Matter
Value-Based Software Engineering by Stefan Biffl on page 242
Modern Industrial Automation Software Design by Lingfeng Wang on page 86

See all 6 books citing this book

Books on Related Topics (learn more)

Advanced Compiler Design and Implementation by Steven S. Muchnick

Discusses:

Optimizing Compilers for Modern Architectures by Randy Allen

Discusses:

The Compiler Design Handbook by Y.N. Srikant

Discusses:

Compiler Optimizations for Scalable Parallel Systems by Santosh Pande

Discusses:

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Active discussions in related forums

Discussion	Replies	Latest Post
Science forum A Falsifiable Scientific Creationist theory?	9839	57 seconds ago
Science forum Global warming is nothing but a hoax and a scare tactic	8004	6 minutes ago
Science forum Why are people here so scientifically illiterate	6647	43 minutes ago
Science forum Is Space Something? Is Time Something? Or are they Nothing? When Did Space First Begun? When Did Time First Begin?	223	56 minutes ago
Science forum Layman question regarding time?	21	1 hour ago
Science forum was the moon landing real or fake, and why?	1523	1 hour ago
Textbook forum I just received a "very good" textbook without its disc - what are your thoughts?	168	1 day ago
Textbook forum Never buy school textbooks. Download them to your reading device or computer	3	4 days ago