BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × Switzerland
Collaborated with:
É.Payet G.Vidal R.Bagnara S.Ruggieri
Talks about:
constraint (2) program (2) linear (2) logic (2) function (1) variabl (1) select (1) eventu (1) concol (1) unif (1)

Person: Fred Mesnard

DBLP DBLP: Mesnard:Fred

Contributed to:

ICLP 20152015
PPDP 20132013
SAC 20102010
PPDP 20172017

Wrote 4 papers:

ICLP-J-2015-MesnardPV #logic programming #testing
Concolic testing in logic programming (FM, ÉP, GV), pp. 711–725.
PPDP-2013-BagnaraM #linear #ranking
Eventual linear ranking functions (RB, FM), pp. 229–238.
SAC-2010-RuggieriM #constraints #linear
Variable ranges in linear constraints (SR, FM), pp. 2061–2065.
PPDP-2017-MesnardPV #constraints #logic programming #unification
Selective unification in constraint logic programming (FM, ÉP, GV), pp. 115–126.

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.