Eine Programmiersprache, die erfordert wenig wissen von dem Computer, auf dem ein Programm ausgeführt wird, kann in mehreren Maschine Sprachen übersetzt werden, symbolischer Benennung von Operationen und Adressen, bietet Features, die Ausdruck von Datenstrukturen und Programmlogik zu erleichtern, und führt in der Regel mehrere Maschinenanweisungen für jede Programmanweisung. Beispiele, Ada, FORTRAN, COBOL, ALGOL, PASCAL.