Sébastien Hoarau

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 1

Top Topics

Programming Tool

Relational Databases

Exception Handling

Novice Programmers

Top Venues

Publications

José Colin, Sébastien Hoarau, Christophe Declercq, Julien Broisin
Design and Evaluation of a Web-based Distributed Pair Programming Tool for Novice Programmers. ITiCSE (1) (2024)
Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel
cTI: Bottom-Up Termination Inference for Logic Programs. WLP (2000)
Sébastien Hoarau, Frédéric Mesnard
Inferring and Compiling Termination for Constraint Logic Programs. LOPSTR (1998)
Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard
CLP(chi) for Automatically Proving Program Properties. J. Log. Program. 37 (1-3) (1998)
Sébastien Hoarau, Frédéric Mesnard
Inférer et compiler la terminaison des programmes logiques avec contraintes. JFPLC (1998)
Sébastien Hoarau, Frédéric Mesnard
PLC(Bool) pour la détection de variables numériques bornées. JFPLC (1996)
Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard
CLP(chi) for Proving Program Properties. FroCoS (1996)
Frédéric Mesnard, Sébastien Hoarau
Contrôle dynamique de la résolution pour les programmes logiques avec contraintes. JFPLC (1995)