Reasoning about program transformations: imperative programming and flow of data

✍ Scribed by Jean-Francois Collard

• Book ID: 127447192
• Publisher: Springer
• Year: 2003
• Tongue: English
• Weight: 2 MB
• Edition: 1
• Category: Library
• City: New York
• ISBN: 0387953914

✦ Synopsis

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.