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 × Canada
Collaborated with:
P.Devienne A.Parrain J.Routier C.Lecoutre
Talks about:
interpret (4) program (4) abstract (3) prolog (3) toward (2) recurs (2) optim (2) guid (2) full (2) transform (1)

Person: Patrick Lebègue

DBLP DBLP: Leb=egrave=gue:Patrick

Contributed to:

ILPS 19931993
LOPSTR 19921992
WSA 19921992
LOPSTR 19911991
JTASPEFL/WSA 19911991

Wrote 8 papers:

ILPS-1993-DevienneLR #decidability #horn clause #problem #recursion
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable (PD, PL, JCR), pp. 250–265.
LOPSTR-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation (AP, PD, PL), pp. 228–241.
WSA-1992-DevienneLR #revisited
Weighted Systems Revisited (PD, PL, JCR), pp. 163–173.
WSA-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation (AP, PD, PL), pp. 295–303.
LOPSTR-1991-LecoutreDL #abstract interpretation #behaviour #logic programming #recursion #source code
Abstract Interpretation and Recursive Behaviour of Logic Programs (CL, PD, PL), pp. 147–166.
LOPSTR-1991-ParrainDL #program transformation #prolog
Prolog Program Transformations and Meta-Interpreters (AP, PD, PL), pp. 238–251.
WSA-1991-LecoutreDL #french #prolog
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite (CL, PD, PL), pp. 62–69.
WSA-1991-ParrainDL #french #prolog #validation
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs (AP, PD, PL), pp. 132–138.

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.