Person: Philippe Devienne

DBLP: Devienne:Philippe

Contributed to:

1998

1997

1993

1992

1992

1991

1991

Wrote 11 papers:

JICSLP-1998-DeviennePTV #prolog #text-to-text

Source-to-source Prolog Program Compression (PD, AP, PT, SV), pp. 205–219.

JICSLP-1998-DevienneTT #constraints #set

Co-definite Set Constraints with Membership Expressions (PD, JMT, ST), pp. 25–39.

SAS-1997-TalbotTD #analysis #automaton #logic programming

Set-Based Analysis for Logic Programming and Tree Automata (JMT, ST, PD), pp. 127–140.

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.