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