POP-2 est un langage de programmation créé au début des années 1960 par une équipe de l'université d'Édimbourg dirigée par David Hartley. Il a été conçu comme le successeur du langage POP-1, également créé à Édimbourg.
POP-2 est un langage très puissant, doté d'un riche ensemble de fonctionnalités. Il dispose d'un système de types solide, qui prend en charge les types statiques et dynamiques. Il possède également un système de modules sophistiqué, qui permet un haut degré de réutilisation du code et de modularité.
POP-2 est également remarquable pour son support de la programmation concurrente. Il dispose d'un modèle de concurrence intégré, qui facilite l'écriture de programmes capables de tirer parti de plusieurs processeurs.
Malgré ses nombreux atouts, POP-2 a été largement éclipsé par d'autres langages, tels que Lisp et Prolog. Il n'en reste pas moins un langage intéressant et influent, avec une communauté d'utilisateurs restreinte mais dévouée.