Un programme informatique est une séquence d’instructions qui spécifie étape par étape les opérations à effectuer pour obtenir un résultat. Il est exprimé sous une forme qui permet de l’utiliser avec une machine comme un ordinateur pour exécuter les instructions. Un programme est la forme électronique et numérique d’un algorithme exprimé dans un langage de programmation — un vocabulaire et des règles de ponctuation destinées à exprimer des programmes. Un programme source sont les opérations telles qu’elles ont été exprimées par un programmeur, souvent dans un langage de programmation de haut niveau, c’est-à-dire dont la notation s’inspire des langues naturelles — le vocabulaire et la ponctuation utilisée sont typiquement inspirés de l’anglais. Un programme objet ou binaire est la forme finale sous laquelle il pourra être exécuté par un ordinateur : une suite de valeurs binaires correspondant à des instructions natives du microprocesseur équipant la machine. Ce langage machine, difficile à manipuler pour le programmeur, est obtenu par traduction automatique du programme source. Des programmes sont présents dans tous les appareils informatiques : ordinateur, console de jeu, guichet automatique bancaire. Des programmes sont également présents dans des pièces de matériel informatique ainsi que de nombreux dispositifs électroniques : imprimante, modem, GPS, téléphone mobile, machine à laver, appareil photo numérique, décodeur TV numérique, injection électronique ou pilote automatique.