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.