default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJFPL 1992: Lille, France
- Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim:
JFPL'92, 1ères Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France. 1992
Contraintes (I)
- André Chamard, F. Decès, Annie Fischler:
Application du langage CHIP à un problème complexe d'ordonnancement. JFPL 1992: 3-17 - Bruno Legeard, Emmanuel Legros:
Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. JFPL 1992: 18-34 - D. Ranson, J. P. Lepape:
BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques. JFPL 1992: 35-50 - Abderrahmane Aggoun, Nicolas Beldiceanu:
Extending CHIP in order to solve complex scheduling and placement problems. JFPL 1992: 51-
Théorie (I)
- Marianne Haberstrau:
ECOLOG: un Environnement pour la programmation en LOgique COntrainte. JFPL 1992: 69-86 - Eric Wegrzynowski, Jean-Paul Delahaye:
The grand loop semantics for logic programs. JFPL 1992: 87-106 - Sadeph Saidi:
Unification associative dans le langage de programmation grammaticale logique AFFLOG. JFPL 1992: 107-
Parallélisme
- Eric Vétillard:
Expériences de parallélisme en Prolog III. JFPL 1992: 129-142 - H. Bourzoufi, Gilles Goncalves, Bernard Toursel:
Un modèle de programmation logique OU-parallèle facilitant la prise en compte du travail spéculatif. JFPL 1992: 143-161 - Mounira Belmesk, Zineb Habbas:
Une algèbre de processus pour la programmation logique parallèle. JFPL 1992: 162-
Theorie (II)
- Céline Rouveirol, Jean-Francois Puget:
Approche logique de la généralisation en présence de théorie du domaine. JFPL 1992: 179-193 - Philippe Balbiani:
Sur la finitude des dérivations de la programmation en logique. JFPL 1992: 194-209 - Ahmed Ferchichi:
Spécification relationelle déductive de programmes logiques. JFPL 1992: 210-231 - Sylvie Calabretto, Pascal Yim:
La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes. JFPL 1992: 232-
Prolog et Objets
- Jacques Malenfant:
Architectures méta-réflexives en programmation logique par objets. JFPL 1992: 253-267 - Chu Min Li, Paul Y. Gloess:
Realizing an efficient and incremental access to an object oriented database with Prolog. JFPL 1992: 268-283 - Christine Solnon, Michel Rueher:
Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types. JFPL 1992: 284-
Contraintes (II)
- Antoine Rauzy:
Contraintes booléennes et gestion d'arbres des défaillances. JFPL 1992: 301-313 - Olivier Lhomme:
Programmation logique à contraintes et propagation d'intervalles. JFPL 1992: 314-327 - Frédéric Mesnard, Jean-Gabriel Ganascia:
CLP(X) for proving prgram properties. JFPL 1992: 328-
Analyse de programmes
- Mireille Ducassé:
Analysis of failing Prolog Executions. JFPL 1992: 341-352 - Christophe Lecoutre, Philippe Devienne, Patrick Lebègue:
Termination induction by means of an abstract OLDT resolution. JFPL 1992: 353-373 - Marc-Michel Corsini:
Abstract interpretation can improve the efficiency of the bachtracking rule. JFPL 1992: 374-385 - 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. JFPL 1992: 386-
Implémentation
- Igor Stéphan:
L'inheritance near-Horn Prolog en Prolog. JFPL 1992: 403-419 - Gilles Berger-Sabbatel, Abderrazak Jemai, Mohamed Benothman:
Quelques résultats de mesures d'une implémentation de Prolog sur un processeur Mips. JFPL 1992: 420-
Conférences invitées
- Mark Wallace:
New trends in constraint logic Programming. JFPL 1992 - Maurice Bruynooghe:
Abstract interpretation for constraint logic programming. JFPL 1992
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-03 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
