Языки программирования высокого уровня приближены к уровню естественных языков. Грамотно составленная программа на языке программирования высокого уровня напоминает план решения задачи, записанный на обычном человеческом языке. Языки программирования высокого уровня обычно являются машинно-независимыми.