JFPLC 1994: Bordeaux, France

@proceedings{DBLP:conf/jfplc/1994,
  editor    = {Marc-Michel Corsini},
  title     = {JFPLC'94, III{\`e}mes Journ{\'e}es Francophones de Programmation
               Logique et Programmation par Contraintes, 1994, Bordeaux, France},
  booktitle = {JFPLC},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Théorie

• Vincent Berry, Philippe Ézéquel: Distinguer les variables distinguées. 3-14
• Bernard Malfon: Caractérisation de diverses sémantiques pour des programmes logiques avec négation et application à la validation de programmes. 15-30
• M. Bergère, Gérard Ferrand, Jean-Hugues Réty: Indépendance de la règle de calcul pour la résolution SLD avec retard. 31-46
• François Barthélemy: Operational Semantics for DCGs. 47-60
• Arnaud Lallouet: Une sémantique inductive à la Herbrand pour la programmation logique contextuelle. Application à une notion de correction partielle. 61-76
• Anne Parrain: Méta-interprétation et transformations de programmes logiques. 77-92
• Igor Stéphan: Du ou dans les arbres. 93-108
• Sophie Renault: Généralisation de l'Exécution Étendue aux programmes normaux. 109-

Contraintes

• Eric Vétillard: Utilisation de Déclarations en Programmation Logique avec Contraintes. 127-142
• Jean-Louis Imbert: Redondances, élimination de variables et diséquations linéaires. 143-158
• Lan Nguyen-Phuong: Déclarations de Types en Prolog III. 159-170
• Marc-Michel Corsini, Antoine Rauzy: Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. 171-

Analyse de Programmes

• Christophe Lecoutre: Une Interprétation abstraite en programmation logique avec contraintes. 189-204
• Frédéric Mesnard: Étude de la terminaison des programmes logiques avec contraintes au moyen d'approximations. 205-

Prolog et Objets

• Christophe Rigotti, Jean-François Boulicaut, Mohand-Said Hacid: Vers une typologie des sémantiques opérationnelles pour les extensions de Prolog vers les objets. 223-238
• Christine Solnon, Michel Rueher: Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. 239-

Applications

• Jean-Pierre Le Pape, Ralph Etienne-Cummings: La Programmation en Logique avec Contraintes pour une application de placement en conception de VLSI. 255-270
• Philippe Charman: Une approche contrainte pour la conception préliminaire des plans de sol. 271-286
• Paul Tarau: Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. 287-

Tutoriels

• Andrea Asperti: Category Theory: Basic notions and general philosophy. 307-108
• Philippe Codognet: Programmation Concurrente avec Contraintes. 309-310
• Vincent Danos: Une logique à grain fain: la logique linéaire. 311-