BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × The Netherlands
1 × United Kingdom
2 × France
2 × Germany
2 × Italy
2 × Spain
Collaborated with:
U.Neumerkel É.Payet ∅ S.Ruggieri A.Serebrenik S.Hoarau M.Morillon J.Ganascia V.Lagoon P.J.Stuckey W.Vanhoof J.Giesl A.Rubio R.Thiemann J.Waldmann
Talks about:
program (10) termin (9) logic (6) constraint (4) infer (4) clp (4) automat (2) analysi (2) toward (2) linear (2)

Person: Frédéric Mesnard

DBLP DBLP: Mesnard:Fr=eacute=d=eacute=ric

Contributed to:

CADE 20152015
SAS 20082008
LOPSTR 20042004
SAS 20042004
ICLP 20032003
SAS 20022002
SAS 20012001
PPDP 19991999
LOPSTR 19981998
JICSLP 19961996
LOPSTR 19951995
WSA 19921992
JTASPEFL/WSA 19911991
PPDP 20162016

Wrote 14 papers:

CADE-2015-GieslMRTW #contest #termination
Termination Competition (termCOMP 2015) (JG, FM, AR, RT, JW), pp. 105–108.
SAS-2008-RuggieriM #constraints #linear #source code #type system
Typing Linear Constraints for Moding CLP() Programs (SR, FM), pp. 128–143.
LOPSTR-2004-SerebrenikM #on the #source code #termination
On Termination of Binary CLP Programs (AS, FM), pp. 231–244.
SAS-2004-PayetM #constraints #logic programming #source code
Non-termination Inference for Constraint Logic Programs (ÉP, FM), pp. 377–392.
ICLP-2003-LagoonMS #analysis #termination
Termination Analysis with Types Is More Accurate (VL, FM, PJS), pp. 254–268.
SAS-2002-MesnardPN #detection #logic programming #source code #termination
Detecting Optimal Termination Conditions of Logic Programs (FM, ÉP, UN), pp. 509–526.
SAS-2001-MesnardN #logic programming #source code #static analysis #termination
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs (FM, UN), pp. 93–110.
PPDP-1999-NeumerkelM #logic programming #source code
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices (UN, FM), pp. 328–342.
LOPSTR-1998-HoarauM #compilation #constraints #logic programming #source code #termination
Inferring and Compiling Termination for Constraint Logic Programs (SH, FM), pp. 240–254.
JICSLP-1996-Mesnard #constraints #logic programming #query #source code
Inferring Left-terminating Classes of Queries for Constraint Logic Programs (FM), pp. 7–21.
LOPSTR-1995-Mesnard #automation #source code #towards
Towards Automatic Control for CLP(x) Programs (FM), pp. 106–119.
WSA-1992-MesnardM #automation #generative #linear #metric #source code
Automatic Generation of Valid Linear Measures for CLP(Q) Programs (FM, MM), pp. 29–34.
WSA-1991-MesnardG #french
A propos du contrôle de la résolution (FM, JGG), pp. 125–131.
PPDP-2016-MesnardPV #algorithm #framework #recognition #towards
Towards a framework for algorithm recognition in binary code (FM, ÉP, WV), pp. 202–213.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.