本页使用了标题或全文手工转换

程式語言理論

维基百科,自由的百科全书
跳转至: 导航搜索
λ演算在程式語言理論中有舉足輕重的地位,因此程式語言理論的非官方標誌是一個小寫的「λ」字母。

程式語言理論英语Programming language theory,簡稱PLT),是電腦科學的一個旁支,專門研究程式語言的設計,實作,分析和歸類。