BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
Collaborated with:
B.L.Charlier L.Michel P.V.Hentenryck
Talks about:
interpret (2) abstract (2) prolog (2) algorithm (1) techniqu (1) granular (1) fixpoint (1) practic (1) general (1) purpos (1)

Person: Olivier Degimbe

DBLP DBLP: Degimbe:Olivier

Contributed to:

WSA 19931993

Wrote 2 papers:

WSA-1993-CharlierDMH #abstract interpretation #algorithm #fixpoint #optimisation #performance #prolog
Optimization Techniques for General Purpose Fixpoint Algorithms — Practical Efficiency for the Abstract Interpretation of Prolog (BLC, OD, LM, PVH), pp. 15–26.
WSA-1993-HentenryckDCM #abstract interpretation #prolog
The Impact of Granularity in Abstract Interpretation of Prolog (PVH, OD, BLC, LM), pp. 1–14.

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.