Процедурне програмування; програмування на імперативний мовою, при якому послідовно виконувані оператори можна зібрати в підпрограми, тобто більш великі цілісні одиниці коду, за допомогою механізмів самої мови[].
Процедурне програмування є відображенням архітектури традиційних ЕОМ, яка була запропонована фон Нейманом в 1940-х роках. Теоретичною моделлю процедурного програмування служить абстрактна обчислювальна система під назвою машина Тюрінга.
Виконання програми зводиться до послідовного виконання операторів з метою перетворення вихідного стану пам'яті, тобто значень вихідних даних, заключне, тобто результати. Таким чином, з точки зору програміста є програма і пам'ять, причому перша послідовно оновлює вміст останньої.
Процедурний мова програмування надає можливість програмісту визначати кожен крок у процесі рішення задачі. Особливість таких мов програмування полягає в тому, що завдання розбиваються на кроки і вирішуються крок за кроком. Використовуючи процедурний мову, програміст визначає мовні конструкції для виконання послідовності алгоритмічних кроків.
