Теория программ (program theory) — раздел программирования, изучающий количественные и качественные характеристики программ.
[Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа http://topuch.ru/slovare-ponyatij-po-informatike-ot-t-do-ya/index.html/, свободный.]