A computer programming language that is primarily designed for, and syntactically oriented to, particular classes of problems and that is essentially independent of the structure of a specific computer or class of computers; for example, Ada®, COBOL, Fortran, Pascal. Synonym high-order language.