Nadharia ya lugha ya programu
Nadharia ya lugha ya programu (kwa Kiingereza: Programming language theory; kifupi: PLT) ni tawi la Sayansi ya kompyuta ambayo inashughulikia muundo, utekelezaji, uchambuzi, tabia, na uainishaji wa lugha rasmi zinazojulikana kama lugha za programu. Nadharia ya lugha ya programu inahusiana sana na nyanja nyingine ikiwa ni pamoja na hisabati, uhandisi wa programu, na lugha. Kuna mikutano kadhaa ya kitaaluma na majarida katika eneo hilo.