Search the dblp DataBase

Publications of Author

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