Proposition de stage : Étude d'une extension Grammaires Attribuées su sien du langage JAVA

Last modified: Mon Dec 2 1996

Les Grammaires Attribuées (GA) sont un paradigme de programmation déclaratif et dirigé par la syntaxe qui a prouvé sa valeur sur de grosses applications comme les compilateurs. Nous étudions les GA depuis de nombreuses années dans le projet Oscar de l'INRIA­Rocquencourt. Nous pensons que ce paradigme de programmation est adapté à d'autres domaines que la compilation. Pour permettre une utilisation plus simple des GAs, nous pensons qu'il est nécessaire de les inclure dans un langage généraliste. Notre choix s'est porté sur un langage qui nous semble plein d'avenir Java.

Cette tentative n'est pas isolée puisqu'un des pères de la programmation fonctionnelle, P.Wadler, a proposé une extension à Java, Pizza [Odersky97] , qui tente d'introduire certaines ``bonnes notions'' (ordre supérieur, polymorphisme) de la programmation fonctionnelle. Son approche est d'autant plus intéressante qu'elle propose une stratégie d'implantation de ces extensions sous forme d'une traduction vers le langage original. De plus, il propose d'introduire les types abstraits dans la programmation objet, ce qui est la première étape de l'introduction des GAs ``dans la java''.

Le sujet du stage consiste à proposer, après une étude approfondie de la parole du maître, une extension à Java qui permette le paradigme de la programmation par attributs. Cette proposition pourra donner lieu à une première implantation. Une suite naturelle à ce sujet serait d'approfondir la comparaison entre les deux paradigmes de programmation (par objets et par attributs). En particulier, il semble intéressant de comparer la possibilité du développement incrémental, par touches successives, ainsi que la notion de généricité structurelle Duris97, toutes deux liées à la programmation par attributs, avec les notions d'encapsulation et d'héritage liées à la programmation par objet.

Lieu du stage :

Avant-projet Oscar, INRIA, bâtiment 13, Domaine de Voluceau, Rocquencourt, B. P. 105, 78153 Le Chesnay Cedex

Responsables :

Didier Parigot (Didier.Parigot@inria.fr, 01.39.63.55.46), Martin Jourdan (Martin.Jourdan@inria.fr, 01.39.63.54.35)

Généralités et autres sujets de stage sur les grammaires attribuées proposés par le projet Oscar