Symbolic Analysis for Parallelizing Compilers

1995 ◽  
Keyword(s):  
Symbolic Analysis ◽  
Parallelizing Compilers

scholarly journals Interprocedural Induction Variable Analysis

2003 ◽  
Vol 14 (03) ◽  
pp. 405-423
Author(s):  
Peiyi Tang ◽  
Pen-Chung Yew
Keyword(s):  
Symbolic Analysis ◽  
Data Dependence ◽  
Parallelizing Compilers ◽  
Recursive Procedure ◽  
Induction Variables ◽  
Variable Analysis

Induction variable analysis is an important part of the symbolic analysis in parallelizing compilers. Induction variables can be formed by for or [Formula: see text] loops within procedures or loops of recursive procedure calls. This paper presents an algorithm to find induction variables in formal parameters of procedures caused by recursive procedure calls. The compile-time knowledge of induction variables in formal parameters is essential to summarize array sections to be used for data dependence test and parallelization.

Symbolic analysis for parallelizing compilers

1996 ◽  
Vol 18 (4) ◽  
pp. 477-518 ◽  
Author(s):  
Mohammad R. Haghighat ◽  
Constantine D. Polychronopoulos
Keyword(s):  
Symbolic Analysis ◽  
Parallelizing Compilers

The role of birds in Roman imperial funerary rituals at La Magdalena (Alcalá de Henares, Spain): osteoarchaeological and symbolic analysis

2021 ◽  
Vol 13 (4) ◽  
Author(s):  
Rocío Bernal-García ◽  
Felipe Gómez-Moreno ◽  
Francisco J. Serrano ◽  
César Heras ◽  
José Yravedra
Keyword(s):  
Symbolic Analysis ◽  
Funerary Rituals
Sign in / Sign up

Export Citation Format

Share Document