Мова програмування, яка потребує мало знань з комп'ютера, на якому програма буде працювати, можуть бути переведені на кілька різних мов машина, дозволяє символічні іменування операцій та адреси, надає функції, які покликані полегшити вираз структур даних і програма логіка і зазвичай призводить до декількох машина інструкції для кожної програми заяву. Приклади включають Ada, COBOL, FORTRAN, ALGOL, PASCAL.