Open AccessALICe: A Framework to Improve Affine Loop Invariant Computation
Author(s) -
Vivien Maisonneuve,
Olivier Hermant,
François Irigoin
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , computation , correctness , affine transformation , benchmark (surveying) , invariant (physics) , theoretical computer science , scalar (mathematics) , loop fusion , algorithm , compiler , programming language , mathematics , pure mathematics , mathematical physics , geometry , geodesy , geography