Compilateur

    map : contient pour chaque variable de l'expression une place dans la mémoire de la machine

•     loc ( v , map) : donne la place de la variable v dans la mémoire de la machine

                vérifiant :

• c (loc (v , map)  , R) = c (v , E)                

compile (e , t) = if           isconst(e)   then  mkli (val(e))

         1                 elseif    isvar (e)      then   mkload(loc (e , map))

                            elseif    issum (e)     then   compile (s1 (e) , t) * mksto (t) *  compile (s2 (e) , t + 1) * mkadd (t)