Eine Programmiersprache, die in erster Linie vorgesehen ist und syntaktisch orientiert sich an bestimmten Klassen von Problemen und das ist im wesentlichen unabhängig von der Struktur eines bestimmten Computer oder eine Klasse von Computern; beispielsweise Ada ®, COBOL, Fortran, Pascal. Synonym höherwertigen Sprache.