RA
1996 RA 1998Suivant : Composition de l'équipe
RA
1996 RA 1998
Suivant : Composition de l'équipe
Projet LOCO
Programmation en LOgique avec COntraintes
Rapport d'activité de 1997
Page de présentation du projet - Rapport d'activité au format PostScript ou PDF
Localisation : Rocquencourt
Mots-clés : programmation par contraintes, sémantique,
implantation, compilation, satisfaction de contraintes,
concurrence, programmation en logique, 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