A programming paradigm where the programmer instructs the machine how to change its state.