| |
| 1993 | ||
|---|---|---|
| 4 | Pierre De Boeck, Baudouin Le Charlier: Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. LOPSTR 1993: 229-245 | |
| 1992 | ||
| 3 | Pierre De Boeck, Jean Henrard, Baudouin Le Charlier: FOLON: An Environment for Declarative Construction of Logic Programs. LPE 1992: 3-8 | |
| 1991 | ||
| 2 | Pierre De Boeck, Baudouin Le Charlier: Automatic Construction of Prolog Primitives for Type Checking Analysis. JTASPEFT/WSA 1991: 165-172 | |
| 1990 | ||
| 1 | Pierre De Boeck, Baudouin Le Charlier: Static Type Analysis of Prolog Procedures for Ensuring Correctness. PLILP 1990: 222-237 | |
| 1 | Baudouin Le Charlier | [1] [2] [3] [4] |
| 2 | Jean Henrard | [3] |