the efficiency of a program's execution, and the design of programming languages that enable people to express their ideas accurately.