Langages de l'informatique

More documents

Recommendations

Info

Génération de code intermédiaire Langages de l’informatique Introduction Patrick Bellot Le code intermédiaire est une suite d’instructions numérotées obéissant à la grammaire suivante : ::= | Les langages Les paradigmes Modèle impératif abstrait Boehm et Jacopini Programmation impérative Programmation fonctionnelle ::= ":=" ::= "if" "goto" 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 Machine p. 148 - virtuelle Licence des droits d’usage en page 2. ::= "+" | "-" | "*" | etc. ::= "" | etc. À quelques détails près !
Exemple de génération 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 Le code C suivant : { } int i = 2 ; int j = 2*i + 1 ; int k = 0 ; while (i < j) { k *= 2 ; i = i+1 ; } ; Gestion de la mémoire Quatre types de mémoire peut devenir: Gérer sa mémoire Comptage de référence 0 : _i := 2 Syntaxe et sémantique 1 : _j := 2 * _i Sémantiques 2 : _j := _j + 1 Analyse lexicale 3 : _k = 0 ; 4 : if _i >= _j goto 8 Analyse syntaxique 5 : _k := _k * 2 Compilation 6 : _i := _i + 1 Interprétation 7 : if _i < _j goto 5 8 : Machine p. 149 - virtuelle Licence des droits d’usage en page 2.
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:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Le coloriage de carte Langages de l
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
La mémoire automatique ou“pile
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
L’exemple de la calculatrice Lang
Page 97 and 98: Machine p. 97 - Licence virtuellede
Page 99 and 100: Machine p. 99 - Licence virtuellede
Page 101 and 102: Machine p. 101 - virtuelle Licence
Page 103 and 104: Plan Langages de l’informatique P
Page 131 and 132: Flex/lex Langages de l’informatiq
Page 145 and 146: Le compilateur : Frontent et Backen
Page 147: Le compilateur : Frontent et Backen
Page 151 and 152: Le compilateur : Frontent et Backen
Page 175 and 176: La spécification Langages de l’i
Page 199 and 200:
Machine p. 199 - virtuelle Licence
show all

Langages de l'informatique

Create successful ePaper yourself

Delete template?

Save as template?