Compile—time detection of aliasing in euclid programs
scientific article