Baudouin Le Charlier

From MaRDI portal
Person:1581060

Available identifiers

zbMath Open le-charlier.baudouinMaRDI QIDQ1581060

List of research outcomes





PublicationDate of PublicationType
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations2013-05-24Paper
https://portal.mardi4nfdi.de/entity/Q44750982004-08-06Paper
Sequence-based abstract interpretation of Prolog2004-03-01Paper
Combinations of abstract domains for logic programming: Open product and generic pattern construction2000-09-14Paper
Automated verification of Prolog programs1999-11-01Paper
Reexecution in abstract interpretation of prolog1999-05-05Paper
https://portal.mardi4nfdi.de/entity/Q43854561998-05-27Paper
Evaluation of the domain prop1997-03-17Paper
Type analysis of prolog using type graphs1995-04-06Paper
https://portal.mardi4nfdi.de/entity/Q42815881994-10-19Paper
https://portal.mardi4nfdi.de/entity/Q40501321974-01-01Paper

Research outcomes over time

This page was built for person: Baudouin Le Charlier

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1581060&oldid=6233356"
Powered by MediaWiki