Fred Mesnard

Available identifiers

zbMath Open mesnard.fredMaRDI QIDQ714503

List of research outcomes

Publication	Date of Publication	Type
An SMT-based concolic testing tool for logic programs	2021-07-06	Paper
Selective Unification in (Constraint) Logic Programming*	2021-05-20	Paper
Concolic Testing in CLP	2020-12-13	Paper
Concolic testing in logic programming	2017-11-09	Paper
On the completeness of selective unification in concolic testing of logic programs	2017-10-13	Paper
On proving left termination of constraint logic programs	2017-06-13	Paper
A second-order formulation of non-termination	2015-07-15	Paper
A new look at the automatic synthesis of linear ranking functions	2012-10-11	Paper
Logic Programming	2009-08-06	Paper
A non-termination criterion for binary constraint logic programs	2009-04-15	Paper
Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs	2008-08-28	Paper
On Termination of Binary CLP Programs	2008-04-24	Paper
Recurrence with affine level mappings is P-time decidable for CLP	2008-01-21	Paper
Static Analysis	2005-08-24	Paper
cTI: a constraint-based termination inference tool for ISO-Prolog	2005-04-29	Paper
Computing convex hulls with a linear solver	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4411982	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4779112	2003-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4939272	2000-02-23	Paper
CLP(χ) for automatically proving program properties1An earlier version of this paper was presented at the workshop “Frontiers of Combining Systems”, Munich, March 1996.1	1999-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q4218865	1999-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4385452	1998-04-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fred Mesnard