Système informatique offrant une sémantique de programmation accessible à l’homme (par opposition au Langage Machine imbitable par nous humains, sauf pour les très courageux !) permettant de concevoir des applications informatiques. Pour qu’il fonctionne, un programme écrit dans un Langage donné doit être compilé en un exécutable. Généralement, un Langage permet au moins de manipuler simplement des données (sous formes de variables), opérer des traitements modulaires (possibilité de concevoir des fonctions), effectuer des opérations d’entrée-sortie (périphériques, fichiers…), contrôler le flux d’instructions (tests conditionnels, boucles …).