Există două paradigme de programare: imperative și declarative. Principala (tradițională) paradigma de programare este imperativă (procedurală) de programare. Ca parte a paradigmei imperativă este considerată o clasă de limbaje de programare, în care programul indică în mod clar modul de a obține rezultatul fără a specifica proprietățile așteptate ale rezultatului. Procedura de obținere a rezultatului arata ca secvența de operații. De aici următoarele caracteristici ale programului imperativ:
• indicarea logicii de control în cadrul programului;
• determinarea ordinii operațiilor;
• disponibilitatea declarațiilor de atribuire care efectuează atribuirea distructive.
Paradigma imperativă se bazează pe modelul de calculator „Von Neumann“, parametrii de bază ai care sunt:
• Programul constă dintr-un set de comenzi care sunt executate secvențial;
• Zona de memorie numită (ca conceptul de regiuni variabile de memorie care pot fi accesate de nume).
Conceptul de memorie ca un depozit de valori, conținutul care poate fi actualizată de către operatorii de program este fundamental în programarea imperativă.
Punerea în aplicare a programului este de a pune în aplicare o serie de operatori de conversie a statului de memorie original, adică valorile de date originale în finală, adică într-un rezultat. Astfel, din punctul de vedere al programatorului are un program și o memorie, prima serie actualizează conținutul acestuia.
limbaje de programare sunt caracterizate prin imperativului următoarele caracteristici:
• nevoia de gestionare a memoriei explicite, în special, descrierea variabilelor;
• adecvare redusă pentru calcule simbolice;
• lipsa unui cadru matematic riguros;
• implementarea de înaltă eficiență pe computerele tradiționale.
Una dintre limba de procedură clasificări majore este nivelul său. limbaj de programare de nivel definit semantic (sens) construiește capacitatea și gradul de orientarea pe programator. Limbajul de programare poduri parțial decalajul dintre metodele de rezolvare a diverselor probleme ale persoanei și un calculator. Cu cât este mai limba în care este axat pe persoana, cu atât mai mare nivel. Pentru limbaje de programare imperative includ asamblorii și bune limbaje comune de programare de nivel înalt, ca atare, cum ar fi Fortran, Pascal, C.
Fundamental model diferit de calcul presupune o paradigmă de programare declarativă. Când se folosește limbajul declarativ în programul prevede în mod explicit ceea ce ar trebui să aibă proprietăți rezultatul, dar nu determinat de ordinea în care aceasta a fost primită. În mod ideal, programul declarativă va consta din propoziții care descriu rezultatul dorit. Este caracteristic faptul că, în acest caz, ordinea de propuneri, definirea proprietăților specifice ale rezultatului nu contează. În paradigma declarativa este nici un concept al unei variabile este o memorie pe nume, și de control explicit. limbajele declarative nu sunt fixate rigid de modelul tradițional de calcul von Neumann. În cele mai multe cazuri, algoritmul obține rezultatul dorit, poate avea un grad ridicat de paralelism.
paradigmă de programare declarativă implementat folosind una dintre cele două stiluri de programare: programare funcțională și logică.