Frédéric Mesnard - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Frédéric Mesnard' as author, editor, or advisor:

Computing convex hulls with a linear solverFlorence Benoy, Andy King, Frédéric Mesnard. tplp, 5(1-2):259-271, 2005. [doi]
Approximations entre langages de programmation logique avec contraintesFrédéric Mesnard. jfplc 1993: 319-341
Effects of Melting Layer in Airborne Meteorological X-Band Radar ObservationsOlivier Pujol, Frédéric Mesnard, Henri Sauvageot. tgrs, 50(6):2318-2324, 2012. [doi]
Non-termination Inference for Constraint Logic ProgramsÉtienne Payet, Frédéric Mesnard. SAS 2004: 377-392 [doi]
Termination Competition (termCOMP 2015)Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes Waldmann. cade 2015: 105-108 [doi]
Un module Prolog de mu-calcul booléen: une réalisation par BDDSerge Colin, Frédéric Mesnard, Antoine Rauzy. jfplc 1999: 23-38
cTI: A constraint-based termination inference tool for ISO-PrologFrédéric Mesnard, Roberto Bagnara. tplp, 5(1-2):243-257, 2005. [doi]
PLC(Bool) pour la détection de variables numériques bornéesSébastien Hoarau, Frédéric Mesnard. jfplc 1996: 169-184
Termination Analysis with Types Is More AccurateVitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey. ICLP 2003: 254-268 [doi]
CLP(chi) for Automatically Proving Program PropertiesFrédéric Mesnard, Sébastien Hoarau, Alexandra Maillard. jlp, 37(1-3):77-93, 1998.
Le iota-calcul: un langage de contraintes d ordre supérieurFrédéric Mesnard, Antoine Rauzy. jfplc 2000: 241
On the Linear Ranking Problem for Simple Floating-Point LoopsFonenantsoa Maurica, Frédéric Mesnard, Étienne Payet. SAS 2016: 300-316 [doi]
Étude de la terminaison des programmes logiques avec contraintes au moyen d approximationsFrédéric Mesnard. jfplc 1994: 205
Inferring and Compiling Termination for Constraint Logic ProgramsSébastien Hoarau, Frédéric Mesnard. LOPSTR 1990: 240-254 [doi]
A non-termination criterion for binary constraint logic programsÉtienne Payet, Frédéric Mesnard. tplp, 9(2):145-164, 2009. [doi]
Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, FranceFrédéric Mesnard, editor, Hermes, 2004.
On proving left termination of constraint logic programsFrédéric Mesnard, Salvatore Ruggieri. tocl, 4(2):207-259, 2003. [doi]
On proving left termination of constraint logic programsFrédéric Mesnard, Salvatore Ruggieri. tocl, 4(2):1-26, 2003. [doi]
CLP(chi) for Proving Program PropertiesFrédéric Mesnard, Sébastien Hoarau, Alexandra Maillard. frocos 1996: 321-338
Contrôle dynamique de la résolution pour les programmes logiques avec contraintesFrédéric Mesnard, Sébastien Hoarau. jfplc 1995: 259-273
Nontermination inference of logic programsÉtienne Payet, Frédéric Mesnard. TOPLAS, 28(2):256-289, 2006. [doi]
Slicing zur Fehlersuche in LogikprogrammenStefan Kral, Frédéric Mesnard, Ulrich Neumerkel. wlp 2000: 241-243
Non-Termination Inference for Optimal Termination Conditions of Logic ProgramsFrédéric Mesnard, Étienne Payet, Ulrich Neumerkel. jfplc 2002: 87
Automatic Generation of Valid Linear Measures for CLP(Q) ProgramsFrédéric Mesnard, Marianne Morillon. SAS 1992: 29-34
Detecting Optimal Termination Conditions of Logic ProgramsFrédéric Mesnard, Étienne Payet, Ulrich Neumerkel. SAS 2002: 509-526 [doi]
Termination analysis of floating-point programs using parameterizable rational approximationsFonenantsoa Maurica, Frédéric Mesnard, Étienne Payet. SAC 2016: 1674-1679 [doi]
Typing Linear Constraints for Moding CLP() ProgramsSalvatore Ruggieri, Frédéric Mesnard. SAS 2008: 128-143 [doi]
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic ProgramsFrédéric Mesnard, Ulrich Neumerkel. SAS 2001: 93-110 [doi]
Inférence de non-terminaison pour les programmes logiques avec contraintesÉtienne Payet, Frédéric Mesnard. jfplc 2004:
CLP(Q) for Proving Interargument RelationsFrédéric Mesnard, Jean-Gabriel Ganascia. meta 1992: 308-320
A propos du contrôle de la résolutionFrédéric Mesnard, Jean-Gabriel Ganascia. SAS 1991: 125-131
cTI: un outil pour l inférence de conditions optimales de terminasion pour PrologFrédéric Mesnard, Ulrich Neumerkel, Étienne Payet. jfplc 2001: 271-286
CLP(X) for proving prgram propertiesFrédéric Mesnard, Jean-Gabriel Ganascia. jfplc 1992: 328
cTI: Bottom-Up Termination Inference for Logic ProgramsSerge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel. wlp 2000: 123-134
Towards Automatic Control for CLP(x) ProgramsFrédéric Mesnard. LOPSTR 1996: 106-119
Towards a framework for algorithm recognition in binary codeFrédéric Mesnard, Étienne Payet, Wim Vanhoof. ppdp 2016: 202-213 [doi]
Inférer et compiler la terminaison des programmes logiques avec contraintesSébastien Hoarau, Frédéric Mesnard. jfplc 1998: 269-286
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-SlicesUlrich Neumerkel, Frédéric Mesnard. ppdp 1999: 328-342
An Improved Non-Termination Criterion for Binary Constraint Logic ProgramsÉtienne Payet, Frédéric Mesnard. lpe 2005: 46-60 [doi]

runs on WebDSL