A programming language which provides some level of abstraction above assembly language. These normally use statements consisting of English-like keywords such as “FOR”, “PRINT” or “GOTO”, where each statement corresponds to several machine language instructions.