BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Waal:D=_Andre_de

Contributed to:

ALP/PLILP 19981998
JICSLP 19961996
LOPSTR 19951995
CADE 19941994
ICLP 19941994
ILPS 19931993
LOPSTR 19931993
LOPSTR 19921992
LOPSTR 19911991

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.