“The concept of a program that translates human-readable code into machine language.”