Open AccessDealing with arithmetic overflows in the polyhedral model
Author(s) -
Bruno Cuervo Parrino,
Julien Narboux,
Éric Violard,
Nicolas Magaud
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - validator , computer science , correctness , programming language , representation (politics) , code (set theory) , theoretical computer science , locality , transformation (genetics) , integer (computer science) , function (biology) , arithmetic , algorithm , mathematics , set (abstract data type) , linguistics , philosophy , biochemistry , chemistry , evolutionary biology , politics , world wide web , political science , biology , law , gene