Un limbaj de programare orientat spre stivă este un limbaj de programare care utilizează modelul mașinii stive pentru a transmite parametri . Această descriere corespunde mai multor limbaje, în primul rând Forth și PostScript , precum și multor limbaje de asamblare (folosind acest model la un nivel scăzut - Java , C# ). Când folosiți stiva ca canal principal pentru trecerea parametrilor între cuvinte, elementele limbajului formează în mod natural fraze ( înlănțuire secvențială ). Această proprietate aduce aceste limbi mai aproape de limbile naturale.
Executarea unui program într-un limbaj de programare stivă reprezintă operații pe una sau mai multe stive, care pot avea scopuri diferite. În consecință, constructele de programare ale altor limbaje de programare trebuie modificate înainte de a putea fi utilizate într-un limbaj de stivă. Limbajele de programare stiva folosesc așa-numita notație „reverse polish” ( eng. RPN, reverse polish notation ) sau notația postfix, în care argumentele sau parametrii comenzii trebuie să fie scrise înaintea comenzii în sine. De exemplu, în notația poloneză inversă, operația de adăugare este scrisă ca „2 3 +” mai degrabă decât „+ 2 3” (prefix sau notație „poloneză” ) sau „2 + 3” (notație infixă). Acest lucru permite utilizarea deplină a limbilor stive cu resurse limitate de memorie hardware în controlerele de sistem încorporate .