Le principe est de préciser ce qui doit être vrai à un moment donné de l'exécution d'un programme. Il ne faut pas penser que ce paradigme oblige à réaliser des tests effectifs des règles pendant ...

En programmation impérative, on travaille sur le modèle des machines à états (cf Automate fini, machine de Turing et Architecture de von Neumann), avec une mémoire centrale et des instructions qui ...