Sébastien Hoarau

Orcid: 0009-0007-1178-1059

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Design and Evaluation of a Web-based Distributed Pair Programming Tool for Novice Programmers.
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

2000
cTI: Bottom-Up Termination Inference for Logic Programs.
Proceedings of the WLP 2000, 2000

1998
CLP(chi) for Automatically Proving Program Properties.
J. Log. Program., 1998

Inferring and Compiling Termination for Constraint Logic Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

Inférer et compiler la terminaison des programmes logiques avec contraintes.
Proceedings of the JFPLC'98, 1998

1996
PLC(Bool) pour la détection de variables numériques bornées.
Proceedings of the JFPLC'96, 1996

CLP(chi) for Proving Program Properties.
Proceedings of the Frontiers of Combining Systems, 1996

1995
Contrôle dynamique de la résolution pour les programmes logiques avec contraintes.
Proceedings of the JFPLC'95, 1995


  Loading...