AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Frédéric Mesnard

Frédéric Mesnard

Université de La Réunion - Reunion / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 918906
University of Reunion
person_outline Frédéric Mesnard's MOST POPULAR ARTICLES
1-) A termination analyzer for Java bytecode based on path-length ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (3), 8, 2010
2-) Inferring left-terminating classes of queries for constraint logic programs Proceedings of the 1996 Joint International Conference and Syposium on Logic …, 1996
3-) Applying static analysis techniques for inferring termination conditions of logic programs Static Analysis, 93-110, 2001
4-) A new look at the automatic synthesis of linear ranking functions Information and Computation 215, 47-67, 2012
5-) On proving left termination of constraint logic programs ACM Transactions on Computational Logic (TOCL) 4 (2), 207-259, 2003