Équipes de recherches: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. 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.
|