Fred Mesnard

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An SMT-based concolic testing tool for logic programs (available as arXiv preprint)	2021-07-06	Paper
Selective Unification in (Constraint) Logic Programming* Fundamenta Informaticae	2021-05-20	Paper
Concolic testing in CLP Theory and Practice of Logic Programming	2020-12-13	Paper
Concolic testing in logic programming Theory and Practice of Logic Programming	2017-11-09	Paper
On the completeness of selective unification in concolic testing of logic programs (available as arXiv preprint)	2017-10-13	Paper
On proving left termination of constraint logic programs ACM Transactions on Computational Logic	2017-06-13	Paper
A second-order formulation of non-termination Information Processing Letters	2015-07-15	Paper
A new look at the automatic synthesis of linear ranking functions Information and Computation	2012-10-11	Paper
Logic Programming Lecture Notes in Computer Science	2009-08-06	Paper
A non-termination criterion for binary constraint logic programs Theory and Practice of Logic Programming	2009-04-15	Paper
Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs Static Analysis	2008-08-28	Paper
On Termination of Binary CLP Programs Logic Based Program Synthesis and Transformation	2008-04-24	Paper
Recurrence with affine level mappings is P-time decidable for CLP Theory and Practice of Logic Programming	2008-01-21	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
Computing convex hulls with a linear solver Theory and Practice of Logic Programming	2005-04-29	Paper
cTI: a constraint-based termination inference tool for ISO-Prolog Theory and Practice of Logic Programming	2005-04-29	Paper
scientific article; zbMATH DE number 1948416 (Why is no real title available?)	2003-07-13	Paper
scientific article; zbMATH DE number 1834571 (Why is no real title available?)	2003-02-25	Paper
scientific article; zbMATH DE number 1406235 (Why is no real title available?)	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 The Journal of Logic Programming	1999-05-31	Paper
scientific article; zbMATH DE number 1223557 (Why is no real title available?)	1999-03-14	Paper
scientific article; zbMATH DE number 1140685 (Why is no real title available?)	1998-04-13	Paper

Research outcomes over time

This page was built for person: Fred Mesnard