Bâtiment 8 virtuel

English translation

Bienvenue au ``Bâtiment 8 virtuel'', un groupement d'équipes de recherche de l'INRIA, Rocquencourt, France, dans le domaine des langages de programmation, de la sémantique, des systèmes de preuves, des algorithmes et des sujets qui s'y rapportent.

Équipes de recherches:

Projet Gallium: le langage de programmation Caml, les systèmes de types, la vérification de compilateurs, les preuves de programmes. (Fait suite au Projet Cristal.)

Projet Cristal: le langage de programmation Caml, les systèmes de type, la modularité, les objets.

Projet Moscova: programmation parallèle, lambda-calcul, calculs de processus, gestion mémoire (garbage collection).

Projet Atoll: analyse syntaxique & programmation logique, linguistique computationnelle, techniques de tabulation, documents électroniques.

Projet LogiCal: logique, calcul, preuves formelles, le système d'aide à la preuve Coq.

Projet Algo: analyse d'algorithmes, calcul formel et analyse combinatoire.

Projet Contraintes: programmation par contraintes (anciennement projet Loco).

Logiciels:

Caml: les compilateurs Caml Light et Objective Caml.

GNU Prolog: compilateur Prolog natif intégrant un résolveur de contraintes sur les domaines finis.

Coq: un système d'aide à la preuve.

Join calcul: un langage pour le calcul distribué et parallèle.

clp(FD,S): un système de PLC.

HEVEA: un traducteur rapide de LaTeX vers HTML.

Active-DVI: un visualisateur DVI et un présentateur graphique de transparents écrits en LATEX.

MMM: un navigateur Web avec ses applettes en Caml.

Publications:

Publications disponibles sur ce serveur (interrogation par mot-clé).

Rapports techniques et thèses de doctorat (interrogation par mot-clé).

Divers:

Pages personnelles de nos utilisateurs.

Prochains événements on sur notre calendrier.

Annonces de séminaires en région parisienne.

Pour les visiteurs: comment se rendre à Rocquencourt.

Le site officiel de l'INRIA.

Le site de l'unité de Rocquencourt.

Le serveur FTP anonyme.


Racine - Cristal - Moscova - Atoll - LogiCal - Algo - Contraintes - Caml - Coq - Join - GNU Prolog - Pages personnelles
Contacter l'administrateur - Dernière modification: 2006/04/12