The ACM cited her contributions to the practical and theoretical foundations of "programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing".
ACM citerade hennes bidrag till de praktiska och teoretiska grunderna för "programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing".