4 papers
A Layered Implementation Framework for Regular Languages
Baudouin Le Charlier
I present the most fundamental features of an implemented system designed to manipulate representations of regular languages. The system is structured into two layers, allowing reg…
Experimental Evaluation of a Method to Simplify Expressions
Baudouin Le Charlier
We present a method to simplify expressions in the context of an equational theory. The basic ideas and concepts of the method have been presented previously elsewhere but here we…
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…
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…