程序设计语言的理论，包括对其语法和语义的研究，只有清楚地了解程序设计的语法和语义，才能正确实施和使用语言，也才能正确评价语言的优势。因此，程序设计语言理论是设计，实施和使用程序设计语言的理论基础。“包括对其语法和语义的研究”的“其”指代的是（）

• A、程序设计的语言
• B、程序设计语言理论
• C、程序正确性理论
• D、研究程序设计语言的语法和语义