Reasoning about program transformations
Subtitle: imperative programming and flow of data
By: Jean-François Collard
Publisher: Springer
Published: 2003
Place of publication: New York
Language: eng
Number of pages: 237
Subjects: Programming languages (Electronic computers)
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.
Notes: Includes bibliographical references (p. 229-235) and index