Search the dblp DataBase
Frédéric Mesnard :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Frédéric Mesnard , Sébastien Hoarau , Alexandra Maillard CLP(chi) for Proving Program Properties. [Citation Graph (0, 0)][DBLP ] Frontiers of Combining Systems (FroCos), 1996, pp:321-338 [Conf ] Vitaly Lagoon , Frédéric Mesnard , Peter J. Stuckey Termination Analysis with Types Is More Accurate. [Citation Graph (0, 0)][DBLP ] ICLP, 2003, pp:254-268 [Conf ] Frédéric Mesnard Inferring Left-terminating Classes of Queries for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] JICSLP, 1996, pp:7-21 [Conf ] Serge Colin , Frédéric Mesnard , Antoine Rauzy Un module Prolog de mu-calcul booléen: une réalisation par BDD. [Citation Graph (0, 0)][DBLP ] JFPLC, 1999, pp:23-38 [Conf ] Sébastien Hoarau , Frédéric Mesnard PLC(Bool) pour la détection de variables numériques bornées. [Citation Graph (0, 0)][DBLP ] JFPLC, 1996, pp:169-184 [Conf ] Sébastien Hoarau , Frédéric Mesnard Inférer et compiler la terminaison des programmes logiques avec contraintes. [Citation Graph (0, 0)][DBLP ] JFPLC, 1998, pp:269-286 [Conf ] Frédéric Mesnard , Sébastien Hoarau Contrôle dynamique de la résolution pour les programmes logiques avec contraintes. [Citation Graph (0, 0)][DBLP ] JFPLC, 1995, pp:259-273 [Conf ] Frédéric Mesnard , Jean-Gabriel Ganascia CLP(X) for proving prgram properties. [Citation Graph (0, 0)][DBLP ] JFPL, 1992, pp:328-0 [Conf ] Frédéric Mesnard , Ulrich Neumerkel , Étienne Payet cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. [Citation Graph (0, 0)][DBLP ] JFPLC, 2001, pp:271-286 [Conf ] Frédéric Mesnard , Étienne Payet , Ulrich Neumerkel Non-Termination Inference for Optimal Termination Conditions of Logic Programs. [Citation Graph (0, 0)][DBLP ] JFPLC, 2002, pp:87-0 [Conf ] Frédéric Mesnard , Antoine Rauzy Le iota-calcul: un langage de contraintes d'ordre supérieur. [Citation Graph (0, 0)][DBLP ] JFPLC, 2000, pp:241-0 [Conf ] Étienne Payet , Frédéric Mesnard Inférence de non-terminaison pour les programmes logiques avec contraintes. [Citation Graph (0, 0)][DBLP ] JFPLC, 2004, pp:- [Conf ] Frédéric Mesnard Approximations entre langages de programmation logique avec contraintes. [Citation Graph (0, 0)][DBLP ] JFPL, 1993, pp:319-341 [Conf ] Frédéric Mesnard Étude de la terminaison des programmes logiques avec contraintes au moyen d'approximations. [Citation Graph (0, 0)][DBLP ] JFPLC, 1994, pp:205-0 [Conf ] Sébastien Hoarau , Frédéric Mesnard Inferring and Compiling Termination for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1998, pp:240-254 [Conf ] Frédéric Mesnard Towards Automatic Control for CLP(x) Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1995, pp:106-119 [Conf ] Alexander Serebrenik , Frédéric Mesnard On Termination of Binary CLP Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2004, pp:231-244 [Conf ] Étienne Payet , Frédéric Mesnard An Improved Non-Termination Criterion for Binary Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] WLPE, 2005, pp:46-60 [Conf ] Frédéric Mesnard , Jean-Gabriel Ganascia CLP(Q) for Proving Interargument Relations. [Citation Graph (0, 0)][DBLP ] META, 1992, pp:308-320 [Conf ] Ulrich Neumerkel , Frédéric Mesnard Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. [Citation Graph (0, 0)][DBLP ] PPDP, 1999, pp:328-342 [Conf ] Frédéric Mesnard , Jean-Gabriel Ganascia A propos du contrôle de la résolution. [Citation Graph (0, 0)][DBLP ] JTASPEFT/WSA, 1991, pp:125-131 [Conf ] Frédéric Mesnard , Marianne Morillon Automatic Generation of Valid Linear Measures for CLP(Q) Programs. [Citation Graph (0, 0)][DBLP ] WSA, 1992, pp:29-34 [Conf ] Frédéric Mesnard , Ulrich Neumerkel Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. [Citation Graph (0, 0)][DBLP ] SAS, 2001, pp:93-110 [Conf ] Frédéric Mesnard , Étienne Payet , Ulrich Neumerkel Detecting Optimal Termination Conditions of Logic Programs. [Citation Graph (0, 0)][DBLP ] SAS, 2002, pp:509-526 [Conf ] Étienne Payet , Frédéric Mesnard Non-termination Inference for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] SAS, 2004, pp:377-392 [Conf ] Serge Burckel , Sébastien Hoarau , Frédéric Mesnard , Ulrich Neumerkel cTI: Bottom-Up Termination Inference for Logic Programs. [Citation Graph (0, 0)][DBLP ] 15. WLP, 2000, pp:123-134 [Conf ] Stefan Kral , Frédéric Mesnard , Ulrich Neumerkel Slicing zur Fehlersuche in Logikprogrammen. [Citation Graph (0, 0)][DBLP ] WLP, 2000, pp:241-243 [Conf ] Étienne Payet , Frédéric Mesnard A Generalization of the Lifting Lemma for Logic Programming [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Frédéric Mesnard , Roberto Bagnara cTI: A constraint-based termination inference tool for ISO-Prolog [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] Florence Benoy , Andy King , Frédéric Mesnard Computing Convex Hulls with a Linear Solver [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] Étienne Payet , Frédéric Mesnard Non-Termination Inference of Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Frédéric Mesnard , Sébastien Hoarau , Alexandra Maillard CLP(chi) for Automatically Proving Program Properties. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1998, v:37, n:1-3, pp:77-93 [Journal ] Frédéric Mesnard , Salvatore Ruggieri On proving left termination of constraint logic programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2003, v:4, n:2, pp:1-26 [Journal ] Frédéric Mesnard , Salvatore Ruggieri On proving left termination of constraint logic programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2003, v:4, n:2, pp:207-259 [Journal ] Étienne Payet , Frédéric Mesnard Nontermination inference of logic programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2006, v:28, n:2, pp:256-289 [Journal ] Florence Benoy , Andy King , Frédéric Mesnard Computing convex hulls with a linear solver. [Citation Graph (0, 0)][DBLP ] TPLP, 2005, v:5, n:1-2, pp:259-271 [Journal ] Frédéric Mesnard , Roberto Bagnara cTI: A constraint-based termination inference tool for ISO-Prolog. [Citation Graph (0, 0)][DBLP ] TPLP, 2005, v:5, n:1-2, pp:243-257 [Journal ] Frédéric Mesnard , Alexander Serebrenik Recurrence with affine level mappings is P-time decidable for CLP(R) [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Typing Linear Constraints for Moding CLP() Programs. [Citation Graph (, )][DBLP ] An Improved Non-Termination Criterion for Binary Constraint Logic Programs [Citation Graph (, )][DBLP ] A Non-Termination Criterion for Binary Constraint Logic Programs [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.306secs