Sémantique et Traduction des langages

Étude théorique et pratique de :

• Sémantique opérationnelle
• Sémantique axiomatique
• Interpréteur
• Compilateur
• Analyseur statique
• Preuve de correction de tels outils