Langages de l'informatique

Machine p. 123 - virtuelle Licence des droits d’usage en page 2.
Sémantique informelle
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
La sémantique des instructions et des constructions
programmatiques est décrite en langage naturel. C’est
le cas dans la plupart des manuels de langages.
Exemple:
for (i = a; i < b ; i++)
Cette instruction met la valeur de a dams la variable i, puis elle répète
les trois actions suivantes :
1) tester si i est strictement inférieur à la valeur de b ;
2) si ce n’est pas le cas, l’exécution de l’instruction est finie ;
3) si c’est le cas alors éxécuter l’instruction puis
incrémenter i de 1 et retrouner en 1).
On voit que la tâche n’est pas aisée. Il ne faut laisser
aucune ambiguïté. Il ne faut laisser aucun doute : quelle
est la valeur de i après l’exécution de l’instruction ?