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.

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.

La programmazione, in informatica, è una fase implementativa dell'intero ciclo di sviluppo del software (vedi ingegneria del software) con l'obiettivo ultimo di soddisfare le specifiche funzionali richieste dal committente secondo una predefinita analisi strutturale del progetto software; più in particolare trattasi dell'insieme delle attività e tecniche che una o più persone specializzate (team), programmatori o sviluppatori (developer), svolgono per creare un programma o applicazione, ossia un software da far eseguire ad un computer, scrivendo il relativo codice sorgente in un determinato linguaggio di programmazione; assieme al lato sistemistico e al data science, costituisce il ramo o filone di produttività in informatica aziendale, detto terziario avanzato.

In informatica, un paradigma di programmazione è uno stile fondamentale di programmazione, ovvero un insieme di strumenti concettuali forniti da un linguaggio di programmazione per la stesura del codice sorgente di un programma, definendo dunque il modo in cui il programmatore concepisce e percepisce il programma stesso. Diversi paradigmi si differenziano per i concetti e le astrazioni usate per rappresentare gli elementi di un programma (come ad esempio le funzioni, gli oggetti, le variabili, vincoli, ecc.) e per i procedimenti usati per l'esecuzione delle procedure di elaborazione dei dati (assegnazione, calcolo, iterazione, data flow, ecc.).