Acest articol sau această secțiune arebibliografia incompletă sau inexistentă. Puteți contribui prin adăugarea de referințe în vedereasusținerii bibliografice a afirmațiilor pe care le conține.
Unlimbaj de programare este unlimbaj formal de expresii și reguli (sau tehnici) valide de formulare a instrucțiunilor pentru uncomputer. Un limbaj de programare are definite un set de reguli sintactice și semantice[1]. El dă posibilitatea programatorului să specifice în mod exact și amănunțit acțiunile pe care trebuie să le execute calculatorul, în ce ordine și cu ce date. Specificarea constă practic în întocmirea/scrierea programelor necesare ("programare").
Pentru executarea unui program scris într-un limbaj oarecare, există, în principiu, două abordări:compilare sauinterpretare. La compilare, compilatorul transformă programul-sursă în totalitatea sa într-un program echivalent scris în limbaj mașină, care apoi este executat. La interpretare, interpretorul ia prima instrucțiune din programul-sursă, o transformă în limbaj mașină și o execută; apoi trece la instrucțiunea doua și repetă aceleași acțiuni ș.a.m.d.[5]
Unele limbaje se pretează bine la compilare; de exemplu limbajele clasice:Pascal,Fortran,C. Altele sunt cu predilecție interpretate, de ex.BASIC,PHP,SQL. Multe limbaje moderne combină compilarea cu interpretarea: codul sursă estecompilat într-un limbaj binar numitbytecode, care la rulare esteinterpretat de către omașină virtuală. De remarcat faptul că unele interpretoare de limbaje pot folosi compilatoare așa-numitejust-in-time, care transformă codul în limbaj mașină chiar înaintea executării.
