Sébastien Hoarau

According to our database, Sébastien Hoarau authored at least 7 papers between 1995 and 2000.

Collaborative distances:

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

2000

cTI: Bottom-Up Termination Inference for Logic Programs.

Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel

Proceedings of the WLP 2000, 2000

1998

CLP(chi) for Automatically Proving Program Properties.

Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard

J. Log. Program., 1998

Inferring and Compiling Termination for Constraint Logic Programs.

Sébastien Hoarau, Frédéric Mesnard

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Inférer et compiler la terminaison des programmes logiques avec contraintes.

Sébastien Hoarau, Frédéric Mesnard

Proceedings of the JFPLC'98, 1998

1996

PLC(Bool) pour la détection de variables numériques bornées.

Sébastien Hoarau, Frédéric Mesnard

Proceedings of the JFPLC'96, 1996

CLP(chi) for Proving Program Properties.

Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard

Proceedings of the Frontiers of Combining Systems, 1996

1995

Contrôle dynamique de la résolution pour les programmes logiques avec contraintes.

Frédéric Mesnard, Sébastien Hoarau

Proceedings of the JFPLC'95, 1995