他的研究领域包括编程语言的设计、实现和理论。
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.
它要成为一种全新的编程语言，要体现出过去二十五年中计算机理论上的所有巨大进展。
It was to be a thoroughly modern programming language, embodying all the major advances in computer theory of the past quarter-century.
基于二元理论，用FORTRAN语言编程实现了高比转速混流泵叶轮的水力设计。
Based on the two-dimension theory, a computer code is made in FORTRAN language to design the high specific speed mixed-flow pump.
这种将实时编程语言同规划理论结合起来的方法为设计者提供了有效的实现手段。
The methodology of combining real-time programming and scheduling theory provides efficient measures to the designer.
当你读这本汇编语言编程艺术这本书的时候，你将学习到基础编程理论，并且能从代码级别真实的理解计算机科学的理论基础。
As you read the Art of Assembly Language, you'll learn the low-level theory fundamental to computer science and turn that understanding into real, functional code.
当你读这本汇编语言编程艺术这本书的时候，你将学习到基础编程理论，并且能从代码级别真实的理解计算机科学的理论基础。
As you read the Art of Assembly Language, you % 27ll learn the low-level theory fundamental to computer science and turn that understanding into real, functional code.
两种语言都支持各种各样的编程方式和方法，同时满足实践者和理论家的需求。
Both languages support a variety of programming styles and paradigms and satisfy practitioners and theoreticians equally.
两种语言都支持各种各样的编程方式和方法，同时满足实践者和理论家的需求。
Both languages support a variety of programming styles and paradigms and satisfy practitioners and theoreticians equally.
应用推荐