Symbolic Analysis for Parallelizing Compilers

• Main Author: Haghighat, Mohammad R. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 1995.
• Subjects: Computer science.; Microprocessors.; Computer Science.; Processor Architectures.; Computer Science, general.

In Symbolic Analysis for Parallelizing Compilers the author presents an excellent demonstration of the effectiveness of symbolic analysis in tackling important optimization problems, some of which inhibit loop parallelization. The framework that Haghighat presents has proved extremely successful in...

Table of Contents:

• Related Work
• Symbolic Analysis
• Induction Variables
• Interprocedural Symbolic Analysis
• Timing Analysis and Scheduling
• Implementation and Experiments
• Conclusions.