Title: Reasoning about program transformations
First published: 2003
Description: "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."--BOOK JACKET.
Subjects: Programming languages (Electronic computers), Programming languages (electronic computers)
LC classification: QA76.7 .C645 2003