For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.

对编程语言和系统设计的实践与理论基础，尤其是数据抽象、容错和分布式计算方面的贡献。

youdao

For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.

对编程语言和系统设计的实践与理论基础，尤其是数据抽象、容错和分布式计算方面的贡献。

youdao