Travelled to:1 × Belgium
1 × Sweden
Collaborated with:B.L.Charlier
Talks about:prolog (3) type (3) procedur (2) analysi (2) transform (1) construct (1) definit (1) correct (1) automat (1) augment (1)
Person: Pierre De Boeck
DBLP: Boeck:Pierre_De
Contributed to:
1993
1991
1990Wrote 3 papers:
- LOPSTR-1993-BoeckC #logic #prolog
- Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments (PDB, BLC), pp. 229–245.
- WSA-1991-BoeckC #analysis #automation #prolog #type checking
- Automatic Construction of Prolog Primitives for Type Checking Analysis (PDB, BLC), pp. 165–172.
- PLILP-1990-BoeckC #analysis #correctness #prolog #static typing
- Static Type Analysis of Prolog Procedures for Ensuring Correctness (PDB, BLC), pp. 222–237.