Conferences in DBLP
Mark Wallace New trends in constraint logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Bruynooghe Abstract interpretation for constraint logic programming. [Citation Graph (0, 0)][DBLP ] Conf ] André Chamard , F. Decès , Annie Fischler Application du langage CHIP à un problème complexe d'ordonnancement. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Legeard , Emmanuel Legros Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. [Citation Graph (0, 0)][DBLP ] Conf ] D. Ranson , J. P. Lepape BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques. [Citation Graph (0, 0)][DBLP ] Conf ] Abderrahmane Aggoun , Nicolas Beldiceanu Extending CHIP in order to solve complex scheduling and placement problems. [Citation Graph (0, 0)][DBLP ] Conf ] Marianne Haberstrau ECOLOG: un Environnement pour la programmation en LOgique COntrainte. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Wegrzynowski , Jean-Paul Delahaye The grand loop semantics for logic programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sadeph Saidi Unification associative dans le langage de programmation grammaticale logique AFFLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Vétillard Expériences de parallélisme en Prolog III. [Citation Graph (0, 0)][DBLP ] Conf ] H. Bourzoufi , Gilles Goncalves , Bernard Toursel Un modèle de programmation logique OU-parallèle facilitant la prise en compte du travail spéculatif. [Citation Graph (0, 0)][DBLP ] Conf ] Mounira Belmesk , Zineb Habbas Une algèbre de processus pour la programmation logique parallèle. [Citation Graph (0, 0)][DBLP ] Conf ] Céline Rouveirol , Jean-Francois Puget Approche logique de la généralisation en présence de théorie du domaine. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani Sur la finitude des dérivations de la programmation en logique. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Ferchichi Spécification relationelle déductive de programmes logiques. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvie Calabretto , Pascal Yim La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Malenfant Architectures méta-réflexives en programmation logique par objets. [Citation Graph (0, 0)][DBLP ] Conf ] Chu Min Li , Paul Y. Gloess Realizing an efficient and incremental access to an object oriented database with Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Solnon , Michel Rueher Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types. [Citation Graph (0, 0)][DBLP ] Conf ] Antoine Rauzy Contraintes booléennes et gestion d'arbres des défaillances. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Lhomme Programmation logique à contraintes et propagation d'intervalles. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Mesnard , Jean-Gabriel Ganascia CLP(X) for proving prgram properties. [Citation Graph (0, 0)][DBLP ] Conf ] Mireille Ducassé Analysis of failing Prolog Executions. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Lecoutre , Philippe Devienne , Patrick Lebègue Termination induction by means of an abstract OLDT resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Marc-Michel Corsini Abstract interpretation can improve the efficiency of the bachtracking rule. [Citation Graph (0, 0)][DBLP ] Conf ] Baudouin Le Charlier Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Stéphan L'inheritance near-Horn Prolog en Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Berger-Sabbatel , A. Jemai , Mohamed Benothman Quelques résultats de mesures d'une implémentation de Prolog sur un processeur Mips. [Citation Graph (0, 0)][DBLP ] Conf ] 