Mémoires soutenus dans le cadre du projet

"ECOLE2000"
Environnement de COnstruction et d'évaluation d' aLgorithmes fonctionnels, logiques et objEts.

Construction de programmes fonctionnels avec variables & leur traduction vers des Lambda -expressions équivalentes.
Réalisation d’un environnement de construction et de transformation d’algorithmes logiques.
Démonstrateurs automatiques pour un prototype de langage logique.
Machine à réduction pour un langage fonctionnel.
Ecolo : un environnement de programmation objet par classe.
Environnement de construction et d’interprétation pour un prototype de langage Objet par ‘Frame’.
Environnement de construction et d’interprétation pour un prototype de langage Objet par ‘Acteur’.
Environnement de programmation fonctionnelle sans variable.

SUJET	Construction de programmes fonctionnels avec variables & leur traduction vers des Lambda-expressions équivalentes.
PRÉSENTÉ PAR	S. DELLYS
Dans ce travail nous nous intéresserons à une partie du projet, qui est la réalisation d'un  environnement de construction et de transformation d'algorithmes   fonctionnels avec variables. Il s'agit de définir un langage fonctionnel en déterminant sa syntaxe et sa sémantique   puis développer  les outils suivants : - Des outils syntaxiques  d ' aide à la construction des programmes. - Un traducteur vers un langage pivot (Lambda-calcul) . - un traducteur vers un langage procédural.

SUJET	Réalisation d'un environnement de construction et de transformation d'algorithmes logiques.
PRÉSENTÉ PAR	H. DJOUABI
Il s'agit de concevoir et de réaliser un environnement de construction, correction et de transformation de  programmes logiques appartenant au langage LOGFC conçu   préalablement. Le code généré est la forme clausale, qui constitue le code pivot pour le mécanisme de résolution appliqué lors de l'interprétation des programmes logiques. L'édition d'un programme LOGFC peut s'effectuer en deux modes :   assisté ou non assisté, tous deux accompagnés d'un système d'aide.

SUJET	Démonstrateurs automatiques pour un prototype de langage logique.
PRÉSENTÉ PAR	D. MAALEM et A. ALLAOUI
Ce travail consiste à développer un démonstrateur de théorèmes pour l'exécution de programmes logiques (sous forme clausale) en adoptant différentes stratégies de la résolution de Robinson et l'intégrer dans l'application déjà réalisée. L'application est doté d'un outil qui permet de transformer toute formule de la logique des prédicats du premier ordre vers une forme clausale équivalente.

SUJET	Machine à réduction pour un langage fonctionnel.
PRÉSENTÉ PAR	D. BOUKHLEF
Il s'agit de développer une machine pour l'évaluation  de programmes fonctionnels ( sous forme de Lambda-expressions) en adoptant différentes stratégies de la Béta-conversion ( évaluation par valeur, par nécessité , paresseuse, ... ) et l'intégrer dans l'application déjà réalisée. L'application est dotée d'un outil qui permet de vérifier l'équivalence de fonctions mathématiques écrites sous forme usuelle ( Inter-convertibilité  de Lambda-expressions)

SUJET	Ecolo : un environnement de programmation objet par classe.
PRÉSENTÉ PAR	H. SMATI et L.BORDJI
Il s'agit de concevoir un langage purement objet en s'inspirant de langages existants, pourvu au moins des caractéristiques suivantes : Encapsulation : regroupement de données et de méthodes sous une même entité ( objet ). Héritage :  mécanisme de transmission de propriétés entre classes. Polymorphisme : liaison dynamique des méthodes ( principe des  méthodes virtuelles ) Classes génériques : définition du type de l'objet indépendamment de son implémentation. Typage dynamique : possibilité de créer de nouveaux types au cours de l'exécution d'un programme. Le travail consiste à développer un environnement de construction de programmes objet ainsi qu'un interpréteur capable de résoudre les techniques de la programmation objet pure ( caractéristiques citées)

SUJET	Environnement de construction et d'interprétation pour un prototype de langage Objet par 'Frame'.
PRÉSENTÉ PAR	BEHLOULI & F. ABAZIZ
Dans la programmation par 'frame', le graphe d'héritage est typiquement dynamique. Aussi, contrairement à la programmation par classe, chaque objet  ( frame ) est en même temps considéré comme instance et générateur d'autres objets. Cette partie consiste - à  la conception d'un langage objet typiquement par 'Frame' en faisant ressortir les différents concepts de ce mode de programmation. -  à l'implémentation de ces concepts dans le but de l'élaboration d'un interpréteur. -  au développement d'un environnement pédagogique de programmation facilitant la construction des programmes par 'frames' du langage proposé et montrant les différents aspects liés à ce type de programmation.

SUJET	Environnement de construction et d'interprétation pour un prototype de langage Objet par 'Acteur'.
PRÉSENTÉ PAR	K. LASSOUANI
Dans la programmation par 'acteur', les objets (acteurs) accomplissent des taches indépendantes (scripts )et se communiquent par envois de messages. Ce qui implique un parallélisme au niveau des traitements. Ceci revient à -  concevoir un langage objet typiquement par 'Acteur' en faisant ressortir les différents concepts de ce mode de programmation. -  implémenter ces concepts dans le but d'élaborer un interpréteur simulant le parallélisme. - développer un environnement pédagogique de programmation facilitant la construction des programmes par 'Acteurs' du langage proposé et montrant les différents aspects liés à ce type de programmation.

SUJET	Environnement de programmation fonctionnelle sans variable.
PRÉSENTÉ PAR	R. DELLI & D. SAIDANI
Il s'agit de concevoir un langage typiquement fonctionnel, inspiré du langage FP,   dans lequel la programmation se fait sans l'utilisation de variables. Deux aspects sont développés : - passage vers un langage pivot : logique combinatoire - écriture d'une machine à réduction pour évaluer les formes combinatoires. Le produit est conçu de telle sorte pour qu'il soit utilisé à des fins pédagogiques.