RA 1995     RA 1997
Suivant : Composition de l'équipe

Projet CRISTAL

Programmation typée, modularité et compilation

Rapport d'activité 1996

Page de présentation du projet - Rapport d'activité au format PostScript

Localisation : Rocquencourt

Mots-clés : compilation, compilation séparée, environnement de programmation, génération de code, lambda-calcul, programmation fonctionnelle, typage

• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Implémentation de Caml
    • Objective Caml
    • Objective Caml sous Microsoft Windows
    • Outils syntaxiques
  • Outils pour le Web
    • MMM
    • V6
    • Les protocoles et la sécurité sur le Web
    • Verified Internet Protocols
  • Modularité
    • Systèmes de modules
    • Ajout d'une construction conditionnelle dans les modules
  • Systèmes de types
    • Typage des objets
    • Sous-typage
    • Types intersection
    • Polymorphisme extensionnel
    • Preuves formelles de synthétiseurs de types
    • ASN.1
  • Arithmétique
  • Calcul distribué
    • Join-calcul distribué
    • Calcul distribué et le langage Scheme
• Actions industrielles
  • GIE Dyade
• Actions nationales et internationales
  • Actions nationales
    • Activités éditoriales
    • Contacts industriels
    • GDR Programmation
    • Autres responsabilités
  • Actions internationales
    • Activités éditoriales
    • Contacts industriels
    • Europe
    • Amérique
• Diffusion des résultats
  • Actions d'enseignement
    • Enseignement universitaire et grandes écoles
    • Encadrement de stages, thèses
    • Jurys de thèse
  • Participation à des colloques
  • Conférences invitées, tutoriels, cours, etc.
  • Animations scientifiques
  • Diffusion de logiciels
• Références
• Abstract