An engineered language for expressing computer Programs.