Langages de l'informatique

More documents

Recommendations

Info

Machine p. 124 - virtuelle Licence des droits d’usage en page 2. Sémantique opérationnelle Langages de l’informatique Patrick Bellot Introduction Les langages Les paradigmes Modèle impératif abstrait Boehm et Jacopini Programmation impérative Programmation fonctionnelle Programmation en logique Gestion de la mémoire Quatre types de mémoire Gérer sa mémoire Comptage de référence Syntaxe et sémantique Sémantiques Analyse lexicale Analyse syntaxique Dans ce type de sémantique, on décrit une machine abstraite, un genre d’ordinateur parfait. On définit comment les instructions du langage devraient s’exécuter sur cette machine abstraite. Cela peut donner une bonne idée de ce que font les programmes mais ce type de sémantique n’est ni très maniable ni très utile d’un point de vue théorique. Exemple: on pourrait compiler les instructions du langage dans le modèle impératif abstrait. Compilation Interprétation
Machine p. 125 - virtuelle Licence des droits d’usage en page 2. Sémantique dénotationnelle Langages de l’informatique Patrick Bellot Introduction Les langages Les paradigmes Modèle impératif abstrait Boehm et Jacopini Programmation impérative Programmation fonctionnelle Programmation en logique Gestion de la mémoire Quatre types de mémoire Gérer sa mémoire Comptage de référence Syntaxe et sémantique Sémantiques Analyse lexicale Analyse syntaxique Compilation Interprétation En sémantique dénotationnelle, on décrit l’état d’un programme par un Environnement composé, par exemple, d’une pile de couple variable-valeur. Puis l’effet de chaque instruction instruction est décrit par une fonction D instruction des environnements dans les environnements. Exemples D ”int i = 0” (E) = push(< i,0 >,E) D ”i = 2” (E) = replace(i,2,E) D ”while (test) inst (E) = let [b,E ′ ] = [test,D test(E)] in if b then D ”while (test) inst” (D ”inst” (E ′ )) else E ′ La sémantique d’un programme est un programme fonctionnel exécutable.
Page 1 and 2:
Machine p. 1 - Licence virtuelle de
Page 3 and 4:
Page 5 and 6:
Les Ordinateurs Langages de l’inf
Page 7 and 8:
Page 9 and 10:
Page 11 and 12:
Machine p. 11 - Licence virtuellede
Page 13 and 14:
Plan Langages de l’informatique P
Page 15 and 16:
Page 17 and 18:
Les Fonctions d’un Langage Langag
Page 19 and 20:
Les Fonctions d’un Langage Langag
Page 21 and 22:
Page 23 and 24:
Page 25 and 26:
Les paradigmes Langages de l’info
Page 27 and 28:
Page 29 and 30:
Le Modèle Impératif Abstrait Lang
Page 31 and 32:
Page 33 and 34:
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
Le Paradigme Fonctionnel Langages d
Page 57 and 58:
Le Paradigme Fonctionnel Langages d
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74: Machine p. 73 - Licence virtuellede
Page 81 and 82: Le coloriage de carte Langages de l
Page 83 and 84: Plan Langages de l’informatique P
Page 89 and 90: La mémoire automatique ou“pile
Page 95 and 96: L’exemple de la calculatrice Lang
Page 101 and 102: Machine p. 101 - virtuelle Licence
Page 123: Machine p. 123 - virtuelle Licence
Page 131 and 132: Flex/lex Langages de l’informatiq
Page 145 and 146: Le compilateur : Frontent et Backen
Page 149 and 150: Exemple de génération Langages de
Page 175 and 176:
La spécification Langages de l’i
Page 177 and 178:
Machine p. 177 - virtuelle Licence
Page 179 and 180:
Page 181 and 182:
Page 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200:
show all

Langages de l'informatique

Create successful ePaper yourself

Delete template?

Save as template?