pith. sign in

Fred Mesnard

Identifiers

  • name variant Fred Mesnard 0.60 · backfill

Papers (14)

  1. Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018) cs.LO · 2018 · author #1
  2. On the Completeness of Selective Unification in Concolic Testing of Logic Programs cs.LO · 2016 · author #1
  3. Non-termination of Dalvik bytecode via compilation to CLP cs.PL · 2014 · author #2
  4. A Second-Order Formulation of Non-Termination cs.LO · 2014 · author #1
  5. Non-Termination Analysis of Java Bytecode cs.PL · 2014 · author #2
  6. Eventual Linear Ranking Functions cs.PL · 2013 · author #2
  7. The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version cs.PL · 2010 · author #2
  8. A Non-Termination Criterion for Binary Constraint Logic Programs cs.PL · 2008 · author #2
  9. Recurrence with affine level mappings is P-time decidable for CLP(R) cs.PL · 2007 · author #1
  10. An Improved Non-Termination Criterion for Binary Constraint Logic Programs cs.PL · 2005 · author #2
  11. Non-Termination Inference of Logic Programs cs.PL · 2004 · author #2
  12. Computing Convex Hulls with a Linear Solver cs.PL · 2003 · author #3
  13. cTI: A constraint-based termination inference tool for ISO-Prolog cs.PL · 2003 · author #1
  14. A Generalization of the Lifting Lemma for Logic Programming cs.LO · 2002 · author #2

Mentions

  • 1401.5292 #2 · backfill · confidence 0.70 Fred Mesnard
  • 1306.1901 #2 · backfill · confidence 0.70 Fred Mesnard
  • 1004.0944 #2 · backfill · confidence 0.70 Fred Mesnard
  • 0807.3451 #2 · backfill · confidence 0.70 Fred Mesnard

Frequent Coauthors