Baudouin Le Charlier

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
Operational semantics for reexecution-based analysis of logic programs with delay declarations Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
scientific article; zbMATH DE number 2084360 (Why is no real title available?)	2004-08-06	Paper
Sequence-based abstract interpretation of Prolog Theory and Practice of Logic Programming	2004-03-01	Paper
Combinations of abstract domains for logic programming: Open product and generic pattern construction Science of Computer Programming	2000-09-14	Paper
Automated verification of Prolog programs The Journal of Logic Programming	1999-11-01	Paper
Reexecution in abstract interpretation of prolog Acta Informatica	1999-05-05	Paper
scientific article; zbMATH DE number 1140687 (Why is no real title available?)	1998-05-27	Paper
Evaluation of the domain prop The Journal of Logic Programming	1997-03-17	Paper
Type analysis of prolog using type graphs The Journal of Logic Programming	1995-04-06	Paper
scientific article; zbMATH DE number 512885 (Why is no real title available?)	1994-10-19	Paper
scientific article; zbMATH DE number 3464832 (Why is no real title available?)	1974-01-01	Paper

Research outcomes over time

This page was built for person: Baudouin Le Charlier