编程语言理论（PLT）是计算机科学的一个分支，涉及编程语言及其各自特征的设计，实现，分析，表征和分类。它属于计算机科学学科，既依赖于并影响数学，软件工程，语言学甚至认知科学。它是一个公认的计算机科学分支，也是一个活跃的研究领域，其成果发表在许多致力于PLT的期刊以及一般的计算机科学和工程出版物上。
他的研究领域包括编程语言的设计、实现和理论。
His research includes programming language design, implementation and theory.
对编程语言和系统设计的实践与理论基础，尤其是数据抽象、容错和分布式计算方面的贡献。
For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.
在崩落法放矿理论的基础上，利用全新面向对象编程语言，开发了一种新的崩落法放矿计算机系统软件。
Based on the ore caving-drawing theory a new software of computer system for ore caving-drawing was developed, using a fully new object-oriented programming language.
应用推荐