8. JFPLC 1999: Lyon France

@proceedings{DBLP:conf/jfplc/1999,
  editor    = {Fran\c{c}ois Fages},
  title     = {JFPLC'99, Huiti{\`e}mes Journ{\'e}es Francophones de Programmation
               Logique et programmation par Contraintes, 2-4 juin 199, Lyon,
               France},
  booktitle = {JFPLC},
  publisher = {Hermes},
  year      = {1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Analyse statique

• Giorgio Delzanno, Andreas Podelski: Verification of Infinite-State Systems in Constraint Logic Programming. 13-22 BibTeX
• Serge Colin, Frédéric Mesnard, Antoine Rauzy: Un module Prolog de mu-calcul booléen: une réalisation par BDD. 23-38 BibTeX
• Christophe Mauras, René Thoraval: A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes. 39-54 BibTeX
• Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. 55-72 BibTeX

Languages et extensions

• Luc De Raedt: Database Mining and Inductive Logic Programming. 73-74 BibTeX
• Gilles Richard: Comparison between Programs and Concepts in ILP. 75-88 BibTeX
• Frédéric Saubion, Igor Stéphan: Implanter des langages d'arbres en Prolog. 89-106 BibTeX

Parallélisme

• Arnaud Lallouet, Gaétan Hains: Programmation par contraintes parallèle: l'approche CLP(Chi). 107-122 BibTeX
• Eric Monfroy, Jean-Hugues Réty: Itérations asynchrones: un cadre uniforme pour la propagation de contraintes parallèle et répartie. 123-140 BibTeX

Optimisation combinatoire

• Alexander Bockmayr, Thomas Kasper: Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. 141-142 BibTeX
• Pascal Van Hentenryck: Localizer: A Modeling Language for Local Search. 143-144 BibTeX
• Louis-Martin Rousseau, Gilles Pesant: Une hybridation de programmation par contraintes et recherche locale pour le problème de tournées de véhicules. 145-160 BibTeX
• Simon de Givry, Pierre Savéant, Jean Jourdan: Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif. 161-178 BibTeX

Contraintes

• Stéphane Grumbach: Constraint Databases. 179-188 BibTeX
• Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos: Incremental Expansion of Database Updates Through Integrity Constraints. 189-204 BibTeX
• Patricia Mainguet: Résolution incrémentale d'inéquations linéairés à variables dans Z. 205-220 BibTeX
• Laurent Granvilliers: Stratégies de résolution de CSP numériques. 221-240 BibTeX

Environnements de programmation

• Hélène Kirchner: ELAN. 241-248 BibTeX
• Christophe Aillaud, Pierre Deransart: Vers un arbre de spécification d'arbres de choix en PLC. 249-264 BibTeX
• Helmut Simonis, Abderrahmane Aggoun: Search Tree Debugging. 265-280 BibTeX
• Frédéric Goualard, Frédéric Benhamou: Un outil de débogage du store pour la programmation par contraintes. 281-296 BibTeX
• Erwan Jahier, Mireille Ducassé: Un traceur d'exécution de programme ne sert pas qu'au débogage. 297-311 BibTeX