Programski jezik, ki zahteva malo znanja v računalniku, v katerem bo program izvajala, lahko prevedena v več različnih jezikih stroj, omogoča simbolično poimenovanje operacij in naslove, ponuja funkcije za lažji izraz podatkovne strukture in logika program, in navadno za posledico več strojnih ukazov za vsak program izjavo. Primeri vključujejo Ada, COBOL FORTRAN, ALGOL, PASCAL.