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
Computing convex hulls with a linear solver	2005-04-29	Paper
cTI: a constraint-based termination inference tool for ISO-Prolog	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

This page was built for person: Fred Mesnard