![](//s1.studylibfr.com/store/data-gzf/d68557cb8f86c7191812744ea67b7f25/1/004172887.htmlex.zip/bg3.jpg)
S. Blazy et E. SoutifProgrammation en nombres entiers et compilation certifiée
La compilation
|Au sens large : toute traduction automatique d’un
langage informatique vers un autre.
|Au sens restreint : traduction efficace (“optimisante”)
d’un langage source (compréhensible par les
programmeurs) vers un langage machine
(compréhensible par le hardware).
|Un domaine mature :
zBientôt 50 ans ! (Fortran I : 1957)
zÉnorme corpus d’algorithmes (optimisations).
zNombreux compilateurs qui effectuent des
transformations très subtiles.