程式語言理論

程式語言理論（programming language theory，「PLT」）係電腦科學嘅一個子領域，研究程式語言嘅設計、執行、分析、同分類。