Christian Codognet

According to our database, Christian Codognet authored at least 11 papers between 1986 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.

Christian Codognet, Philippe Codognet

Proceedings of the Constraint Processing, Selected Papers, 1995

Guarded Constructive Disjunction: Angel or Demon?

Christian Codognet, Philippe Codognet

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

Sleepers: A Versatile High-Level Control Mechanism.

Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Finite Domain Constraints in the ML Functional Language.

Emmanuel Chailloux, Christian Codognet, Philippe Codognet

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Abduction and Concurrent Logic Languages.

Christian Codognet, Philippe Codognet

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1990

Abstract Interpretation for Concurrent Logic Languages.

Christian Codognet, Philippe Codognet, Marc-Michel Corsini

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Abstract Interpretation from Prolog to Concurrent Prolog.

Christian Codognet, Philippe Codognet, Marc-Michel Corsini

Proceedings of the SPLT'90, 1990

1989

Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking.

Christian Codognet, Philippe Codognet

Proceedings of the Logic Programming, 1989

1988

Yet Another Intelligent Backtracking Method.

Christian Codognet, Philippe Codognet, Gilberto Filé

Proceedings of the Logic Programming, 1988

1986

Backtracking intelligent en programmation logique.

Christian Codognet, Philippe Codognet, Gilberto Filé

Proceedings of the SPLT'86, 1986

A Very Intelligent Backtracking Method for Logic Programs.

Christian Codognet, Philippe Codognet, Gilberto Filé

Proceedings of the ESOP 86, 1986