Reasoning about program transformations

by Jean-François Collard

"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, practiti…