Język programowania, który wymaga trochę wiedzy o komputerze, na którym program będzie działać, mogą być przetłumaczone na kilka języków do maszyny, pozwala symboliczne nazwy operacji i adresy, zawiera funkcje ułatwiające wyrażenie struktur danych i programu logika i zwykle wyniki w kilku instrukcji dla każdej instrukcji programu. Przykłady Ada, COBOL, FORTRAN, ALGOL, PASCAL.