Rappel: Semantique Statique vs Semantique Dynamique
La semantique statique represente les formes legales des programmes qui ne peuvent pas etre facilemet decritesen grammaire BNF. On appelle cette semantique, statique, car elle est verifiee pendant la compilation.
La semantique dynamique decrit la signification des programmes ou les effets encourus par l’execution d’un programme.