Nouveau langage pour le compilateur du logiciel probabiliste KANT

Volet 1 : Prise en main de KANT et du prototype

• Familiarisation avec l'utilisation de KANT pour développer, compiler et exécuter un ADAG élémentaire.
• Compréhension du code source C++ de KANT pour recompiler les modules Moteur et Compilateur.
• Exécution de cas-tests disponibles.
• Prise en main du prototype, ajout au module Moteur, et portage vers la branche courante de développement de KANT.

Volet 2 : Extension du prototype et adaptation du Compilateur

• Extension du code Lua aux zones de déclaration, zone commune, zone spécifique, et zone contrôle.
• Adaptation du compilateur pour produire un code Lua équivalent à celui utilisé pour l'extension du prototype.
• Production d'un cas-test correspondant à ces développements.

Volet 3 : Extension à tout le langage KANT (hors fonctions externes)

• Adaptation du compilateur pour produire le code Lua couvrant toutes les instructions du langage KANT, sauf celles concernant les fonctions externes.
• Élaboration d'un cas-test utilisant toutes les instructions pertinentes.

Volet 4 : Extension aux fonctions externes

• Modification du compilateur pour produire le code Lua adéquat pour appeler des fonctions de bibliothèques externes.
• Adaptation du code du module Moteur en conséquence.

Volet 5 : Débogage et cas-tests sémantiques

• Reproduction du comportement de débogage du moteur de KANT.
• Proposition de cas-tests pour vérifier les vérifications de type au niveau de la compilation.