Ohjelmointikieli, joka vaatii vähän tietoa tietokoneen, jossa ohjelma on käynnissä, voidaan kääntää useita eri kone kielet, symbolinen nimeäminen ja osoitteiden, on ominaisuuksia, jotka helpottavat tietorakenteita ja ohjelman logiikka ja johtaa yleensä useita konekielisiä käskyjä jokainen ohjelma-lauseke. Esimerkkeinä Ada, COBOL, FORTRAN, ALGOL, PASCAL.