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

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

youdao

Polymorphism is the third essential feature of an object-oriented programming language, after data abstraction and inheritance.

多态性是面向对象语言中继封装，继承之后第三个基本特征。

youdao

The Cascalog system has combined the Cascading system for abstraction of advanced data processing on Hadoop and other systems, the Datalog declarative programming language that is well suited for expressing database queries in an abstract form, and the Clojure language to create a declarative language for queries that can be run on Apache Hadoop.

FORBES: Why Adopting the Declarative Programming Practices Will Improve Your Return from Technology