LOGIQUE DE HOARE - IREM de la Réunion
1 Logique de Hoare, correction partielle et correction totale. On rappelle les règles définissant le jugement ? {A}c{A }, correspondant à la correction.
1 Logique de Hoare, correction partielle et correction totale. On rappelle les règles définissant le jugement ? {A}c{A }, correspondant à la correction.