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: Leb=egrave=gue:Patrick
Contributed to:
1993
1992
199219911991Wrote 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.