Un paradigma de programación informática que utiliza secuencias de instrucciones claramente definidas, que modifican el estado de un programa.