Programovací jazyk, který vyžaduje jen málo informací o počítači, na kterém bude spuštěn program, mohou být přeloženy do několika různých jazyků stroj, umožňuje symbolické názvy operací a adres, poskytuje funkce určené k usnadnění vyjádření datových struktur a logiku programu a to obvykle v několika strojových instrukcí pro každý příkaz programu. Příklady Ada, COBOL, FORTRAN, ALGOL, PASCAL.