Interprocedural symbolic analysis

Compiling for efficient execution on advanced computer architectures requires extensive program analysis and transformation. Most compilers limit their analysis to simple phenomena within single procedures, limiting effective optimization of modular codes and making the programmer's job harder....

Full description

Bibliographic Details
Main Author: Havlak, Paul Howard
Other Authors: Kennedy, Ken
Format: Others
Language:English
Published: 2009
Subjects:
Online Access:http://hdl.handle.net/1911/16828