Le langage procédural permet de décrire les procédures d'un raisonnement en distinguant les procédures et les données soumises à ces procédures.
Les langages de haut niveau les plus connus tels que C, PASCAL, BASIC, FORTRAN et COBOL sont des langages procéduraux.
La programmation procédurale (C, Pascal, Basic, …) est constituée d'une suite d'instructions (souvent réunies en fonctions) exécutées par une machine.
Ces instructions ont pour but d'agir sur des données pour produire une effet quelconque.