RA 1997
Suivant : Composition de l'équipe

Projet LOCO

Programmation en LOgique avec COntraintes

Rapport d'activité 1996

Page de présentation du projet - Rapport d'activité au format PostScript

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, traitement d'erreur, vérification de programme

• Composition de l'équipe
• Présentation du projet
  • Historique
  • Les axes de recherche
• Action de recherche
  • Aspects langages: Programmation Concurrente avec Contraintes
    • CCC(;)
    • CC distribué
  • Aspects domaines de contraintes et algorithmes de résolution
    • Contraintes sur les domaines finis
    • Contraintes Numériques
  • Aspects environnements
    • Hyper Programmation Logique
    • Validation
    • Modularité
    • Diagnostic d'erreur
• Action industrielles
  • PrologIA
  • Standard Prolog
  • Rank Xerox, Grenoble
• Actions nationales et internationales
  • Activités nationales
  • Projets internationaux
    • Projet Européen DiSCiPl
    • European Network of Excellence in Computational Logic et Pilot Task Force
    • Portugal
    • Europe de l'est et Russie
    • Brésil
    • Etats Unis, contrat NSF
  • Comités de programme de conférences internationales
• Diffusion des résultats
  • Actions d'enseignement
  • Participation à des colloques
  • Conférences invitées, tutoriels, cours, etc.
  • Diffusion de logiciels
• Références
• Abstract