Common Strengths
Polyhedral frameworks are designed to support compilers techniques for analysis and transformation of codes with nested loops, producing exact results for loop nests with affine loop bounds and subscripts ("Static Control Parts" of programs). They can be used to represent and reason about executions (iterations) of statements, rather than treating a statement as a single object representing properties of all executions of that statement. Polyhedral frameworks typically also allow the use of symbolic expressions.
Polyhedral frameworks can be used for dependence analysis for arrays, including both traditional alias analysis and more advanced techniques such as the analysis of data flow in arrays or identification of conditional dependencies. They can also be used to represent code transformation, and provide features to generate the transformed code in a high-level language. The transformation and generation systems can typically handle imperfectly nested loops.
Read more about this topic: Frameworks Supporting The Polyhedral Model
Famous quotes containing the words common and/or strengths:
“It is said that a carpenter building a summer hotel here ... declared that one very clear day he picked out a ship coming into Portland Harbor and could distinctly see that its cargo was West Indian rum. A county historian avers that it was probably an optical delusion, the result of looking so often through a glass in common use in those days.”
—For the State of New Hampshire, U.S. public relief program (1935-1943)
“A man who has never lost himself in a cause bigger than himself has missed one of life’s mountaintop experiences. Only in losing himself does he find himself. Only then does he discover all the latent strengths he never knew he had and which otherwise would have remained dormant.”
—Richard M. Nixon (1913–1995)