 | 2008 |
|---|
| 8 |       | Daniel Le Berre,
Anne Parrain:
On SAT Technologies for Dependency Management and Beyond.
SPLC (2) 2008: 197-200 |
| 1998 |
|---|
| 7 | | Philippe Devienne,
Anne Parrain,
Patrick Taillibert,
S. Varennes:
Source-to-source Prolog Program Compression.
IJCSLP 1998: 205-219 |
| 1996 |
|---|
| 6 | | Philippe Devienne,
Patrick Lebègue,
Anne Parrain,
Jean-Christophe Routier,
Jörg Würtz:
Smallest Horn Clause Programs.
J. Log. Program. 27(3): 227-267 (1996) |
| 1994 |
|---|
| 5 | | Anne Parrain:
Méta-interprétation et transformations de programmes logiques.
JFPLC 1994: 77-92 |
| 1992 |
|---|
| 4 | | Anne Parrain,
Philippe Devienne,
Patrick Lebègue:
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.
LOPSTR 1992: 228-241 |
| 3 | | Anne Parrain,
Philippe Devienne,
Patrick Lebègue:
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation.
WSA 1992: 295-303 |
| 1991 |
|---|
| 2 | | Anne Parrain,
Philippe Devienne,
Patrick Lebègue:
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs.
JTASPEFT/WSA 1991: 132-138 |
| 1 | | Anne Parrain,
Philippe Devienne,
Patrick Lebègue:
Prolog Program Transformations and Meta-Interpreters.
LOPSTR 1991: 238-251 |
