An introduction to a formal theory of dependence analysis

Dependence analysis is a very important part of any vectorizing or concurrentizing compiler. This paper is an introduction to a formal theory of dependence analysis. The emphasis here is on rigor--the subject matter is not new. The program model is a Fortran do loop consisting of loops and assignmen...

Full description

Saved in:
Bibliographic Details
Published inThe Journal of supercomputing Vol. 2; no. 2; pp. 133 - 149
Main Author Banerjee, Utpal
Format Journal Article
LanguageEnglish
Published Heidelberg Springer 01.10.1988
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Language processing and microprogramming
Software
Compiler
Parallelism
Program structure
Program transformation
Online AccessGet full text
ISSN0920-8542
1573-0484
DOI10.1007/BF00128174

Cover

More Information
Summary:Dependence analysis is a very important part of any vectorizing or concurrentizing compiler. This paper is an introduction to a formal theory of dependence analysis. The emphasis here is on rigor--the subject matter is not new. The program model is a Fortran do loop consisting of loops and assignment statements. The author carefully explains the key dependence concepts and indicates through examples how the dependence tests work. The ideas and methods can be easily extended to more general programs.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0920-8542
1573-0484
DOI:10.1007/BF00128174