Un linguaggio di programmazione, in informatica, è un linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in uscita: esso è utilizzabile per il controllo del comportamento di una macchina formale o di un'implementazione di essa (tipicamente, un computer) ovvero in fase di programmazione di questa attraverso la scrittura del codice sorgente di un programma ad opera di un programmatore: un linguaggio di programmazione è considerato a tutti gli effetti tale se è Turing-completo.

Il linguaggio assembly (detto anche linguaggio assemblativo o linguaggio assemblatore o semplicemente assembly) è un linguaggio di programmazione molto simile al linguaggio macchina, pur essendo differente rispetto a quest'ultimo. Erroneamente viene spesso chiamato "assembler", ma quest'ultimo termine identifica solo il programma "assemblatore" che converte il linguaggio assembly in linguaggio macchina.

Il linguaggio è la facoltà di attivare un processo di comunicazione tra due o più individui di una specie animale attraverso un complesso definito di suoni, gesti e simboli di significato comune ad uno specifico ambiente di interazione.Il linguaggio è un codice. Tra tutti i linguaggi utilizzati dagli animali, il codice proprio della specie umana, detto "lingua" (o, più specificamente, "linguaggio verbale umano"), ha caratteristiche che lo differenziano grandemente da altri linguaggi animali. Alcuni autori contemporanei definiscono il linguaggio umano come uno strumento del pensiero, di cui la comunicazione è solo un accessorio non indispensabile, e le lingue vengono considerate come oggetti biologici e non come utensili progettati dagli esseri umani. Il linguaggio non è, dunque, prerogativa umana: anche le forme di comunicazione animale sono intese come "linguaggio". Ad esempio, gli uccelli comunicano cinguettando, emettendo cioè suoni variamente modulati. Le api comunicano attraverso una speciale "danza" (la danza delle api). Le scimmie usano gesti e suoni. I cani e alcuni felini comunicano attraverso l'emissione di specifici odori. Alcuni pesci e le formiche comunicano attraverso l'emissione di specifiche sostanze chimiche. In generale, per riferirsi alle forme di comunicazione tra animali, si parla di comunicazione animale.

In informatica, C è un linguaggio di programmazione imperativo di natura procedurale; i programmi scritti in questo linguaggio sono composti da espressioni matematiche e da istruzioni imperative raggruppate in procedure parametrizzate in grado di manipolare vari tipi di dati. Viene definito come un linguaggio di programmazione ad alto livello e integra caratteristiche dei linguaggi di basso livello, ovvero caratteri, numeri e indirizzi, che possono essere indicati tramite gli operatori aritmetici e logici di cui si servono le macchine reali. Il C è stato concepito per essere snello e performante, si avvale peraltro di numerose librerie per far fronte ad ogni tipo di esigenza, in particolare la libreria standard del C. Tali librerie, sotto forma di file di intestazione o file con suffisso -h, possono essere caricate mediante la direttiva include del preprocessore.