A machine-independent programming language, such as FORTRAN, COBOL, BASIC, Pascal and C/C++. It lets the programmer concentrate on the logic of the problem to be solved rather than the intricacies of the machine architecture such as is required with low-level assembly languages.