POP-2 é uma linguagem de programação criada no início da década de 1960 por uma equipa da Universidade de Edimburgo, liderada por David Hartley. Foi concebida como um sucessor da linguagem POP-1, que também foi criada em Edimburgo.
POP-2 é uma linguagem muito poderosa, com um rico conjunto de características. Tem um sistema de tipo forte, suportando tanto tipos estáticos como dinâmicos. Tem também um sistema de módulos sofisticado, que permite um elevado grau de reutilização de código e modularidade.
O POP-2 também é notável pelo seu apoio à programação concorrente. Tem um modelo de concorrência integrado, o que facilita a escrita de programas que podem tirar partido de múltiplos processadores.
Apesar dos seus muitos pontos fortes, o POP-2 tem sido largamente ofuscado por outras línguas, tais como Lisp e Prolog. No entanto, continua a ser uma língua interessante e influente, com uma pequena mas dedicada comunidade de utilizadores.