Reasoning about Program Transformations

Reasoning about Program Transformations
Автор
 
Год
 
Страниц
 
264
ISBN
 
ISBN10:0387953914
Издатель
 
Springer

Описание:

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.

Похожие книги

Manage Traffic Speed, Save Money and LivesManage Traffic Speed, Save Money and Lives
Автор: Greg G. Chen
Год: 2010
Effects of an Inner City Preschool on AchievementEffects of an Inner City Preschool on Achievement
Автор: Richard McElroy
Год: 2010
Algorithm 419: Zeros of a complex polynomialAlgorithm 419: Zeros of a complex polynomial
Автор: Jenkins, Traub.
Год: 1972
Quality Management in a Wellness ProgramQuality Management in a Wellness Program
Автор: Jim Lamar, Pam Murphy
Год: 2001