CSI3525: Concepts des Languages de Programmation
Rappel: Semantique Statique vs Semantique Dynamique
Pourquoi Decrire la Semantique Dynamique?
Specification de la Semantique Dynamique (ou, simplement, Semantique)
Semantique Operationnelle
Semantique Denotationnelle
Semantique Axiomatique I
Semantique Axiomatique II
Semantique Axiomatique III
Semantique Axiomatique IV: l’Affectement
Semantique Axiomatique V: Justification de la procedure
Semantique Axiomatique VI: la Regle de Consequence (retrecissement ou elargissement)
Semantique Axiomatique VII: Sequences d’instructions
Semantique Axiomatique VIII: les Instructions de Selection
Semantique Axiomatique IX: Les Boucles a Test Initial
Semantique Axiomatique X: Les Boucles a Test Initial
Semantique Axiomatique XI: Les Boucles a Test Initial
Email: nat@site.uottawa.ca
Home Page: http://www.site.uottawa.ca