|
Search the dblp DataBase
Pierre De Boeck:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Pierre De Boeck, Baudouin Le Charlier
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. [Citation Graph (0, 0)][DBLP] LOPSTR, 1993, pp:229-245 [Conf]
- Pierre De Boeck, Jean Henrard, Baudouin Le Charlier
FOLON: An Environment for Declarative Construction of Logic Programs. [Citation Graph (0, 0)][DBLP] LPE, 1992, pp:3-8 [Conf]
- Pierre De Boeck, Baudouin Le Charlier
Static Type Analysis of Prolog Procedures for Ensuring Correctness. [Citation Graph (0, 0)][DBLP] PLILP, 1990, pp:222-237 [Conf]
- Pierre De Boeck, Baudouin Le Charlier
Automatic Construction of Prolog Primitives for Type Checking Analysis. [Citation Graph (0, 0)][DBLP] JTASPEFT/WSA, 1991, pp:165-172 [Conf]
Search in 0.001secs, Finished in 0.001secs
|