06-these

◦ ◦N d’ordre:388 N attribuéparlabibliothèque:06ENSL0388ÉCOLE NORMALE SUPÉRIEURE DE LYONLaboratoiredel’InformatiqueduParallélismeTHÈSEprésentéeetsoutenuepubliquementle21novembre2006parGuillaume MELQUIONDpourl’obtentiondugradedeDocteurdel’ÉcoleNormaleSupérieuredeLyonspécialité:Informatiqueautitredel’Écoledoctoraledemathématiquesetd’informatiquefondamentaledeLyonDel’arithmétiqued’intervallesàlacertificationdeprogrammesDirecteurdethèse: Marc DAUMASAprèsavisde: Guillaume HANROTChristine PAULIN-MOHRINGDevantlacommissiond’examenforméede:Jean Daniel B OISSONNAT MembreMarc DAUMASGuillaume HANROT Membre/RapporteurJohn HARRISON MembreJean Michel M ULLERChristine PAULIN-MOHRINGRemerciementsJetiensàremerciermondirecteurdethèseMarcDaumasd’avoirvulepotentieldestravauxprésentésicietdem’avoirlaisséunegrandeliberté.Je tiens à remercier Christine Paulin Mohring et Guillaume Hanrot d’avoir étéles rapporteurs de cette thèse, Jean Daniel Boissonnat d’avoir présidé, John Har-risson d’être venu de si loin et Jean Michel Muller d’avoir complété le jury d’unmembrelocalmaisnéanmoinscompétent.Je tiens à remercier mes coauteurs, Sylvie Boldo, Hervé Brönnimann, FlorentdeDinechin,ChristophLauter,CésarMuñozetSylvainPion.Je tiens à remercier Simone Criqui, Claude Pierre Jeannerod, Nathalie Revolet Arnaud Tisserand pour leur relecture attentive de ce document. Toute faute quevouspourriezydétecterprovientvraisemblablementdesretouchesdedernièremi ...