High Level Program Representation for HPC

We briey present IPR, a general high-level representation of C++, and show how it allows concepts (that is basically a type system for types) to be applied to correctness and performance problems in high- performance computing. We use a concept Parallelizable as a simple ex- ample of how to achieve anti-aliasing without language modication. A companion paper presents the Pivot framework for C++ program analy- sis and transformation of which IPR is the central part.