Christian Codognet

13 papers A 3B 2Unranked 8
YearRankTypeTitle / Venue / Authors
1995 — conf
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.
Constraint Processing, Selected Papers
Christian Codognet, Philippe Codognet
1995 A conf
Guarded Constructive Disjunction: Angel or Demon?
CP
Christian Codognet, Philippe Codognet
1994 A conf
Abduction and Concurrent Logic Languages.
ECAI
Christian Codognet, Philippe Codognet
1994 B conf
Finite Domain Constraints in the ML Functional Language.
ICTAI
Emmanuel Chailloux, Christian Codognet, Philippe Codognet
1994 — conf
Sleepers: A Versatile High-Level Control Mechanism.
PLILP
Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto
1990 — conf
Abstract Interpretation for Concurrent Logic Languages.
NACLP
Christian Codognet, Philippe Codognet, Marc-Michel Corsini
1990 — conf
Abstract Interpretation from Prolog to Concurrent Prolog.
SPLT
Christian Codognet, Philippe Codognet, Marc-Michel Corsini
1989 B conf
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking.
ICLP
Christian Codognet, Philippe Codognet
1989 — conf
Non-deterministic Stream AND-parallelism based on Intelligent Backtracking.
SPLT
Christian Codognet, Philippe Codognet
1988 — conf
Yet Another Intelligent Backtracking Method.
ICLP/SLP
Christian Codognet, Philippe Codognet, Gilberto Filé
1988 — conf
Yet another intelligent Backtracking method.
SPLT
Christian Codognet, Philippe Codognet, Gilberto Filé
1986 A conf
A Very Intelligent Backtracking Method for Logic Programs.
ESOP
Christian Codognet, Philippe Codognet, Gilberto Filé
1986 — conf
Backtracking intelligent en programmation logique.
SPLT
Christian Codognet, Philippe Codognet, Gilberto Filé