Projet PARA

Parallélisme

Rapport d'activité 1995

Page WWW du projet

Localisation : Rocquencourt

Mots clefs : parallélisme, parallélisme asynchrone, programmation fonctionnelle, pi-calcul, programmation répartie, tolérance aux fautes, agents mobiles, World Wide Web, concurrence, ramasse-miettes, preuve de programme, démonstration automatique, lambda-calcul

• Table des matières
• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Programmation distribuée d'ordre supérieur
  • Un nouveau modèle de la concurrence
  • Récupération concurrente de mémoire et preuves mécaniques
  • Langages de programmation fonctionnels
  • Substitutions explicites
  • Systèmes de réductions abstraites
  • Maintenance des systèmes d'exploitation
• Actions internationales
  • Projet Esprit CONFER
  • ACSC 95
• Actions nationales
• Diffusion des résultats
  • Diffusion de produits
  • Actions d'enseignement
    • Enseignement universitaire
    • Autres actions d'enseignement
    • Jurys de thèse
  • Participation aux manifestations
  • Activités extérieures
• Références
• Abstract