Сравнение процедурных и непроцедурных языков программирования

Программа на процедурном языке программирования состоит из последовательности команд, задающих процедуру решения задачи. Основным оператором является присваивания, предназначенное для изменения содержимого областей памяти. Концепция памяти как хранилища значений, содержимое которого может обновляться операторами программы, является фундаментальной в процедурном программировании.
Исполнение программы сводится к последовательному выполнению операторов, которые преобразуют исходное состояния памяти, то есть исходные значения, в конечное(результат).
Процедурный язык программирования позволяет программисту определять каждый шаг в процессе решения задачи. Особенность таких языков программирования состоит в том, что происходит декомпозиция задачи, то есть ее разбиение на шаги, и далее они выполняются последовательно.
2.1 Языки программирования низкого уровня
К процедурным языкам низкого уровня относится: программирование в машинных кодах, ассемблер, макроассемблер. Языки низкого уровня ориентировались на определенный тип процессора и учитывали его особенности, поэтому для того, чтобы перенести программу, написанную на ассемблере, на другую аппаратную платформу её нужно было почти полностью переписать. Различия присутствовали также и в синтаксисе программ под разные компиляторы. Языками низкого уровня пользуются преимущественно для написания небольших системных программ, драйверов устройств, модулей стыков с нестандартным оборудованием, программирования специализированных микропроцессоров, когда немаловажным является компактность, быстродействие и возможность прямого доступа к аппаратным ресурсам.
2.1.1 Ассемблер
В качестве примера процедурного языка низкого уровня рассмотрим язык Ассемблер.
Ассемблер —  машинно-ориентированный язык программирования низкого уровня. Его команды прямо соответствуют отдельным командам машины или их последовательностям, также он может предоставлять дополнительные возможности облегчения программирования, такие как макрокоманды, выражения, средства обеспечения модульности программ. На рисунке 2 приведен пример программы сложения двух чисел на языке Ассемблер.