Pierre De Boeck

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page