Projet : LOCO

previous up next contents
Précédent : Présentation et objectifs généraux Remonter : Présentation et objectifs généraux Suivant : Les axes de recherche


   
Historique

Mots clés : programmation par contraintes, sémantique, implantation, compilation, satisfaction de contraintes, concurrence, programmation en logique, programmation declarative, spécification formelle, débogage, Prolog, environnement de programmation, génie logiciel, grammaire attribuée, interprétation abstraite, langage de programmation, modèle d'exécution, négation, standardisation, parallélisme, parallélisme de données, monde virtuel, VRML traitement d'erreur, vérification de programme .

Le projet LOCO, créé le 21 Octobre 96, est un projet commun à l'INRIA-Rocquencourt et au laboratoire LIFO de l'Université d'Orléans. Il regroupe essentiellement deux équipes géographiquement distinctes travaillant en étroite concertation, à l'INRIA et au LIFO, sur la programmation en logique avec contraintes.