Le langage C a été conçu par Kernighan et Ritchie pour écrire le système Unix dans un langage portable. Il provient de BCPL [42][41] et en est une version typée. Son typage est clairement défini, surtout dans la version ANSI. Il est toutefois orienté vers la programmation système, et permet donc de faire facilement des conversions de type. Le langage est très populaire à présent, quoiqu'ancien; il est très bien décrit dans le livre de Kernighan et Ritchie [21].