程式語言理論

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