Search - Archive ouverte HAL Access content directly

Filter your results

34 Results

Typing Linear Constraints for Moding CLP() Programs

Salvatore Ruggieri , Frédéric Mesnard
Static Analysis, 15th International Symposium, SAS 2008, Jul 2008, Valencia, Spain. pp.128--143
Conference papers hal-01188719v1
Image document

Towards a Framework for Algorithm Recognition in Binary Code

Frédéric Mesnard , Etienne Payet , Wim Vanhoof
18th International Symposium on Principles and Practice of Declarative Programming (PPDP), Sep 2016, Edinburgh, United Kingdom. pp.202--213
Conference papers hal-01451686v1
Image document

A second-order formulation of non-termination

Frédéric Mesnard , Etienne Payet
Information Processing Letters, 2015, 115 (11), pp.882--885. ⟨10.1016/j.ipl.2015.05.012⟩
Journal articles hal-01451689v1

Logic-Based Program Synthesis and Transformation

Frédéric Mesnard , Peter J Stuckey
2019
Books hal-02293707v1

Termination Competition (termCOMP 2015)

Jürgen Giesl , Frédéric Mesnard , Albert Rubio , René Thiemann , Johannes Waldmann
CADE-25 - 25th International Conference on Automated Deduction, Aug 2015, Berlin, Germany. pp.105--108, ⟨10.1007/978-3-319-21401-6_6⟩
Conference papers hal-01451691v1
Image document

Detecting Optimal Termination Conditions of Logic Programs

Frédéric Mesnard , Etienne Payet , Ulrich Neumerkel
9th International Static Analysis Symposium (SAS 2002), Sep 2002, Madrid, Spain. pp.509-525
Conference papers hal-01915746v1
Image document

A Non-Termination Criterion for Binary Constraint Logic Programs

Etienne Payet , Frédéric Mesnard
Theory and Practice of Logic Programming, 2009, 9 (2), pp.145-164
Journal articles hal-01186175v1
Image document

Effects of Melting Layer in Airborne Meteorological X-Band Radar Observations

Olivier Pujol , Frédéric Mesnard , Henri Sauvageot
IEEE Transactions on Geoscience and Remote Sensing, 2012, 50 (6), pp.2318-2324. ⟨10.1109/TGRS.2011.2172111⟩
Journal articles hal-01010119v1

A Termination Analyzer for Java Bytecode Based on Path-Length

Fausto Spoto , Frédéric Mesnard , Etienne Payet
ACM Transactions on Programming Languages and Systems (TOPLAS), 2010, ACM Transactions on Programming Languages and Systems, 32 (3), 70 p
Journal articles hal-01186167v1
Image document

Using CLP Simplifications to Improve Java Bytecode Termination Analysis

Fausto Spoto , Lunjin Lu , Frédéric Mesnard
Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), Mar 2009, York, United Kingdom. pp.129--144, ⟨10.1016/j.entcs.2009.11.019⟩
Conference papers hal-01188704v1

Variable ranges in linear constraints

Salvatore Ruggieri , Frédéric Mesnard
2010 ACM Symposium on Applied Computing (SAC), Mar 2010, Sierre, Switzerland. pp.2061--2065
Conference papers hal-01188040v1
Image document

Structural characteristics of rainfields

Frédéric Mesnard , Henri Sauvageot
Journal of Geophysical Research, 2003, 108 (3), pp.D002808. ⟨10.1029/2002JD002808⟩
Journal articles istex hal-00137821v1

An SMT-Based Concolic Testing Tool for Logic Programs

Sophie Fortz , Frédéric Mesnard , Etienne Payet , Gilles Perrouin , Wim Vanhoof , et al.
Nakano K.; Sagonas K. Functional and Logic Programming. FLOPS 2020, 12073, Springer, pp.215-219, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-59025-3_13⟩
Book sections hal-02945459v1
Image document

Détection des fonctions de rang linéaires à terme

Anthony Alezan , Roberto Bagnara , Frédéric Mesnard , Etienne Payet
Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France
Conference papers hal-01187205v1

A new look at the automatic synthesis of linear ranking functions

Roberto Bagnara , Frédéric Mesnard , Andrea Pescetti
Information and Computation, 2012, 215, pp.47-67. ⟨10.1016/j.ic.2012.03.003⟩
Journal articles hal-01186145v1
Image document

Selective Unification in Constraint Logic Programming

Frédéric Mesnard , Etienne Payet , Germán Vidal
19th International Symposium on Principles and Practice of Declarative Programming (PPDP'17), Oct 2017, Namur, Belgium. pp.115-126
Conference papers hal-01579772v1
Image document

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

Frédéric Mesnard , Etienne Payet , Germán Vidal
26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Sep 2016, Edinburgh, United Kingdom. pp.205-221
Conference papers hal-01451698v1
Image document

Termination analysis of floating-point programs using parameterizable rational approximations

Fonenantsoa Maurica Andrianampoizinimaro , Frédéric Mesnard , Etienne Payet
31st Annual ACM Symposium on Applied Computing (SAC), Apr 2016, Pise, Italy. pp.1674--1679, ⟨10.1145/2851613.2851834⟩
Conference papers hal-01451687v1
Image document

Optimal approximation for efficient termination analysis of Floating-point Loops

Fonenantsoa Maurica Andrianampoizinimaro , Frédéric Mesnard , Etienne Payet
1st International Conference on Next Generation Computing Applications (NextComp2017), Jul 2017, Pointe aux Piments, Mauritius. pp.17-22, ⟨10.1109/NEXTCOMP.2017.8016170⟩
Conference papers hal-01579791v1
Image document

Eventual linear ranking functions

Roberto Bagnara , Frédéric Mesnard
15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Sep 2013, Madrid, Spain. pp.229--238, ⟨10.1145/2505879.2505884⟩
Conference papers hal-01451694v1

Typing linear constraints

Salvatore Ruggieri , Frédéric Mesnard
ACM Transactions on Programming Languages and Systems (TOPLAS), 2010, 32 (6), pp.en ligne. ⟨10.1145/1749608.1749610⟩
Journal articles hal-01186162v1
Image document

Inférence de non-terminaison pour les programmes logiques avec contraintes

Etienne Payet , Frédéric Mesnard
13èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC 2004), Association Française pour la Programmation en Logique et la programmation par Contraintes, Jun 2004, Angers, France. pp.55-72
Conference papers hal-01915272v1
Image document

Non-Termination Inference of Logic Programs

Etienne Payet , Frédéric Mesnard
2004
Preprints, Working Papers, ... hal-00129526v1
Image document

A Termination Analyser for Java Bytecode Based on Path-Length

Fausto Spoto , Frédéric Mesnard , Etienne Payet
ACM Transactions on Programming Languages and Systems (TOPLAS), 2010, 32 (3), pp.70
Journal articles hal-01916989v1
Image document

An improved non-termination criterion for binary constraint logic programs

Frédéric Mesnard , Etienne Payet
15th International Workshop on Logic Programming Environments (WLPE'05), Universidad Politécnica de Madrid; Technische Universiteit Eindhoven, Oct 2005, Barcelone, Spain. pp.46-60
Conference papers hal-01915757v1

A Generalization of the Lifting Lemma for Logic Programming

Etienne Payet , Frédéric Mesnard
2002
Preprints, Working Papers, ... hal-00129469v1

Recurrence with affine level mappings is P-time decidable for CLP(R)

Frédéric Mesnard , Alexander Serebrenik
TPLP, 2008, 8 (1), pp.111-119
Journal articles hal-01186188v1
Image document

cTI : un outil pour l’inférence de conditions optimales de terminaison pour Prolog

Frédéric Mesnard , Ulrich Neumerkel , Etienne Payet
10eme Journées francophones de programmation logique et programmation par contraintes ( JFPLC’2001), Association Française pour la Programmation en Logique et la programmation par Contraintes (AFPLC), Apr 2001, Paris, France. pp.271-286
Conference papers hal-01921705v1
Image document

Concolic Testing in CLP

Frédéric Mesnard , Etienne Payet , Germán Vidal
Theory and Practice of Logic Programming, 2020, 20 (5), pp.671-686. ⟨10.1017/s1471068420000216⟩
Journal articles hal-03064580v1
Image document

Selective Unification in Constraint Logic Programming

Frédéric Mesnard , Etienne Payet , Germán Vidal
2018
Preprints, Working Papers, ... hal-01922118v1