程式語言理論

編程語言理論  是計算機科學的一個分支 ， 研究編程語言的設計 、 實現 、 分析 、 描述和分類及其各自的特點 。 它屬於計算機科學 ， 既依賴又影響着數學 、 軟件工程 、 語言學 ， 甚至認知科學 。