Programovací jazyk, ktorý vyžaduje len málo informácií o počítači, na ktorom program pobeží, môžu byť preložené do niekoľkých jazykov stroj, umožňuje symbolickú pomenovanie operácií a adresy, poskytuje funkcie na uľahčenie výraz dátových štruktúr a program logiky a zvyčajne vyústi v niekoľko inštrukcií pre každý program výkaz. Príklady zahŕňajú Ada, COBOL, FORTRAN, ALGOL, PASCAL.