,
Sch�ma g�n�rique de d�veloppement par composition
Approches Formelles dans l'Assistance au D�veloppement de Logiciel AFADL'98, Poitiers - futuroscope, (1998)ftp://ftp-sop.inria.fr/smartool/Didier.Parigot/publications/Correnson98b.ps.gz.
Аннотация
Depuis peu, la programmation g�n�rique suscite un int�r�t grandissant
dans diff�rents paradigmes de programmation. Un principe souvent
utilis� pour obtenir de la g�n�ricit� est d'abstraire les calculs
d'un programme par rapport � leur structure de donn�es. Cette approche
permet � ces sp�cifications g�n�riques d'�tre instanci�es pour un
grand nombre de structures de donn�es voisines. De plus, le programme
peut ainsi �tre automatiquement adapt� lorsque les structures de
donn�es �voluent. La programmation polytypique, la programmation
adaptive et les grammaires attribu�es g�n�riques sont des m�thodes
formelles de programmation g�n�riques qui adoptent cette approche.
La comparaison de ces m�thodes nous a conduit � proposer un sch�ma
commun de d�veloppement de programmes g�n�riques. Cette m�thode est
bas�e sur deux concepts fondamentaux\,: la g�n�ration automatique
de morphismes entre structures de donn�es, et l'instanciation formelle
des programmes g�n�riques par composition, assist�e par des outils
de sp�cialisation.
