A foundational programming paradigm focusing on sequences of statements, loops, and conditionals to dictate operations and state changes, rooted in early high-level languages like Fortran, ALGOL, and COBOL