Un programme informatique (Un programme informatique est une liste d'ordres indiquant à un ordinateur ce qu'il doit faire. Il se présente sous la forme d'une ou plusieurs séquences d'instructions, comportant souvent des...) est une liste d'ordres indiquant à un ordinateur ce qu'il doit faire. Il se présente sous la forme d'une ou plusieurs séquences d'instructions, comportant souvent des données (Dans les technologies de l'information (TI), une donnée est une description élémentaire, souvent codée, d'une chose, d'une transaction d'affaire, d'un événement, etc.) de base, devant être exécutées dans un certain ordre par un processeur ou par processus informatique (L'informatique désigne l'automatisation du traitement de l'information par un système, concret (machine) ou abstrait. Dans son acception courante, l'informatique désigne l'ensemble des sciences et techniques en...) (cas des systèmes multitâches).

Fonction

Un ordinateur sans programme ne fait absolument rien, il attend des instructions. En fait, la capacité à suivre un programme enregistré sert même souvent, d'un point (Graphie) de vue historique, à distinguer un ordinateur d'une simple machine à calculer. Avec cette définition (Une définition est un discours qui dit ce qu'est une chose ou ce que signifie un nom. D'où la division entre les définitions réelles et les définitions nominales.), le premier ordinateur est le Manchester Mark I, premier calculateur à programme enregistré.

Conception

À l'origine d'un programme, il y a un code source (Le code source (ou le source) est un ensemble d'instructions écrites dans un langage de programmation informatique de haut niveau, compréhensible par un être humain entraîné, permettant d'obtenir un programme pour un ordinateur.) écrit par un programmeur (En informatique, un développeur (ou programmeur) est un informaticien qui réalise du logiciel en créant des algorithmes et en les mettant en œuvre dans un langage de programmation.) dans un langage de programmation (Un langage de programmation est un code de communication, permettant à un être humain de dialoguer avec une machine en lui soumettant des instructions et en analysant les données matérielles fournies par le...) compréhensible par ledit programmeur.

Différences

Selon le langage utilisé, ce code est ensuite soit :

• Traduit avec un jeu d'instructions spécifique à un processeur par un compilateur (Un compilateur est un programme informatique qui traduit un langage, le langage source, en un autre, appelé le langage cible (ou langage objet), en préservant la...), ensuite le programme obtenu peut alors être exécuté directement par l'ordinateur.
• Ou bien est pris en charge (La charge utile (payload en anglais ; la charge payante) représente ce qui est effectivement transporté par un moyen de transport donné, et qui donne lieu à un paiement ou un bénéfice non pécuniaire pour être transporté.) par un interpréteur (En informatique, un interprète (parfois appelé, à tort, « interpréteur » par mauvaise traduction de l'anglais) est un outil ayant pour tâche d'analyser, de traduire et d'exécuter...) (autre programme), qui décode à la volée les instructions du langage évolué en instructions spécifiques au processeur et qui les lui transmet directement pour exécution.

Parfois le langage de programmation (La programmation dans le domaine informatique est l'ensemble des activités qui permettent l'écriture des programmes informatiques. C'est une étape importante de la conception de logiciel (voire de matériel, cf. VHDL).) se réduit à un ensemble (En théorie des ensembles, un ensemble, désigne intuitivement une collection d’objets (que l'on appelle éléments de l'ensemble), « une multitude...) de symboles correspondant aux instructions en code machine. C'est le langage assembleur et, dans ce cas, un programme appelé assembleur est utilisé pour faire la traduction en langage machine (Le langage machine est la suite de bits qui est interprétée par le processeur de l'ordinateur lors de l'exécution d'un programme. C'est le langage natif du processeur. Il est aussi appelé code machine. Chaque processeur...).

Le terme " programme informatique " est souvent improprement utilisé comme synonyme de logiciel, les logiciels actuels étant souvent composés de plusieurs programmes. Les logiciels incluent souvent, en plus, des fichiers de ressources contenant des données de toutes sortes, celles-ci ne font pas à proprement parler partie du programme. Par exemple, Microsoft (Microsoft Corporation (NASDAQ : MSFT) est une multinationale américaine de solutions informatiques, fondée par Bill Gates et Paul Allen, dont le revenu annuel a...) Internet (Internet est le réseau informatique mondial qui rend accessibles au public des services comme le courrier électronique et le World Wide Web. Ses utilisateurs sont désignés par le néologisme « internaute ». Techniquement, Internet...) Explorer, Mozilla Firefox, etc. sont des logiciels plutôt que des programmes, car il sont le fruit de la concaténation (Le terme concaténation est issu du latin cum (avec) et catena (chaîne), il désigne l'action de mettre bout à bout deux chaînes.) de multiples programmes exécutant différentes actions et fonctions.

Un programme simple et souvent abstrait est souvent appelé algorithme. Les programmes d'ordinateur sont aujourd'hui souvent les sujets de la logique et des mathématiques : voir les méthodes formelles, la sémantique des langages de programmation, etc.