Sébastien Hoarau

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

Collaborative distances:

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

2024

Design and Evaluation of a Web-based Distributed Pair Programming Tool for Novice Programmers.

José Colin, Sébastien Hoarau, Christophe Declercq, Julien Broisin

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

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