In computer science, programming languages are formal languages used to write computer programs that execute instructions.