程式語言理論 编程语言理论英語Programming language theory是计算机科学的一个分支研究编程语言的设计实现分析描述和分类及其各自的特点它属于计算机科学既依赖又影响着数学软件工程语言学甚至认知科学