JFPLC 1994: Bordeaux, France

Marc-Michel Corsini (Ed.): JFPLC'94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France. 1994 BibTeX

@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 BibTeX
Bernard Malfon: Caractérisation de diverses sémantiques pour des programmes logiques avec négation et application à la validation de programmes. 15-30 BibTeX
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 BibTeX
François Barthélemy: Operational Semantics for DCGs. 47-60 BibTeX
Arnaud Lallouet: Une sémantique inductive à la Herbrand pour la programmation logique contextuelle. Application à une notion de correction partielle. 61-76 BibTeX
Anne Parrain: Méta-interprétation et transformations de programmes logiques. 77-92 BibTeX
Igor Stéphan: Du ou dans les arbres. 93-108 BibTeX
Sophie Renault: Généralisation de l'Exécution Étendue aux programmes normaux. 109- BibTeX

Contraintes

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

Analyse de Programmes

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

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 BibTeX
Christine Solnon, Michel Rueher: Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. 239- BibTeX

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 BibTeX
Philippe Charman: Une approche contrainte pour la conception préliminaire des plans de sol. 271-286 BibTeX
Paul Tarau: Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. 287- BibTeX

Tutoriels

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