En dator som programmeringsspråk som är främst avsett för och syntaktiskt orienterad till, särskilda klasser av problem och som är väsentligen oberoende av strukturera av en specifik dator eller klass av datorer; till exempel Ada ®, COBOL, Fortran, Pascal. Synonym högsta språk.