编程语言理论計算機科學的一個分支,涉及編程語言及其各自功能的設計,實現,分析,表徵和分類 / 维基百科,自由的 encyclopedia 编程语言理论(英语:Programming language theory)是计算机科学的一个分支,研究编程语言的设计、实现、分析、描述和分类及其各自的特点。它属于计算机科学,既依赖又影响着数学、软件工程、语言学,甚至认知科学。 此条目没有列出任何参考或来源。 (2011年12月23日) λ演算在编程语言理论中有举足轻重的地位,因此编程语言理论的非官方标志是一个小写的“λ”字母。 Jetson Nano B01 4GB Developer Kit
编程语言理论(英语:Programming language theory)是计算机科学的一个分支,研究编程语言的设计、实现、分析、描述和分类及其各自的特点。它属于计算机科学,既依赖又影响着数学、软件工程、语言学,甚至认知科学。 此条目没有列出任何参考或来源。 (2011年12月23日) λ演算在编程语言理论中有举足轻重的地位,因此编程语言理论的非官方标志是一个小写的“λ”字母。