Symbolic Dependence Analysis for High Performance Parallelizing Compilers

Symbolic Dependence Analysis for High Performance Parallelizing Compilers
Author :
Publisher :
Total Pages : 218
Release :
ISBN-10 : OCLC:23089761
ISBN-13 :
Rating : 4/5 (61 Downloads)

Book Synopsis Symbolic Dependence Analysis for High Performance Parallelizing Compilers by : Mohammad Reza Haghighat

Download or read book Symbolic Dependence Analysis for High Performance Parallelizing Compilers written by Mohammad Reza Haghighat and published by . This book was released on 1990 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "A framework is introduced to solve the dependence problem in the presence of unknown symbolic terms. This framework uses the idea of abstract interpretation of programs, and is based on lattice theoretical models. Theories of dependence analysis, flow analysis, and approximate semantic analysis of programs are discussed. The details of implementation of symbolic dependence analysis in Parafrase-21 [PGH+89] is presented."


Symbolic Dependence Analysis for High Performance Parallelizing Compilers Related Books

Symbolic Dependence Analysis for High Performance Parallelizing Compilers
Language: en
Pages: 218
Authors: Mohammad Reza Haghighat
Categories: Compilers (Computer programs)
Type: BOOK - Published: 1990 - Publisher:

DOWNLOAD EBOOK

Abstract: "A framework is introduced to solve the dependence problem in the presence of unknown symbolic terms. This framework uses the idea of abstract interpr
Symbolic Analysis for Parallelizing Compilers
Language: en
Pages: 151
Authors: Mohammad R. Haghighat
Categories: Computers
Type: BOOK - Published: 2007-08-19 - Publisher: Springer

DOWNLOAD EBOOK

In Symbolic Analysis for Parallelizing Compilers the author presents an excellent demonstration of the effectiveness of symbolic analysis in tackling important
Advanced Symbolic Analysis for Compilers
Language: en
Pages: 135
Authors: Thomas Fahringer
Categories: Computers
Type: BOOK - Published: 2003-04-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents novel symbolic control and data flow techniques as well as symbolic techniques and algorithms for program analysis and program optimization.
Advanced Symbolic Analysis for Compilers
Language: en
Pages: 135
Authors: Thomas Fahringer
Categories: Computers
Type: BOOK - Published: 2003-08-03 - Publisher: Springer

DOWNLOAD EBOOK

The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estim
Proceedings of the 1995 International Conference on Parallel Processing
Language: en
Pages: 260
Authors: Constantine Polychronopoulos
Categories: Computers
Type: BOOK - Published: 1995-08-08 - Publisher: CRC Press

DOWNLOAD EBOOK

This set of technical books contains all the information presented at the 1995 International Conference on Parallel Processing. This conference, held August 14