下列日常生活行为中，符合“绿色、节能、低碳”的是  [ ]

A．过节时给朋友寄送很多纸质贺卡

B．洗碗时尽量使用洗涤剂

C．经常使用一次性塑料袋

D．垃圾分类放置、分类回收

程序设计语言的理论，包括对其语法和语义的研究，只有清楚地了解程序设计的语法和语义，才能正确实施和使用语言，也才能正确评价语言的优劣。因此，程序设计语言理论是设计、实施和使用程序设计语言的理论基础。这段话中“包括对其语法和语义的研究”一句中，“其”指代的是( )。

A．程序设计语言

B．程序设计语言理论

C．程序正确性理论

D．研究程序设计语言的语法和语义