in informatica, è un software che può essere eseguito da un elaboratore per ricevere in input determinati dati di un problema automatizzabile e restituirne in output le (eventuali) soluzioni.
Un programma è un insieme di linee di codice a loro volta costituite da un insieme di istruzioni. Il problema deve essere risolvibile attraverso un algoritmo affinché un programmatore possa codificarlo in istruzioni in un linguaggio di programmazione; in questa fase - detta programmazione - viene realizzato il codice sorgente del programma che definisce il suo flusso di esecuzione.
Il termine indica una sequenza logicamente ordinata di comandi, istruzioni e operazioni e differisce dal termine - più generico - di software in quanto un programma è un software che può essere caricato nella memoria RAM per essere eseguito sotto forma di processo, includendo quindi anche quei programmi che girano in background come a esempio in un sistema operativo in esecuzione come a es. le librerie. Analogamente differisce dal termine "applicazione" il quale viene usato normalmente nella prospettiva dell'utente finale per intendere un servizio di cui questi può usufruire, a prescindere dal fatto che questo sia realizzato da un solo programma o da un insieme di programmi - e infatti i programmi operanti su sistemi embedded non sono dunque applicazioni per l'utente ma consentono comunque la funzionalità del dispositivo. In questo caso l'applicazione si compone di un' interfaccia utente e di un nucleo elaborativo. L'espressione " sistema software " è usata poi, di norma, per indicare esplicitamente una collezione di componenti software come programmi, librerie, file e altro, interagenti fra loro.
Un programma per essere scritto deve rispettare la sintassi e la semantica del particolare linguaggio di programmazione scelto. Errori di scrittura vengono poi rilevati e segnalati in fase di compilazione o interpretazione.
