Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Anne Parrain
2010 – today
- 2010
[j2]
2000 – 2009
- 2008
- [c7]Daniel Le Berre, Anne Parrain: On SAT Technologies for Dependency Management and Beyond. SPLC (2) 2008: 197-200
1990 – 1999
- 1998
- [c6]Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes: Source-to-source Prolog Program Compression. IJCSLP 1998: 205-219
- 1996
- [j1]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
- [c5]
- 1992
- [c4]Anne Parrain, Philippe Devienne, Patrick Lebègue: Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. LOPSTR 1992: 228-241
- [c3]Anne Parrain, Philippe Devienne, Patrick Lebègue: Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. WSA 1992: 295-303
- 1991
- [c2]Anne Parrain, Philippe Devienne, Patrick Lebègue: Prolog Program Transformations and Meta-Interpreters. LOPSTR 1991: 238-251
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:03 CET by the dblp team