 |
|
|
|
| Fiche détaillée | HDR |
|
|
| Université Pierre et Marie Curie - Paris VI (19/12/2003), COUSINEAU GUY (Pr.) |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| PRATIQUE DES LANGAGES FONCTIONNELS TYPES |
|
|
| Emmanuel Chailloux1 |
|
|
|
| PRATIQUE DES LANGAGES FONCTIONNELS TYPES Dans l'approche conception on s'intéresse à l'évolution de la compilation de ML en l'illustrant par la description de deux compilateurs : CeML un compilateur de ML vers C et OCamil un compilateur d'O'CAML vers .net. On montre ensuite les capacités d'extensions (parallèle et objet) au niveau des constructions du langage ML. Cela autorise de le choisir comme langage cible de compilation pour d'autres langages. Les capacités d'interopérer entre ML d'autres langages sont alors explorées pour plusieurs plates-formes d'exécution en conservant la sûreté du typage statique. Dans l'approche développement d'applications on s'intéresse aux outils de développement de l'édition structurée à la mise au point et à l'intégration de ces outils dans une même interface. On discute ensuite sur la formation du programmeur en montrant le cadre confortable du typage statique et l'intérêt de comprendre le modèle fonctionnel avant d'aborder le modèle objet. Le déploiement d'application est illustré par plusieurs applications embarquant un compilateur ML en tant que composant de l'application. |
|
|
|
|
|
|
|
|
|
| 1 : | PPS - Preuves, Programmes et Systèmes |
|
|
|
|
|
|
|
| LANGAGES FONCTIONNELS – TYPAGE – ML – COMPILATION – INTEROPERABILITE – PLATE-FORME D'EXECUTION – ENVIRONNEMENT DE DEVELOPPEMENT |
| . |
| FUNCTIONAL LANGUAGES – TYPECHECKING – ML – COMPILATION – INTEROPERABILITY – RUNTIME LIBRARY – DEVELOPMENT ENVIRONEMENT |
| tel-00009013, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00009013 | |
| oai:tel.archives-ouvertes.fr:tel-00009013 | |
| Contributeur : EMMANUEL CHAILLOUX | |
| Soumis le : Mercredi 13 Avril 2005, 18:12:17 | |
| Dernière modification le : Mercredi 13 Avril 2005, 18:12:17 | |
