- a programming language that is more user-friendly, to some extent
platform-independent, and abstract from low-level computer
processor operations such as memory accesses
- A programming statement may be translated into one or several
machine instructions by a compiler.
- Examples: Java, C, C++, Basic, Fortran