POP-2 je programovací jazyk, ktorý začiatkom 60. rokov 20. storočia vytvoril tím na Edinburskej univerzite pod vedením Davida Hartleyho. Bol navrhnutý ako nástupca jazyka POP-1, ktorý bol tiež vytvorený v Edinburghu.
POP-2 je veľmi výkonný jazyk s bohatým súborom funkcií. Má silný typový systém, ktorý podporuje statické aj dynamické typy. Má tiež prepracovaný systém modulov, ktorý umožňuje vysoký stupeň opakovaného použitia kódu a modularity.
POP-2 sa vyznačuje aj podporou súbežného programovania. Má zabudovaný model súbežnosti, ktorý uľahčuje písanie programov, ktoré môžu využívať výhody viacerých procesorov.
Napriek mnohým silným stránkam bol POP-2 do značnej miery zatienený inými jazykmi, ako sú Lisp a Prolog. Napriek tomu zostáva zaujímavým a vplyvným jazykom s malou, ale oddanou komunitou používateľov.