Pierre De Boeck

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

Pierre De Boeck, Baudouin Le Charlier
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. LOPSTR (1993)
Pierre De Boeck, Jean Henrard, Baudouin Le Charlier
FOLON: An Environment for Declarative Construction of Logic Programs. LPE (1992)
Pierre De Boeck, Baudouin Le Charlier
Automatic Construction of Prolog Primitives for Type Checking Analysis. JTASPEFT/WSA (1991)
Pierre De Boeck, Baudouin Le Charlier
Static Type Analysis of Prolog Procedures for Ensuring Correctness. PLILP (1990)