Nombre de documents


CV de Frédéric Mesnard

Article dans une revue5 documents

  • Roberto Bagnara, Frédéric Mesnard, Andrea Pescetti, Enea Zaffanella. A new look at the automatic synthesis of linear ranking functions. Information and Computation, Elsevier, 2012, 215, pp.47-67. <10.1016/j.ic.2012.03.003>. <hal-01186145>
  • Salvatore Ruggieri, Frédéric Mesnard. Typing linear constraints. ACM Trans. Program. Lang. Syst., 2010, 32 (6), pp.en ligne. <10.1145/1749608.1749610>. <hal-01186162>
  • Fausto Spoto, Frédéric Mesnard, Etienne Payet. A Termination Analyzer for Java Bytecode Based on Path-Length. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2010, 32 (3), 70 p. <hal-01186167>
  • Etienne Payet, Frédéric Mesnard. A Non-Termination Criterion for Binary Constraint Logic Programs. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2009, 9 (2), pp.145-164. <hal-01186175>
  • Frédéric Mesnard, Alexander Serebrenik. Recurrence with affine level mappings is P-time decidable for CLP(R). TPLP, 2008, 8 (1), pp.111-119. <hal-01186188>

Communication dans un congrès4 documents

  • Anthony Alezan, Roberto Bagnara, Frédéric Mesnard, Etienne Payet. Détection des fonctions de rang lináires à terme. Truchet, Charlotte. Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France. 2013. <hal-01187205>
  • Salvatore Ruggieri, Frédéric Mesnard. Variable ranges in linear constraints. Shin, Sung Y. and Ossowski, Sascha and Schumacher, Michael and Palakal, Mathew J. and Hung, Chih-Cheng. 2010 ACM Symposium on Applied Computing (SAC), Mar 2010, Sierre, Switzerland. ACM, pp.2061--2065, 2010. <hal-01188040>
  • Fausto Spoto, Lunjin Lu, Frédéric Mesnard. Using CLP Simplifications to Improve Java Bytecode Termination Analysis. Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), Mar 2009, York, United Kingdom. Elsevier, 253-5, pp.129--144, 2009, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2009.11.019>. <hal-01188704>
  • Salvatore Ruggieri, Frédéric Mesnard. Typing Linear Constraints for Moding CLP() Programs. Alpuente, María and Vidal, Germán. Static Analysis, 15th International Symposium, SAS 2008, Jul 2008, Valencia, Spain. Springer, 5079, pp.128--143, 2008, Lecture Notes in Computer Science. <hal-01188719>

Pré-publication, Document de travail2 documents

  • Etienne Payet, Frédéric Mesnard. Non-Termination Inference of Logic Programs. Long version (algorithms and proofs included) of a paper submitted to TOPLAS. 2004. <hal-00129526>
  • Etienne Payet, Frédéric Mesnard. A Generalization of the Lifting Lemma for Logic Programming. 25 pages, submitted to TOCL. 2002. <hal-00129469>