SPLT

Keyphrases

Publications

1990

Jean François Pique
Décompilation conservant le déterminisme. SPLT (1990)
T. Reix
SP-Object: Extension objet dans le système SP-Prolog v2.1. SPLT (1990)
Réflexion en cours. SPLT (1990)
Jean-Paul Delahaye, V. Thibau
A new model semantics for a program with negation. SPLT (1990)
Jacques Briat, M. Favre, Cláudio F. R. Geyer
OPERA: Ou parallélisme et Régulation Adaptive en Prolog. SPLT (1990)
Éric Villemonte de la Clergerie
DyALog: une implantation des Clauses de Horn en Programmtion Dynamique. SPLT (1990)
Jacques Malenfant, Guy Lapalme, Jean G. Vaucher
Implantation du langage de programmation logique, par objets e répartie ObjVProlog-D. SPLT (1990)
Christian Codognet, Philippe Codognet, Marc-Michel Corsini
Abstract Interpretation from Prolog to Concurrent Prolog. SPLT (1990)
Selmin Nurcan, Jacques Kouloumdjian, Li Lei
Un gestionnaire de connaissances reposant sur l'intégration de la programmation logique et des bases de donnés relationnelles. SPLT (1990)
Yves Bekkers
Une contrainte de négation par l'échec en Prolog. SPLT (1990)
Sadeph Saidi, Jean-François Boulicaut
AFFLOG: une implantation de grammaires à deux niveaux pour l'étude de la Programmation Grammaticale Logique. SPLT (1990)
Mounira Belmesk
Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou". SPLT (1990)
S. Lapiquonne
Génération incrémentale de bases de règles trivaluées cohérentes. SPLT (1990)
Jin-Kao Hao, Jean-Jacques Chabrier
Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic Programming. SPLT (1990)
Giorgio Levi
A Unified Approach to Logic Programs Semantics based on Constraints. SPLT (1990)
J. Durand
Une application de Prolog: la génération d'interfaces utilisateurs experts pour logiciels conversationnels sous Unix. SPLT (1990)
Liliane Lardot, Norbert Batllou
Une théorie du test en programmation logique. SPLT (1990)
Jean-Paul Delahaye, François Denis
Operational semantics of Standard Prolog: an axiomatic approach. SPLT (1990)
Jean-Marc Boï, Antoine Rauzy
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. SPLT (1990)
J. P. Lepape, D. Ranson
et la Programmation en Logique avec Contraintes. SPLT (1990)
Franck Porcher
COSYLOG: Symbolic Constraints in Logic towards a more Natural Programming. SPLT (1990)
Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France SPLT (1990)
Olivier Ridoux, H. Tonneau
Une mise en oeuvre de l'unification d'expressions booléennes. SPLT (1990)
Stella Zwecker, Guy Juanole, Omar Amyay
Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. SPLT (1990)
Michel Bergère, Gérard Ferrand
Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. SPLT (1990)
Serge Le Huitouze
Une nouvelle structure de données pour l'implémentation des extensions de Prolog. SPLT (1990)
Abderrahmane Aggoun, Nicolas Beldiceanu
Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. SPLT (1990)
X. Cousin
Relâchement de contraintes en Programmtion en Logique avec Contraintes. SPLT (1990)
Stéphane Bressan
Formes de Pierce en logique propositionnelle. SPLT (1990)
Pascal Brisset
Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI. SPLT (1990)
Jean-Marc Andreoli, Remo Pareschi
Formulae as Active Representations of Data. SPLT (1990)
Ahmed Ferchichi
Relational interpretation of logic programs. SPLT (1990)
Anna-Maria Emde, Mireille Ducassé
Automated debugging of non-terminating Prolog programs. SPLT (1990)

1989