Pourquoi Decrire la Semantique Dynamique?
Les programmeurs doivent savoir exactement ce que fait chaque portion de leur programme
Les personnes qui ecrivent les compilateurs doivent aussi savoir ce que doivent faire chaque instruction.
Bien qu’elles soient imprecises, les programmeurs et ecrivains de compilateurs doivent se servir de descriptions en Anglais car les descriptions de semantique formelle sont tres complexes.
Neanmoins, la definition d’une notation formelle et adequate serait importante car elle pourrait aider les ecrivains de compilateurs avec des descriptions plus precises, et peut-etre, meme permettre la generation de compilateur automatique.