Reasoning About Program Transformations

Imperative Programming and Flow of Data

By: Jean-Francois Collard

Write A Review

Hardcover | 16 October 2002

At a Glance

Hardcover
264 Pages

Dimensions(cm)
23.5 x 15.88 x 1.27

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Software Engineering Compilers & Interpreters

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
Table of Contents provided by Publisher. All Rights Reserved.

Reasoning About Program Transformations

Imperative Programming and Flow of Data

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

Data Science and Machine Learning for Non-Programmers

Using SAS Enterprise Miner

Game Development with Godot 4 and C#

Develop a dynamic 3D game while exploring a robust node system, level design, and animations

Python Workout, Second Edition

200 ten-minute exercises

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Artificial Intelligence Programming with Python

From Zero to Hero

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Python Automation For Dummies

For Dummies (Computer/Tech)

C# 12 in a Nutshell

The Definitive Reference

Learning Go

An Idiomatic Approach to Real-World Go Programming

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Introduction to Machine Learning with Python

A Guide for Data Scientists

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Programming Rust

Fast, Safe Systems Development 2nd Edition

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

This product is categorised by