Sign in
JFPL
1992
1993
1992
1993
Keyphrases
Publications
1993
Pascal Bernard
Some elements of methods to deal with equivalences in specification and program development.
JFPL
(1993)
Yves Bekkers
Programmation d'ordre supérieur en lambda-Prolog.
JFPL
(1993)
Jacques Malenfant
,
François-Nicolas Demers
Évaluation partielle pour l'implantation efficace de la réflexion de comportement.
JFPL
(1993)
Jacques Chassin de Kergommeaux
Systèmes de programmation logique OU parallèles.
JFPL
(1993)
Daniel Pacholczyk
,
Jean-Marc Pacholczyk
Une approche logique de la non-monotonie.
JFPL
(1993)
Kaninda Musumbu
Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques?
JFPL
(1993)
Marc-Michel Corsini
,
Antoine Rauzy
CLP(beta) joue la transparence.
JFPL
(1993)
Ulrich Neumerkel
Une transformation de programme basée sur la notion d'équations entre termes.
JFPL
(1993)
Jean-Louis Imbert
Élimination de Fourier: que choisir?
JFPL
(1993)
Julian Fowler
Preferred constraints as optimization.
JFPL
(1993)
Pascale Louvet
.
JFPL
(1993)
Christian Tahon
,
Gislaine Kozicki
,
Gérard Gorthcinsky
Un modèle de programmation séquencée pour les systèmes à process discontinu.
JFPL
(1993)
2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France
JFPL
(1993)
Peter Van Roy
Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir.
JFPL
(1993)
Jean-Paul Delahaye
,
Philippe Mathieu
An achievement by part method to solve the incompleteness of forward chaining.
JFPL
(1993)
Frédéric Mesnard
Approximations entre langages de programmation logique avec contraintes.
JFPL
(1993)
Jean-Louis Imbert
Élimination de variables dans les systèmes de contraintes linéaires.
JFPL
(1993)
Solange Coupet-Grimal
Représentation sémantique des langues naturelles en Prolog.
JFPL
(1993)
Serge Le Huitouze
,
Pascale Louvet
,
Olivier Ridoux
Les grammaires logiques et lambda-Prolog.
JFPL
(1993)
Christophe Varnier
,
Pierre Baptiste
,
Bruno Legeard
Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem».
JFPL
(1993)
Laurent Henocque
Model search with equality: a language and incremental proof procedure for discourse analysis.
JFPL
(1993)
Mohamed Benothman
,
Gilles Berger-Sabbatel
Gestion de la mémoire cache pour une machine symbolique.
JFPL
(1993)
1992
Maurice Bruynooghe
Abstract interpretation for constraint logic programming.
JFPL
(1992)
Ahmed Ferchichi
Spécification relationelle déductive de programmes logiques.
JFPL
(1992)
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)
Abderrahmane Aggoun
,
Nicolas Beldiceanu
Extending CHIP in order to solve complex scheduling and placement problems.
JFPL
(1992)
Eric Wegrzynowski
,
Jean-Paul Delahaye
The grand loop semantics for logic programs.
JFPL
(1992)
Sylvie Calabretto
,
Pascal Yim
La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes.
JFPL
(1992)
Mireille Ducassé
Analysis of failing Prolog Executions.
JFPL
(1992)
Gilles Berger-Sabbatel
,
Abderrazak Jemai
,
Mohamed Benothman
Quelques résultats de mesures d'une implémentation de Prolog sur un processeur Mips.
JFPL
(1992)
Mounira Belmesk
,
Zineb Habbas
Une algèbre de processus pour la programmation logique parallèle.
JFPL
(1992)
Eric Vétillard
Expériences de parallélisme en Prolog III.
JFPL
(1992)
Igor Stéphan
L'inheritance near-Horn Prolog en Prolog.
JFPL
(1992)
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)
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)
Bruno Legeard
,
Emmanuel Legros
Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS.
JFPL
(1992)
Antoine Rauzy
Contraintes booléennes et gestion d'arbres des défaillances.
JFPL
(1992)
Jacques Malenfant
Architectures méta-réflexives en programmation logique par objets.
JFPL
(1992)
Frédéric Mesnard
,
Jean-Gabriel Ganascia
CLP(X) for proving prgram properties.
JFPL
(1992)
D. Ranson
,
J. P. Lepape
BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques.
JFPL
(1992)
Marc-Michel Corsini
Abstract interpretation can improve the efficiency of the bachtracking rule.
JFPL
(1992)
Mark Wallace
New trends in constraint logic Programming.
JFPL
(1992)
Christophe Lecoutre
,
Philippe Devienne
,
Patrick Lebègue
Termination induction by means of an abstract OLDT resolution.
JFPL
(1992)
Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France
JFPL
(1992)
Philippe Balbiani
Sur la finitude des dérivations de la programmation en logique.
JFPL
(1992)
Olivier Lhomme
Programmation logique à contraintes et propagation d'intervalles.
JFPL
(1992)
Chu Min Li
,
Paul Y. Gloess
Realizing an efficient and incremental access to an object oriented database with Prolog.
JFPL
(1992)
André Chamard
,
F. Decès
,
Annie Fischler
Application du langage CHIP à un problème complexe d'ordonnancement.
JFPL
(1992)
Sadeph Saidi
Unification associative dans le langage de programmation grammaticale logique AFFLOG.
JFPL
(1992)
Marianne Haberstrau
ECOLOG: un Environnement pour la programmation en LOgique COntrainte.
JFPL
(1992)