[TP6] Question 3, évaluation

Programmation Avancée

Moderator: douinj

Post Reply
delaba_q
Posts: 26
Joined: 03 Oct 2021 0:47

[TP6] Question 3, évaluation

Post by delaba_q » 16 Nov 2021 12:58

Bonjour,

Il y a quelque chose que je n'ai pas compris, ni dans l'énoncé, ni avec le code des tests : est-ce que l'opération d'affectation modifie le contexte courant, ou renvoie une copie modifiée du contexte ?
Le cas échéant, est-ce que j'ai le droit de modifier du code d'origine (la classe Memoire par exemple) pour copier le contexte ?

douinj
Posts: 462
Joined: 18 Mar 2009 15:46

Re: [TP6] Question 3, évaluation

Post by douinj » 16 Nov 2021 13:12

Bonjour,
ni dans l'énoncé, ni avec le code des tests
Vous avez une réponse dans les règles d'inférence et dans les tests également cf. factoriel, éventuellement Henessy

Un programme est censé modifier une mémoire (le contexte) il fait quelque chose...
{x/0}
x = x+1
{x/1}

<M>,Exp -visite-> N
___________________________
<M>, X = Exp -visite-> <M[X]=N>
L'affectation : X=Exp. si avant exécution l'état de la Mémoire est M

Evaluation de Exp dans un entier N cf. question 1
modification de la mémoire en X

après exécution l'état de la Mémoire est M1 i.e. maintenant M[X]=N

Bonne affectation de la mémoire

Post Reply