Langages de l'informatique

Machine p. 42 - Licence virtuelledes droits d’usage en page 2.
Le Modèle Impératif Abstrait
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
Exemple :
000 : A := B ;
001 : if (C == 0) goto 005 ;
002 : A := A + 1 ;
003 : C := C - 1 ;
004 : if (C 0) goto 002 ;
005 : end ;
peut devenir :
A := B ;
while (C 0) {
A := A + 1 ;
C := C - 1 ;
} ;
Interprétation