`Travelled to:`

1 × Belgium

1 × Canada

1 × France

1 × Germany

1 × The Netherlands

2 × Italy

`Collaborated with:`

J.P.Gallagher M.Thielscher ∅ M.Leuschel D.D.Schreye M.Bruynooghe H.Vandecasteele M.Denecker

`Talks about:`

program (6) logic (5) transform (2) specialis (2) partial (2) analysi (2) deduct (2) delet (2) algorithm (1) conceptu (1)

## Person: D. Andre de Waal

### DBLP: Waal:D=_Andre_de

### Contributed to:

### Wrote 9 papers:

- ALP-PLILP-1998-BruynoogheVWD #detection #logic programming #query #source code
- Detecting Unsolvable Queries for Definite Logic Programs (MB, HV, DAdW, MD), pp. 118–133.
- JICSLP-1996-LeuschelSW #concept #deduction #integration #towards
- A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration (ML, DDS, DAdW), pp. 319–332.
- LOPSTR-1995-WaalT #deduction #problem #program analysis #program transformation #using
- Solving Deductive Planning Problems Using Program Analysis and Transformation (DAdW, MT), pp. 189–203.
- CADE-1994-WaalG #logic programming #program analysis #program transformation #proving #theorem proving
- The Applicability of Logic Program Analysis and Transformation to Theorem Proving (DAdW, JPG), pp. 207–221.
- ICLP-1994-GallagherW #approximate #logic programming #performance #precise #source code
- Fast and Precise Regular Approximations of Logic Programs (JPG, DAdW), pp. 599–613.
- ILPS-1993-WaalG #logic programming
- Logic Program Specialisation With Deletion of Useless Clauses (DAdW, JPG), p. 632.
- LOPSTR-1993-Waal #partial evaluation #power of
- The Power of Partial Evaluation (DAdW), pp. 113–123.
- LOPSTR-1992-GallagherW #logic programming #source code
- Deletion of Redundant Unary Type Predicates from Logic Programs (JPG, DAdW), pp. 151–167.
- LOPSTR-1991-WaalG #algorithm #unification
- Specialisation of a Unification Algorithm (DAdW, JPG), pp. 205–220.