Pierre De Boeck

According to our database, Pierre De Boeck authored at least 4 papers between 1990 and 1993.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1993

Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.

Pierre De Boeck, Baudouin Le Charlier

Proceedings of the Logic Program Synthesis and Transformation, 1993

1992

FOLON: An Environment for Declarative Construction of Logic Programs.

Pierre De Boeck, Jean Henrard, Baudouin Le Charlier

Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), 1992

1991

Automatic Construction of Prolog Primitives for Type Checking Analysis.

Pierre De Boeck, Baudouin Le Charlier

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

1990

Static Type Analysis of Prolog Procedures for Ensuring Correctness.

Pierre De Boeck, Baudouin Le Charlier

Proceedings of the Programming Language Implementation and Logic Programming, 1990