GNU/Linux Magazine HS 55

Les langages de programmation ne manquent pas. L'utilisateur souhaitant se former ou être formé n'a que l'embarra du choix. PHP, Perl, Java, Python, Ruby... tous sont très à la mode et largement utilisés. Pourquoi toujours en revenir au C et pour quelle raison a-t-il cette aura qui en fait le langue par excellence lorsqu'il s'agit de développement système ? Le C plaît, il fait rêver et pourtant, il reste un langage difficile à maîtriser et laissant reposer beaucoup de responsabilités sur le programmeur. Petit tour d'horizon du C ainsi que des outils et principes de compilation.

Tout comme PHP, Python est un langage de haut niveau dynamiquement typé construit au dessus de C, un langage de bas niveau statiquement typé.Il possède par contre une philosophie totalement différente et par voie de conséquence, une implémentation radicalement différente.Si le nombre de modules Python est impressionnant, il peut être utile de vouloir créer les siens directement en C de manière à utiliser une librairie C nouvelle, ou à améliorer les performance, ce qui est utile dans de nombreux domaines niches où la rapidité d'exécution est importante ou la quantité de ressources est limitée.Inversement, des routines C peuvent appeler du code Python, en utilisant directement le code C implémentant Python.Au final, on sait que 80% du temps est passé dans 20% du code. C'est cette partie là qu'il est nécessaire de réécrire en C ou en C++. Pour l'autre partie, la rapidité de développement en Python, la pléthore de librairies disponibles en font un atout indispensable. Du coup, la combinaison des deux technologies devient idéale.

Avec Frama-c, vérifiez et validez vos programmes C de manière sûre par la preuve de programme.