Reasoning about program transformations: imperative...

Main
Computers - Programming
Reasoning about program...

Reasoning about program transformations: imperative programming and flow of data

Name: Reasoning about program transformations: imperative programming and flow of data
ISBN: 9780387953915

Jean-Francois Collard

0 / 0

0 comments

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

This new book provides a detailed, current, and pragmatic presentation of the program analyses and transformations that extract the flow of data in computer memory systems. Professionals, practitioners, and researchers in software engineering, computer engineering, program design analysis, and compiler design will benefit from its presentation of data-flow and memory optimization techniques and tools.

Thể loại:

Computers - Programming

Năm:

2003

In lần thứ:

Nhà xuát bản:

Springer

Ngôn ngữ:

english

Trang:

247

ISBN 10: