Pierre De Boeck

	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

Coauthor Index

1	Baudouin Le Charlier	[1] [2] [3] [4]
2	Jean Henrard	[3]