Ivan Gazeau. Programmation sûre en précision finie : Contrôler les erreurs et les fuites d'informations. (Safe Programming in Finite Precision: Controlling Errors and Information Leaks). PhD thesis, École Polytechnique, Palaiseau, France, 2013. [doi]
Abstract is missing.