Typage : définition

Le typage dans les langages de programmation garantit l’absence de calculs erronés qui seraient dus à des opérations manipulant des données non-conformes.…

Les langages de scripts connaissent un succès certain et les plus connus d'entre eux sont très présents sur l'Internet et dans les discussions d'informati…

Créé au début des années 1990, le langage de script Python a été rendu public en tant que logiciel libre. C’est en raison de la clarté de sa syntaxe et de…

Le langage C++ a été développé à partir de C en rajoutant une couche objet. Par rapport à C, assembleur portable qui couvre un très vaste champ d’applicat…

L’informatique permet à des textes d’agir sur le monde tangible. La programmation est l’art d’écrire et de faire évoluer ces textes. Les langues naturelle…

Cet article traite de propriétés formelles des langages de programmation dont le but est de vérifier, voire prouver, que les programmes fonctionnent corre…

Deux courants majeurs se trouvent à l’origine des langage à objets : l’intelligence artificielle et le parallélisme. Mais, le génie logiciel, la simulatio…

Cet article présente le processus de qualification des outils tel qu'il est défini dans la version 2011 de la norme CENELEC EN 50128. La précédente versio…

Le langage de programmation Rust permet l’écriture de logiciels de haute performance, par une conception proche du matériel et du système d’exploitation,…

Trouver rapidement une image à travers un système optique et en connaître facilement ses propriétés peut s'avérer une approche efficace avant une étude ap…

La modélisation des propriétés des langages de programmation est devenu indispensable aux besoins industriels utilisants un processus de développement à b…

Dix ans après son apparition en force, la technologie à objets se porte bien. Son succès s’affirme dans presque tous les domaines de l’informatique. Plusi…