Proseduraalinen ohjelmointi on imperatiivinen ohjelmointiparadigma, jossa ohjelman suoritusta jäsennetään jakamalla aliohjelmiin, proseduureihin. Aliohjelma on itsenäinen ohjelman osa, jota voidaan kutsua mistä tahansa pääohjelmasta tai muista aliohjelmista. Kutsuttaessa aliohjelmaa ohjelman suoritus siirtyy aliohjelman alkuun ja aliohjelman suorituksen päätyttyä suoritus jatkuu aliohjelmakutsua seuraavasta komennosta pääohjelmassa. Aliohjelmat mahdollistavat toiminnallisuuden uudelleenkäytön useissa eri kohdassa ohjelmaa. Aliohjelmille voidaan antaa parametreja, jolloin jonkin ongelman ratkaisu voidaan kuvata yleisesti kaikille mahdollisille lähtöarvoille.
Proseduraaliseen ohjelmointiin liittyy olennaisesti hajota ja hallitse -suunnittelumenetelmä. Menetelmässä ongelma ratkaistaan jakamalla se osatehtäviin yhä uudestaan, kunnes tuloksena on niin yksinkertaisia tehtäviä, että niiden ratkaisut voidaan ilmaista ohjelmointikielen lauseilla. Tätä kutsutaan funktionaaliseksi dekompositioksi.
Tyypillisiä proseduraalisia ohjelmointikieliä ovat C, Ada ja Pascal.