2 papers
cs.PL2007
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation
Francois Gobert, Baudouin Le Charlier
Making a Prolog program more efficient by transforming its source code, without changing its operational semantics, is not an obvious task. It requires the user to have a clear und…
cs.PL2001
On the Design of a Tool for Supporting the Construction of Logic Programs
Gustavo A. Ospina, Baudouin Le Charlier
Environments for systematic construction of logic programs are needed in the academy as well as in the industry. Such environments should support well defined construction methods…