Loading...
Please wait, while we are loading the content...
Similar Documents
A unified framework for nonlinear dependence testing and symbolic analysis (2004)
| Content Provider | CiteSeerX |
|---|---|
| Author | Engelen, Robert A. Van |
| Description | In Proceedings of the ACM International Conference on Supercomputing (ICS |
| Abstract | This paper presents a unified approach for generalized induction variable recognition and substitution, pointer analysis, analysis of conditionally updated variables, value range analysis, array region analysis, and nonlinear dependence testing. The analysis techniques share a well-defined uniform approach based on the chains of recurrences algebra. The uniform algebraic approach provides a powerful unified framework for developing analysis algorithms for restructuring compilers. The paper introduces a new set of analysis algorithms that accurately handle conditional control flow, pointer arithmetic, and nonlinear symbolic expressions in loops, which are known to be problematic for conventional restructuring compilers. |
| File Format | |
| Publisher Date | 2004-01-01 |
| Access Restriction | Open |
| Subject Keyword | Array Region Analysis Value Range Analysis Unified Approach Conventional Restructuring Compiler Nonlinear Symbolic Expression Powerful Unified Framework Symbolic Analysis Updated Variable Nonlinear Dependence Testing Generalized Induction Variable Recognition Analysis Algorithm Well-defined Uniform Approach Uniform Algebraic Approach Analysis Technique Share Unified Framework Pointer Analysis Conditional Control Flow New Set |
| Content Type | Text |
| Resource Type | Proceeding Conference Proceedings Article |
