 | 2000 |
|---|
| 7 |       | Serge Burckel,
Sébastien Hoarau,
Frédéric Mesnard,
Ulrich Neumerkel:
cTI: Bottom-Up Termination Inference for Logic Programs.
15. WLP 2000: 123-134 |
| 1998 |
|---|
| 6 | | Sébastien Hoarau,
Frédéric Mesnard:
Inférer et compiler la terminaison des programmes logiques avec contraintes.
JFPLC 1998: 269-286 |
| 5 |  | Sébastien Hoarau,
Frédéric Mesnard:
Inferring and Compiling Termination for Constraint Logic Programs.
LOPSTR 1998: 240-254 |
| 4 | | Frédéric Mesnard,
Sébastien Hoarau,
Alexandra Maillard:
CLP(chi) for Automatically Proving Program Properties.
J. Log. Program. 37(1-3): 77-93 (1998) |
| 1996 |
|---|
| 3 | | Frédéric Mesnard,
Sébastien Hoarau,
Alexandra Maillard:
CLP(chi) for Proving Program Properties.
Frontiers of Combining Systems (FroCos) 1996: 321-338 |
| 2 | | Sébastien Hoarau,
Frédéric Mesnard:
PLC(Bool) pour la détection de variables numériques bornées.
JFPLC 1996: 169-184 |
| 1995 |
|---|
| 1 | | Frédéric Mesnard,
Sébastien Hoarau:
Contrôle dynamique de la résolution pour les programmes logiques avec contraintes.
JFPLC 1995: 259-273 |
