Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

35 résultats
Page :
triés par

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
Communication dans un congrès hal-01188719v1

Logic-Based Program Synthesis and Transformation

 Frédéric Mesnard , Peter J Stuckey
2019
Ouvrages hal-02293707v1
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⟩
Article dans une revue hal-01451689v1
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
Communication dans un congrès hal-01451686v1
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
Article dans une revue hal-01186175v1
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
Communication dans un congrès hal-01915746v1

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⟩
Communication dans un congrès hal-01451691v1
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
Communication dans un congrès hal-01451698v1
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⟩
Communication dans un congrès hal-01579791v1
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⟩
Communication dans un congrès hal-01451687v1
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⟩
Communication dans un congrès 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⟩
Article dans une revue hal-01186162v1
Image document

Non-termination of Dalvik bytecode via compilation to CLP

 Etienne Payet , Frédéric Mesnard
14th International Workshop on Termination (WST), Jul 2014, Vienne, Austria. pp.65-69
Communication dans un congrès hal-01451692v1
Image document

Selective Unification in Constraint Logic Programming

 Frédéric Mesnard , Etienne Payet , Germán Vidal
2018
Pré-publication, Document de travail hal-01922118v1
Image document

Concolic testing in logic programming

 Frédéric Mesnard , Etienne Payet , Germán Vidal
Theory and Practice of Logic Programming, 2015, 15 (4-5), pp.711-725. ⟨10.1017/S1471068415000332⟩
Article dans une revue hal-01451690v1
Image document

Non-Termination Inference for Optimal Ter-mination Conditions of Logic Programs

 Frédéric Mesnard , Etienne Payet , Ulrich Neumerkel
11èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'02), Association Française pour la Programmation en Logique et la programmation par Contraintes (AFPLC), May 2002, Nice, France. pp.84-104
Communication dans un congrès hal-01915407v1
Image document

On the Linear Ranking Problem for Simple Floating-Point Loops

 Etienne Payet , Fonenantsoa Maurica Andrianampoizinimaro , Frédéric Mesnard
23rd International Symposium on Static Analysis (SAS), Sep 2016, Edinburgh, United Kingdom. pp.300-316, ⟨10.1007/978-3-662-53413-7_15⟩
Communication dans un congrès hal-01451688v1
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⟩
Article dans une revue hal-03064580v1
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
Communication dans un congrès hal-01579772v1

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⟩
Chapitre d'ouvrage 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
Communication dans un congrès hal-01187205v1
Image document

Structural characteristics of rainfields

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

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⟩
Article dans une revue hal-01186145v1

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
Article dans une revue 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⟩
Communication dans un congrès 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
Communication dans un congrès hal-01188040v1
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⟩
Article dans une revue hal-01010119v1
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
Communication dans un congrès hal-01921705v1

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
Article dans une revue hal-01186188v1
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
Communication dans un congrès hal-01915272v1
Page :