Een programmeertaal die vereist weinig kennis van de computer waarop een programma wordt uitgevoerd, kan worden vertaald in verschillende machine talen, kunt symbolische naamgeving van operaties en adressen, biedt functies bedoeld om uitdrukking van datastructuren en programmalogica, en meestal resulteert in verschillende machine-instructies for each-instructie programma. Voorbeelden zijn Ada, COBOL, FORTRAN, ALGOL, PASCAL.