程序理论是研究 程序的语义性质和程序设计及开发方法的理论。它主要包括以下几个部分：
程序语义理论：
研究程序的含义及其与计算机硬件和软件的关系。
数据类型理论：
研究程序中数据的组织和操作方式。
程序逻辑理论：
研究程序中的逻辑结构和推理规则。
程序验证理论：
研究如何确保程序的正确性和可靠性。
并发程序设计理论：
研究在多道程序环境下程序的设计和同步问题。
混合程序设计理论：
研究多种编程范型（如过程式、面向对象等）的综合应用。
程序理论和计算理论是计算机科学的两大支柱。程序理论为软件设计与开发方法提供理论依据，包括提供有效的描述程序规约的语言（specification）。
建议在学习程序理论时，关注这些主要组成部分，以便更全面地理解该领域的核心概念和方法。