A programming language that expresses operations and addresses in symbols convenient to humans rather than in machine language. Examples are assembly language, high order language.