POP-2 es un lenguaje de programación creado a principios de la década de 1960 por un equipo de la Universidad de Edimburgo dirigido por David Hartley. Fue diseñado como sucesor del lenguaje POP-1, creado también en Edimburgo.
POP-2 es un lenguaje muy potente, con un rico conjunto de características. Dispone de un potente sistema de tipos, que admite tanto tipos estáticos como dinámicos. También cuenta con un sofisticado sistema de módulos, que permite un alto grado de reutilización y modularidad del código.
POP-2 también destaca por su compatibilidad con la programación concurrente. Dispone de un modelo de concurrencia integrado que facilita la escritura de programas que pueden aprovechar múltiples procesadores.
A pesar de sus muchos puntos fuertes, POP-2 se ha visto eclipsado por otros lenguajes, como Lisp y Prolog. No obstante, sigue siendo un lenguaje interesante e influyente, con una comunidad de usuarios pequeña pero dedicada.