Paru le 15/05/1993 | Broché XVI-390 pages
Professionnels
A la suite de Lille en 1992, c'est l'Ecole pour les Etudes et la Recherche en Informatique et Electronique (EERIE) de Nîmes qui a accueilli la deuxième édition des Journées Françaises de Programmation Logique.
Dans la tradition du Séminaire de Programmation Logique de Trégastel organisé par le CNET de 1983 à 1991, les JFPL sont un point de rencontre et d'échange privilégié pour la communauté francophone de programmation en logique. Elles sont la vitrine des recherches théoriques et appliquées sur le domaine et rassemblent pendant trois jours chercheurs, industriels et utilisateurs.
Par rapport à la tradition, deux changements sont à noter. D'abord l'introduction de tutoriaux au sein de la conférence, pour permettre aux participants de faire le point sur les sujets abordés (Lambda Prolog, méthodes de preuve et interprétation abstraite). Enfin et surtout, le couplage JFPL/Avignon, la troisième journée des JFPL se déroulant en Avignon dans le cadre des journées «Systèmes experts et applications» organisées par EC2.
Le présent volume réunit les actes des communications prononcées lors de ces trois journées. Les thèmes des différentes sessions sont les suivants :
