PRATIQUE DES LANGAGES FONCTIONNELS TYPES - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 2003

PRATIQUE DES LANGAGES FONCTIONNELS TYPES

Emmanuel Chailloux

Abstract

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.
Fichier principal
Vignette du fichier
tel-00009013.pdf (2.38 Mo) Télécharger le fichier

Dates and versions

tel-00009013 , version 1 (13-04-2005)

Identifiers

  • HAL Id : tel-00009013 , version 1

Cite

Emmanuel Chailloux. PRATIQUE DES LANGAGES FONCTIONNELS TYPES. Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2003. ⟨tel-00009013⟩
303 View
1605 Download

Share

Gmail Facebook X LinkedIn More