Язык программирования, который требует мало знают о компьютере, на котором будет работать программа, могут быть переведены на несколько языков машины, позволяет символических имен операций и адреса, предоставляет функции, предназначенные для облегчения выражение структур данных и логики программы и обычно приводит к несколько машинных инструкций для каждой программы. Примеры включают Ada, Кобол, FORTRAN, Алгол, Паскаль.