Pascal, Modula, Oberon – apărute începând din 1971, ca urmare a lucrărilor profesorului Wirth în domeniul programării structurate, acestea au fost o adevărată revoluţie în domeniul academic, fiind limbaje de nivel înalt cu verificări de tip, permiţând creerea de librării de algoritmi, refolosirea codului prin creerea modulelor (Modula2 şi Oberon), a listelor de import şi export; au dominat şi încă mai domină mediul universitar, fiind limbajele preferate pentru instruirea studenţilor în algoritmi şi tehnici de programare;
ADA – unul dintre cele mai complexe şi solide limbaje apărute, conţine verificare puternică de tip metode de detecţie şi tratare de erori, utilizând compilatoare foarte complexe. Este folosit în general în aplicaţiile critice din punct de vedere al erorilor, în domeniul aviatic şi militar, în mainframeuri.
