Stop the war!Остановите войну!
for scientists:
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
a service of 
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 2024-05-04 23:57 CEST 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:
