Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Cs 9 Sémantique des instructions pour le langage Z minimal Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure d ? Informatique ESI http zegour esi dz email d zegour esi dz CSémantique des instructions pour le langage Z minimal Introduction ? Trois types d ? instruc

Sémantique des instructions pour le langage Z minimal Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure d ? Informatique ESI http zegour esi dz email d zegour esi dz CSémantique des instructions pour le langage Z minimal Introduction ? Trois types d ? instructions existent dans le langage minimal a ?ectation lecture écriture ? Il s ? agit d ? insérer les fonctions sémantiques quelque part dans les règles syntaxiques pour générer les quadruplés ? Une lecture écriture permet de lire plusieurs données expressions à la fois Ex Lire A B C D E ? ? Comme un quadruplet ne su ?t pas pour ranger tous les arguments des opérations de lecture ou écriture nous utiliserons une table complémentaire TABCOMP CSémantique des instructions pour le langage Z minimal la table TABCOMP Solution ? Ranger les arguments adresses vers les objets dans TABCOMP à partir du premier emplacement disponible dans cette table ? Dans le quadruplé il su ?t de ranger l ? emplacement du premier argument et le nombre d ? arguments Remarque ? TABCOMP est partagée par plusieurs types de quadruplés CSémantique des instructions pour le langage Z minimal Quadruplés Quadruplé de l ? a ?ectation ? A ? ? B C D B pointeurs dans TABOB vers le membre gauche C non utilisé D pointeur dans TABOB sur l ? objet qui contient le résultat de l ? expression du membre droit Quadruplé de la lecture ? Lire ? B C D B pointeurs dans TABCOMP vers la liste des variables C Nombre de variables D non utilisé Quadruplé de l ? écriture B pointeurs dans TABCOMP ? Evecrrsirela ? lBis teCd eDs v ariables contenant les résultats des expressions à écrire C Nombre de variables D non utilisé CSémantique des instructions pour le langage Z minimal Syntaxe Lis ?? Inst Inst ?? Idf Lire Idf Idf Ecrire CSémantique des instructions pour le langage Z minimal Dé ?nition sémantique ? Le programme est un ensemble d ? instructions ? Une instruction peut être une a ?ectation lecture ou écriture ? A ?ectation ?? attribution de la valeur d ? une expression à une variable ?? Les deux membres du signe d ? a ?ectation doivent être de même type ? Lecture introduction des données ?? Les paramètres de l ? opération Lire doivent être des variables du même que celles des données lues ?? Aucune conversion n ? est entreprise par le compilateur ? Écriture a ?cher les résultats ?? Les paramètres de l ? opération Ecrire ne peuvent être que des expressions de type scalaire Entier ou Booleen pour le langage Z minimal CSémantique des instructions pour le langage Z minimal Fonctions sémantiques Lis ?? Inst Inst ?? Idf F F Lire Idf F Idf F F Ecrire F F F CSémantique des instructions pour le langage Z minimal Fonctions sémantiques Ecrire F F F Soit Temp le résultat de Véri ?er que le type de Temp peut F être écrit Ranger Temp dans TABCOM Soit Pt son emplacement